An analysis tool for smart contracts.
Security analysis tool for EVM bytecode that supports smart contracts builds.
Static analyzer for Solidity.