search

muellerberndt / solfuzz

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

readme

Solfuzz

Discord

Solfuzz is an assertion checker for smart contracts written in Solidity. It uses MythX EVM-level fuzzing and symbolic execution to uncover bugs in the code.

Solfuzz has been deprecated & its functionality has been integrated into to the Sabre CLI.