solfuzz

Assertion checker for Solidity smart contracts based on MythX