Skip to content

Commit e51dc86

Browse files
committed
Update Rust log injection expected
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com> Copilot-Session: 890cb55d-0437-4bd7-9268-87b8897ada01
1 parent 90f59bf commit e51dc86

1 file changed

Lines changed: 10 additions & 18 deletions

File tree

Lines changed: 10 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -1,36 +1,28 @@
11
#select
2-
| main.rs:49:5:49:27 | ...::_print | main.rs:47:19:47:31 | ...::var | main.rs:49:5:49:27 | ...::_print | Log entry depends on a $@. | main.rs:47:19:47:31 | ...::var | user-provided value |
3-
| main.rs:50:5:50:26 | ...::_eprint | main.rs:47:19:47:31 | ...::var | main.rs:50:5:50:26 | ...::_eprint | Log entry depends on a $@. | main.rs:47:19:47:31 | ...::var | user-provided value |
4-
| main.rs:51:5:51:25 | ...::_print | main.rs:47:19:47:31 | ...::var | main.rs:51:5:51:25 | ...::_print | Log entry depends on a $@. | main.rs:47:19:47:31 | ...::var | user-provided value |
5-
| main.rs:52:5:52:24 | ...::_eprint | main.rs:47:19:47:31 | ...::var | main.rs:52:5:52:24 | ...::_eprint | Log entry depends on a $@. | main.rs:47:19:47:31 | ...::var | user-provided value |
2+
| main.rs:49:5:49:27 | FormatArgsExpr | main.rs:47:19:47:45 | ...::var(...) | main.rs:49:5:49:27 | FormatArgsExpr | Log entry depends on a $@. | main.rs:47:19:47:45 | ...::var(...) | user-provided value |
3+
| main.rs:50:5:50:26 | FormatArgsExpr | main.rs:47:19:47:45 | ...::var(...) | main.rs:50:5:50:26 | FormatArgsExpr | Log entry depends on a $@. | main.rs:47:19:47:45 | ...::var(...) | user-provided value |
4+
| main.rs:51:5:51:25 | FormatArgsExpr | main.rs:47:19:47:45 | ...::var(...) | main.rs:51:5:51:25 | FormatArgsExpr | Log entry depends on a $@. | main.rs:47:19:47:45 | ...::var(...) | user-provided value |
5+
| main.rs:52:5:52:24 | FormatArgsExpr | main.rs:47:19:47:45 | ...::var(...) | main.rs:52:5:52:24 | FormatArgsExpr | Log entry depends on a $@. | main.rs:47:19:47:45 | ...::var(...) | user-provided value |
66
edges
7-
| main.rs:47:9:47:15 | tainted | main.rs:49:5:49:27 | FormatArgsExpr | provenance | |
8-
| main.rs:47:9:47:15 | tainted | main.rs:50:5:50:26 | FormatArgsExpr | provenance | |
9-
| main.rs:47:9:47:15 | tainted | main.rs:51:5:51:25 | FormatArgsExpr | provenance | |
10-
| main.rs:47:9:47:15 | tainted | main.rs:52:5:52:24 | FormatArgsExpr | provenance | |
11-
| main.rs:47:19:47:31 | ...::var | main.rs:47:19:47:45 | ...::var(...) [Ok] | provenance | Src:MaD:3 |
7+
| main.rs:47:9:47:15 | tainted | main.rs:49:5:49:27 | FormatArgsExpr | provenance | Sink:MaD:2 |
8+
| main.rs:47:9:47:15 | tainted | main.rs:50:5:50:26 | FormatArgsExpr | provenance | Sink:MaD:1 |
9+
| main.rs:47:9:47:15 | tainted | main.rs:51:5:51:25 | FormatArgsExpr | provenance | Sink:MaD:2 |
10+
| main.rs:47:9:47:15 | tainted | main.rs:52:5:52:24 | FormatArgsExpr | provenance | Sink:MaD:1 |
11+
| main.rs:47:19:47:45 | ...::var(...) | main.rs:47:19:47:45 | ...::var(...) [Ok] | provenance | Src:MaD:3 |
1212
| main.rs:47:19:47:45 | ...::var(...) [Ok] | main.rs:47:19:47:65 | ... .unwrap_or_default() | provenance | MaD:4 |
1313
| main.rs:47:19:47:65 | ... .unwrap_or_default() | main.rs:47:9:47:15 | tainted | provenance | |
14-
| main.rs:49:5:49:27 | FormatArgsExpr | main.rs:49:5:49:27 | ...::_print | provenance | MaD:2 Sink:MaD:2 |
15-
| main.rs:50:5:50:26 | FormatArgsExpr | main.rs:50:5:50:26 | ...::_eprint | provenance | MaD:1 Sink:MaD:1 |
16-
| main.rs:51:5:51:25 | FormatArgsExpr | main.rs:51:5:51:25 | ...::_print | provenance | MaD:2 Sink:MaD:2 |
17-
| main.rs:52:5:52:24 | FormatArgsExpr | main.rs:52:5:52:24 | ...::_eprint | provenance | MaD:1 Sink:MaD:1 |
1814
models
1915
| 1 | Sink: std::io::stdio::_eprint; Argument[0]; log-injection |
2016
| 2 | Sink: std::io::stdio::_print; Argument[0]; log-injection |
2117
| 3 | Source: std::env::var; ReturnValue.Field[core::result::Result::Ok(0)]; environment |
2218
| 4 | Summary: <core::result::Result>::unwrap_or_default; Argument[self].Field[core::result::Result::Ok(0)]; ReturnValue; value |
2319
nodes
2420
| main.rs:47:9:47:15 | tainted | semmle.label | tainted |
25-
| main.rs:47:19:47:31 | ...::var | semmle.label | ...::var |
21+
| main.rs:47:19:47:45 | ...::var(...) | semmle.label | ...::var(...) |
2622
| main.rs:47:19:47:45 | ...::var(...) [Ok] | semmle.label | ...::var(...) [Ok] |
2723
| main.rs:47:19:47:65 | ... .unwrap_or_default() | semmle.label | ... .unwrap_or_default() |
28-
| main.rs:49:5:49:27 | ...::_print | semmle.label | ...::_print |
2924
| main.rs:49:5:49:27 | FormatArgsExpr | semmle.label | FormatArgsExpr |
30-
| main.rs:50:5:50:26 | ...::_eprint | semmle.label | ...::_eprint |
3125
| main.rs:50:5:50:26 | FormatArgsExpr | semmle.label | FormatArgsExpr |
32-
| main.rs:51:5:51:25 | ...::_print | semmle.label | ...::_print |
3326
| main.rs:51:5:51:25 | FormatArgsExpr | semmle.label | FormatArgsExpr |
34-
| main.rs:52:5:52:24 | ...::_eprint | semmle.label | ...::_eprint |
3527
| main.rs:52:5:52:24 | FormatArgsExpr | semmle.label | FormatArgsExpr |
3628
subpaths

0 commit comments

Comments
 (0)