mstad's Stars
SRI-CSL/solidity
This is solc-verify, a modular verifier for Solidity.
ConsenSysDiligence/mythril
Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.