Soteria is a blazing fast, automatic toolkit for Ethereum smart contract vulnerability detector written in Rust.

Need help? Join the support Telegram or read the docs.