상태와 입력의 관계
입력 일부를 기호값으로 두고 가능한 실행 상태를 탐색한다. 특정 상태에 도달하는 구체적인 입력을 만들거나 실패 조건을 분석할 수 있다. 스마트 계약에서는 초기 계정과 트랜잭션 조건이 결과에 영향을 준다.
분석을 직접 구성하기
명령행 분석 외에도 이벤트 콜백과 명령어 훅을 이용한 제어가 가능하다. Python API로 시작 상태를 좁히면 관심 없는 상태의 폭증을 줄일 수 있다. 분석 목적에 맞게 탐색을 제한했다면 그 제한을 결과의 범위로 함께 이해해야 한다.
현재 활용 시 주의점
저장소는 더 이상 내부적으로 개발하고 유지 관리하지 않는다고 명시한다. 과거의 분석 사례를 재현하는 것과 최신 실행 환경을 지원하는 것은 다르다. 새 가상머신 명령이나 계약 컴파일러를 사용하기 전에 지원 여부와 의존성 호환성을 확인해야 한다.