Aderyn is a Rust-based Solidity static analyzer designed to help developers and security researchers...