ItyFuzz는 심볼릭 실행 (Symbolic Execution)과 퍼징 (Fuzzing)을 결합하여 스마트 컨트랙트 (Smart Contracts)의 버그를 찾는 EVM 및 MoveVM용 하이브리드 퍼저 (Hybrid Fuzzer)입니다.

• Echidna가 0개를 발견한 대규모 실제 프로젝트에서 126개의 취약점 (Vulnerabilities) 발견
• 플래시론 (Flashloan) 및 재진입 (Reentrancy) 지원을 통한 전체 익스플로잇 (Exploits) 생성
• Daedaluzz 벤치마크에서 Echidna보다 2.5배, Foundry보다 1.5배 빠름
• 체인 포킹 (Chain Forking), 디컴파일 (Decompilation) 및 복잡한 컨트랙트 초기화 지원