Improve `unsafe-expect` detector

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

34 stars 2 forks source link

Improve `unsafe-expect` detector #335

Closed jgcrosta closed 2 weeks ago

jgcrosta commented 3 weeks ago

Description

The detection should only trigger in cases where the function returns a Result.