solstat 0.1.0

A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.
Documentation