echidna

Echidna: 빠른 스마트 컨트랙트 퍼저 Echidna는 버그를 먹어치우며 전기 감도가 매우 높은 이상한 생명체입니다 Jacob Stanley에게 사과의 뜻을 전하며 더 진지하게 말하자면, Echidna는 이더리움 스마트 컨트랙트의 퍼징/속성 기반 테스트를 위해 설계된 Haskell 프로그램입니다. 이는 컨트랙트 ABI를 기반으로 한 정교한 문법 기반 퍼징 캠페인을 사용하여 사용자 정의 술어나 Solidity 단언문을 반증합니다. Echidna는 모듈성을 염두에 두고 설계되었기 때문에, 새로운 변이를 포함하거나 특정 사례에서...