Improve `avoid_panic_error` 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

39 stars 3 forks source link

Improve `avoid_panic_error` detector #329

Closed jgcrosta closed 2 months ago

jgcrosta commented 2 months ago

Description

The detector should only be triggered when the panic!(..) is used in a function whose return type is a Result<(), ()>

Acceptance Criteria

Add test-cases to reflect this improvement