보안 및 테스트

Synpress

퍼즈/속성 테스트

프론트엔드 · 지속적 통합 · 성능 최적화 · 디버깅 도구

웹사이트 소셜 Synthetixio/synpress(889 ☆)synpress-io/docs(0 ☆)

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

관련 리소스

Chimera

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

Slither

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

Aderyn

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

Titanoboa

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

Medusa

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

solidity-coverage

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