Visualize Solidity control flow for smart contract security analysis.
Detect all branches of bytecode of a smart contract
cli tool to run solidity smart contract(s) through several analysis tools and generating a html report
Static analysis tool aggregator and reporter for Ethereum smart contracts