Qualified static finding recorded.
CodeVetter · local evidence export
Unchecked integer arithmetic in Rust
codevetter-public-benchmark/rust-integer-overflow
detected · high confidence
Verification
No exact-current runtime evidence is included.
No audience validation occurred.
Finding
integer overflow
credit uses += on u64 without checked/saturating arithmetic; in release builds an overflowing credit wraps the balance silently, enabling balance manipulation.
source.rs:11