search

crytic / echidna

Ethereum smart contract fuzzer
https://secure-contracts.com/program-analysis/echidna/index.html
GNU Affero General Public License v3.0
2.72k stars 362 forks source link

Allow to use specific filter for direct symexec #1251

Closed ggrieco-tob closed 4 months ago