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.