hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 16:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Add another test case, fix an annotation.

Browse Source
This commit is contained in:
Geoffrey White
2024-12-02 09:34:47 +00:00
parent 824aab884a
commit 14c0bbf531
2 changed files with 9 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
rust/ql/test/query-tests/security/CWE-696/BadCTorInitialization.expected
View File

@@ -8,7 +8,7 @@
| test.rs:69:9:69:24 | ...::stdin(...) | test.rs:66:1:66:7 | Attr | test.rs:69:9:69:24 | ...::stdin(...) | Call to ...::stdin(...) in a function with the ctor attribute. |
| test.rs:90:5:90:35 | ...::sleep(...) | test.rs:88:1:88:7 | Attr | test.rs:90:5:90:35 | ...::sleep(...) | Call to ...::sleep(...) in a function with the ctor attribute. |
| test.rs:97:5:97:23 | ...::exit(...) | test.rs:95:1:95:7 | Attr | test.rs:97:5:97:23 | ...::exit(...) | Call to ...::exit(...) in a function with the ctor attribute. |
| test.rs:166:5:166:15 | ...::stdout(...) | test.rs:164:1:164:7 | Attr | test.rs:166:5:166:15 | ...::stdout(...) | Call to ...::stdout(...) in a function with the ctor attribute. |
| test.rs:171:5:171:15 | ...::stdout(...) | test.rs:169:1:169:7 | Attr | test.rs:171:5:171:15 | ...::stdout(...) | Call to ...::stdout(...) in a function with the ctor attribute. |
edges
| test.rs:29:1:29:13 | Attr | test.rs:31:9:31:25 | ...::stdout(...) |
| test.rs:34:1:34:13 | Attr | test.rs:36:9:36:25 | ...::stdout(...) |
@@ -19,4 +19,4 @@ edges
| test.rs:66:1:66:7 | Attr | test.rs:69:9:69:24 | ...::stdin(...) |
| test.rs:88:1:88:7 | Attr | test.rs:90:5:90:35 | ...::sleep(...) |
| test.rs:95:1:95:7 | Attr | test.rs:97:5:97:23 | ...::exit(...) |
| test.rs:164:1:164:7 | Attr | test.rs:166:5:166:15 | ...::stdout(...) |
| test.rs:169:1:169:7 | Attr | test.rs:171:5:171:15 | ...::stdout(...) |

9
rust/ql/test/query-tests/security/CWE-696/test.rs
View File

@@ -137,12 +137,12 @@ fn call_target3_2() {
}
}
#[ctor] // $ MISSING: Source=source3_2
#[ctor]
fn harmless3_2() {
call_target3_2();
}
#[ctor]
#[ctor] // $ MISSING: Source=source3_3
fn bad3_3() {
call_target3_1();
call_target3_2();
@@ -153,6 +153,11 @@ fn bad3_4() {
bad3_3();
}
fn harmless3_5() {
call_target3_1();
call_target3_2();
}
// --- macros ---
macro_rules! macro4_1 {