solfuzz (npm): Assertion checker for Solidity smart contracts based on MythX
Keywords: ethereum|solfuzz|mythril|mythX