Add `integer-underflow-or-underflow` detector and test-cases

CoinFabrik / scout-soroban

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.

MIT License

39 stars 3 forks source link

Add `integer-underflow-or-underflow` detector and test-cases #277

Closed jgcrosta closed 3 months ago

github-actions[bot] commented 3 months ago

🎉 General Rust Workflow Summary 🎉

Component	Status
Check Rust Format	✅ Successful
Lint with Clippy	✅ Successful

The workflow has completed. Great job! 🚀

github-actions[bot] commented 3 months ago

🎉 Test Detectors Workflow Summary 🎉

Component	Status
Detector Validation	✅ Successful
Build on Ubuntu	✅ Successful
Build on macOS	✅ Successful
Tests Execution	✅ Successful

The workflow has completed. Great job! 🚀