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