File tree Expand file tree Collapse file tree 2 files changed +8
-4
lines changed
query-tests/security/CWE-020
utils-tests/modelgenerator Expand file tree Collapse file tree 2 files changed +8
-4
lines changed Original file line number Diff line number Diff line change 22| main.rs:6:25:6:30 | ®ex | main.rs:4:20:4:32 | ...::var | main.rs:6:25:6:30 | ®ex | This regular expression is constructed from a $@. | main.rs:4:20:4:32 | ...::var | user-provided value |
33edges
44| main.rs:4:9:4:16 | username | main.rs:5:25:5:44 | MacroExpr | provenance | |
5- | main.rs:4:20:4:32 | ...::var | main.rs:4:20:4:40 | ...::var(...) [Ok] | provenance | Src:MaD:62 |
6- | main.rs:4:20:4:40 | ...::var(...) [Ok] | main.rs:4:20:4:66 | ... .unwrap_or(...) | provenance | MaD:1593 |
5+ | main.rs:4:20:4:32 | ...::var | main.rs:4:20:4:40 | ...::var(...) [Ok] | provenance | Src:MaD:63 |
6+ | main.rs:4:20:4:40 | ...::var(...) [Ok] | main.rs:4:20:4:66 | ... .unwrap_or(...) | provenance | MaD:1607 |
77| main.rs:4:20:4:66 | ... .unwrap_or(...) | main.rs:4:9:4:16 | username | provenance | |
88| main.rs:5:9:5:13 | regex | main.rs:6:26:6:30 | regex | provenance | |
99| main.rs:5:17:5:45 | res | main.rs:5:25:5:44 | { ... } | provenance | |
1010| main.rs:5:25:5:44 | ...::format(...) | main.rs:5:17:5:45 | res | provenance | |
1111| main.rs:5:25:5:44 | ...::must_use(...) | main.rs:5:9:5:13 | regex | provenance | |
12- | main.rs:5:25:5:44 | MacroExpr | main.rs:5:25:5:44 | ...::format(...) | provenance | MaD:66 |
13- | main.rs:5:25:5:44 | { ... } | main.rs:5:25:5:44 | ...::must_use(...) | provenance | MaD:3016 |
12+ | main.rs:5:25:5:44 | MacroExpr | main.rs:5:25:5:44 | ...::format(...) | provenance | MaD:67 |
13+ | main.rs:5:25:5:44 | { ... } | main.rs:5:25:5:44 | ...::must_use(...) | provenance | MaD:3030 |
1414| main.rs:6:26:6:30 | regex | main.rs:6:25:6:30 | ®ex | provenance | |
1515nodes
1616| main.rs:4:9:4:16 | username | semmle.label | username |
Original file line number Diff line number Diff line change 11unexpectedModel
2+ | Unexpected sink found: repo::test;<crate::option::MyOption>::replace;Argument[self];pointer-access;df-generated |
3+ | Unexpected sink found: repo::test;<crate::option::MyOption>::take;Argument[self];pointer-access;df-generated |
4+ | Unexpected sink found: repo::test;<crate::option::MyOption>::take_if;Argument[self];pointer-access;df-generated |
5+ | Unexpected sink found: repo::test;crate::option::replace;Argument[0];pointer-access;df-generated |
26expectedModel
You can’t perform that action at this time.
0 commit comments