slither-audit

Run slither static analysis on Solidity contracts. Fast, lightweight security scanner for EVM smart contracts.