cli tool offering features useful when auditing solidity smart contracts
cli tool to run solidity smart contract(s) through several analysis tools and generating a html report