거래 흐름을 분석하기
계약의 상태는 거래가 이어지며 바뀐다. Mythril은 기호 실행을 활용해 보안 문제에 도달할 수 있는 조건을 분석한다. 특정 파일을 분석하거나 배포된 계약 주소를 지정하는 사용 경로가 있으며, 실제 대상과 환경을 명확히 구분해야 한다.
결과에서 확인할 정보
보고된 문제는 심각도와 코드 위치, 프로그램 카운터, 관련 거래 흐름 등과 함께 살펴볼 수 있다. 경고 제목만 보고 수정하기보다 어떤 초기 상태와 호출이 문제를 만드는지 확인한다. 생성한 흐름이 실제 배포 조건에서도 가능한지도 검토한다.
분석 한계 설정
탐색할 최대 거래 수와 실행 시간 제한을 지정할 수 있다. 제한은 분석 비용을 조절하지만 확인 범위도 바꾼다. 제한 안에서 문제가 없다는 결과와 모든 상태에 대한 보장은 다르며, EVM 규칙과 도구의 지원 버전도 함께 맞춘다.