폴더 열기
채팅에서 프로젝트 폴더를 선택하세요.
워크플로우
스마트 계약 보안 감사 워크플로우
03
토큰 계약 로컬 검토
폴더를 열고 코드를 읽은 뒤, 테스트를 실행합니다. 변경 사항을 적용하기 전에 diff를 확인하세요.
파일 목록 보기
디렉토리의 계약 파일 목록을 확인하세요.
코드 읽기
주요 계약 소스 코드를 읽어보세요.
테스트 실행
테스트 명령을 실행하고
검토 결과 예시
토큰 계약의 재진입 위험과 접근 제어 문제를 검토하세요.
- list_dir
.5개 파일 - read_file
Token.sol읽기 - grep
external call3개 일치 - write_file
findings-log.txt저장됨
다음 단계를 실행하기 전 사용자의 승인을 기다리는 중거부수락
findings-log.txt
# Token Contract Review
Scope: ERC-20 token implementation
Test: local unit tests passed
Finding: Missing reentrancy guard
Severity: High
Location: transfer function
Fix: Add nonReentrant modifier
Status: Pending review토큰 계약의 범위, 테스트 결과, 특정 발견 사항의 심각도와 위치를 보여주는 텍스트 기반 검토 로그입니다.
스마트 계약 감사 단계 배우기
코드 읽기 및 검색
에이전트는 list_dir과 glob을 사용해 작업 폴더의 모든 계약 파일을 찾고, read_file로 주요 소스 코드를 열어 검토합니다. 이것이 시작입니다. 감사 담당자는 코드를 직접 읽으며 스마트 계약의 취약점을 찾습니다. grep을 실행해 프로젝트 전체의 외부 호출, 접근 제어 확인, 상태 변경을 검색합니다. 검색 결과는 채팅에서 바로 확인해 관련 코드가 맞는지 검증할 수 있습니다. 배포 후 보안 문제가 발생하는 것은 모든 프로토콜의 주요 우려 사항입니다. 이 수동 검토 단계는 배포 전 구조화된 스마트 계약 보안 감사 검토를 지원합니다. 에이전트가 코드베이스에 변경을 제안하기 전에 논리를 이해하려면 스마트 계약 감사 방법을 배우세요.
테스트 실행 및 검토
에이전트는 Shell을 사용해 PC에서 테스트 명령과 정적 분석 명령을 실행합니다. 출력물은 참조용 텍스트 파일로 저장되고 검토 결과가 작성됩니다. 이러한 diff를 검토할 수 있습니다. diff를 검토하면 전체 감사 과정을 명확히 이해하는 데 도움이 됩니다. 솔리디티 감사를 시작하려면 코드를 직접 읽어야 합니다. 도구는 write_file을 사용해 검토 메모와 제안된 수정 사항을 작성합니다. 파일 변경을 적용하기 전에 diff를 먼저 보여줍니다. Ask first 모드로 전환해 변경을 일으키는 모든 작업 전에 일시 정지할 수 있습니다. 테스트 통과는 수정이 문제를 해결했음을 확인하지만, 최종 diff는 사람이 검토합니다.
