Chimera

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.

Synpress는 Playwright에 이더리움을 인식하는 브라우저 자동화를 계층화하여 CI에서 지갑 팝업 및 체인 전환을 포함한 탈중앙화 애플리케이션 (dapp)을 엔드투엔드로 테스트할 수 있도록 합니다.

Aderyn은 프로토콜 엔지니어와 보안 연구원이 Solidity 코드베이스에서 취약점을 찾을 수 있도록 설계된 Cyfrin의 오픈 소스 Rust 기반 Solidity 스마트 컨트랙트 정적 분석기입니다.