solstat (cargo): A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.
Keywords: security|solidity|static_analysis|audit|gas