Security & testing

Slither

Fuzz/Property testing

보안 · 정적 분석 · Solidity · Vyper · 지속적 통합

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

Related resources

Chimera

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

Synpress

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

Aderyn

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

Medusa

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

Titanoboa

Titanoboa는 전체 Foundry 루프 외부에서 컨트랙트를 실험할 때 빠른 피드백 루프를 위한 대화형 Vyper 인터프리터 및 테스트 하네스입니다.

solidity-coverage

solidity-coverage는 Hardhat 개발자 플랫폼을 위한 스마트 컨트랙트 코드 커버리지를 제공합니다. 정확도가 매우 높으며 전체 viaIR Solidity 컴파일과 대규모 Solidity 전용 코드 분기 패턴 세트를 지원합니다. 약 23만 개의 GitHub 프로젝트에 설치되어 있으며 NPM에서 일주일에 약 10만 번 다운로드됩니다.