Echidna

퍼즈/속성 테스트

GitHub에서 보기

다음 보기

Synpress

Echidna 소개

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.

리포지토리crytic

echidna3.2천 (새 탭에서 열림)

정보

유형: 퍼즈/속성 테스트
GitHub 스타: 3.2천
라이선스: AGPL-3.0
리스팅 검토일: 2026년 9월

유사한 도구

Chimera

Chimera는 Foundry에서 Solidity 테스트를 작성하고 Echidna, Medusa, Halmos, Kontrol과 같은 다른 오픈 소스 도구와 재사용할 수 있는 프레임워크입니다.

CROPS 네이티브

Slither

슬리더(Slither)는 Solidity 및 Vyper를 위한 Trail of Bits의 Python 정적 분석 엔진입니다. CI에서 실행하여 탐지기를 실행하거나, 컨트랙트의 구조적 뷰를 인쇄하거나, 전체 코드베이스에 대한 사용자 지정 검사를 스크립팅할 수 있습니다.

Medusa

Medusa는 Echidna에서 영감을 받은 상태 저장(stateful) 스마트 컨트랙트 퍼저(fuzzer)입니다. 스마트 컨트랙트의 병렬 퍼즈 테스트와 고급 스마트 컨트랙트 불변성(invariants) 검증을 제공합니다.

Echidna

Echidna 소개

태그

리포지토리crytic

정보

유사한 도구