Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis. - View it on GitHub