hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-11 20:51:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Annotate failures with explanation.

Browse Source
This commit is contained in:
Geoffrey White
2026-01-19 16:09:20 +00:00
parent fc5d5b4fcc
commit ff6e598f72
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
rust/ql/test/library-tests/dataflow/taint/main.rs
View File

@@ -139,7 +139,7 @@ use std::ops::{Add, Sub, Mul, Shl, Shr, BitOr, AddAssign, SubAssign, MulAssign,
fn std_ops() {
sink(source(1).add(2i64)); // $ hasTaintFlow=1
sink(source(1).add(2)); // $ MISSING: hasTaintFlow=1
sink(source(1).add(2)); // $ MISSING: hasTaintFlow=1 --- the missing results here are due to failing to resolve targets for `add` etc where there's no explicit type
sink(1i64.add(source(2))); // $ hasTaintFlow=2
sink(1.add(source(2))); // $ MISSING: hasTaintFlow=2
@@ -197,7 +197,7 @@ mod wrapping {
a.add_assign(Wrapping(crate::source(3)));
a += source(4);
a += std::num::Wrapping(crate::source(5));
sink(a); // $ hasTaintFlow=2 hasTaintFlow=4 MISSING: hasTaintFlow=3 hasTaintFlow=5
sink(a); // $ hasTaintFlow=2 hasTaintFlow=4 MISSING: hasTaintFlow=3 hasTaintFlow=5 --- we don't currently find any `Call`s for `Wrapping` above
}
}