Mythril

Mythril is a security analysis tool for Ethereum smart contracts. It detects common vulnerabilities using symbolic execution, taint analysis, and SMT solving. Current version 0.24.8 targets Solidity 0.8.x and is released with moderate cadence (every few months).