scout-soroban
scout-soroban copied to clipboard
CoinFabrik
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.
Review VSCode Extension documentation shown in VSCode Marketplace and Extensions. Evaluate to incorporate notes on configuration profiles for scout.
Closes #214
## Description - [x] Improve detector `incorrect-exponentiation` to detect test-cases where the symbol `^=` is used. - [x] Also add new relevant vulnerable and remediated test cases for using this...
Ink reference: https://coinfabrik.github.io/scout/docs/detectors/vec-could-be-mapping
## Description Add a new detector and test cases for incorrect exponentiation, using as reference similar linting detector in other blockchains ([reference-1](https://github.com/CoinFabrik/scout/tree/main/detectors/incorrect-exponentiation), [reference-2](https://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-exponentiation)) ## Acceptance Criteria - [x] Add at...
## Description Document assert-violation test case and detector ## Subtasks - [ ] Add minimal vulnerability documentation at the bottom of the README.md in `test-cases`. Use as reference previous scout...
Metadata
Owner
Metadata
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.