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

hevm

퍼즈/속성 테스트

GitHub에서 보기 (새 탭에서 열림)

다음 보기

Crytic-Properties

hevm 소개

hevm은 스마트 컨트랙트의 문제를 찾을 수 있는 오픈 소스 기반의 최첨단 고속 기호 및 구체적 EVM 실행 엔진입니다. 기호 실행 및 분석 시스템을 통해 hevm은 컨트랙트를 기호적, 반구체적 또는 구체적으로 실행하여 버그를 찾거나, 두 개의 다른 컨트랙트를 비교하여 불일치를 찾고 동등성 검사를 수행할 수 있습니다.

태그

  • CLI
  • Foundry
  • 보안
  • 심볼릭 실행

리포지토리ethereum

정보

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

유사한 도구

Chimera

Chimera

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

Slither
CROPS 네이티브

Slither

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

Echidna
CROPS 네이티브

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.