cyberstars / tools / echidna
Echidna
—Smart contract fuzzer.
Voir sur GitHub
HaskellAGPL-3.0
Property-based fuzzer for Ethereum smart contracts. Combines coverage-guided fuzzing with grammar-based input generation in Haskell.
Smart contract fuzzer.
Property-based fuzzer for Ethereum smart contracts. Combines coverage-guided fuzzing with grammar-based input generation in Haskell.