echidna

Echidna: 빠른 스마트 계약 퍼저 Echidna는 벌레를 먹고 높은 전기 감수성을 가진 이상한 생물입니다 Jacob Stanley에게 사과드립니다 좀 더 진지하게, Echidna는 이더리움 스마트 계약의 퍼징/속성 기반 테스트를 위해 설계된 Haskell 프로그램입니다. 이 프로그램은 계약 ABI를 기반으로 하는 정교한 문법 기반 퍼징 캠페인을 사용하여 사용자 정의 조건자 또는 Solidity 어설션을 위조합니다. Echidna는 모듈성을 염두에 두고 설계되었으므로 새로운 변형을 추가하거나 특정 경우에 특정 계약을...