rajeevgopalakrishna/Solstice
Solstice is a security analysis framework for investigative smart contract examination. The first prototype of Solstice, code named W18 (see below for naming rationale), is a command-line tool which can be used to run 15 different static analyses on Solidity smart contracts. These cover a broad range of well-known security/software properties with Ethereum smart contracts today such as those dealing with reentrancy, exceptions, denial-of-service and uninitialised storage pointers.
PythonAGPL-3.0