Scout: Security Analysis Tool
Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and deviations from best practices.
Visit Scout's website to learn more about the project, currently available for Polkadot's ink! and Stellar's Soroban smart contract languages.