github.com/ericr/solanalyzer (go): SolAnalyzer is a static analyzer for the Solidity programming language, with a focus on finding security bugs.
Keywords: ethereum|security|solidity|static-analysis