ItyFuzz: 심볼릭 실행(Symbolic Execution)과 퍼징(Fuzzing)을 결합하여 스마트 컨트랙트의 버그를 찾는 EVM 및

요약

ItyFuzz는 심볼릭 실행과 퍼징을 결합하여 EVM 및 MoveVM 기반 스마트 컨트랙트의 취약점을 찾는 하이브리드 퍼저입니다. 기존 도구인 Echidna보다 훨씬 많은 취약점을 발견하며, 높은 성능과 다양한 익스플로잇 생성 기능을 제공합니다.

핵심 포인트

• 심볼릭 실행과 퍼징을 결합한 하이브리드 방식 채택
• Echidna가 놓친 대규모 프로젝트에서 126개 취약점 발견
• 플래시론 및 재진입 공격에 대한 익스플로잇 생성 지원
• Daedaluzz 벤치마크 기준 기존 도구 대비 압도적 속도 구현
• 체인 포킹 및 복잡한 컨트랙트 초기화 기능 지원