Mythril uses symbolic analysis to detect smart contract vulnerabilities including reentrancy and integer overflow.

Mythril is a popular first-pass tool for quick vulnerability scanning before a formal audit engagement begins.