Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security issues and deviations from best practices.
Check that when a transfer is done, the received amount is compared with a parameter passed to the function. The amount of tokens received should be greater or equal to the parameter value.
Second iteration
Compare the received token amount with a parameter that is either directly obtained from the blockchain state or calculated using a value derived from the blockchain state.
First iteration
Check that when a transfer is done, the received amount is compared with a parameter passed to the function. The amount of tokens received should be greater or equal to the parameter value.
Second iteration
Compare the received token amount with a parameter that is either directly obtained from the blockchain state or calculated using a value derived from the blockchain state.