본문으로 건너뛰기
보안 및 테스트

solidity-coverage

퍼즈/속성 테스트

View on GitHub (새 탭에서 열림)

See next

hevm

About solidity-coverage

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

태그

  • Hardhat
  • 분석
  • 코드 커버리지
  • Solidity
  • 테스트 자동화

리포지토리sc-forks

Info

유형
퍼즈/속성 테스트
GitHub stars
1천
License
MIT
Listing reviewed
2026년 9월

관련 리소스

Chimera

Chimera

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

Slither

Slither

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

Echidna

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.