Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and deviations from best practices. Scout audit is the core development on which we extend scout for specific blockchains.
The test checks that some change to Scout or the detectors hasn't broken the basic communication between modules. It expects to find among the findings exactly:
1 overflow_check
1 soroban_version
1 integer_overflow_underflow
1 divide_before_multiply
and nothing else. Anything else is considered a fail.
The test checks that some change to Scout or the detectors hasn't broken the basic communication between modules. It expects to find among the findings exactly:
and nothing else. Anything else is considered a fail.