muellerberndt / solfuzz

Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.
MIT License
30 stars 1 forks source link