26
26
| src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:28:32:28:38 | ...[...] : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:28:13:28:25 | commandArray2 [post update] : String[] [[]] : String | provenance | |
27
27
| src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:29:13:29:25 | commandArray2 [post update] : String[] [[]] : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:30:39:30:51 | commandArray2 | provenance | Sink:MaD:1 |
28
28
| src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:29:32:29:38 | ...[...] : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:29:13:29:25 | commandArray2 [post update] : String[] [[]] : String | provenance | |
29
- | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:34:17:37:17 | concat(...) : Stream [<element>] : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:34:17:37:40 | toArray(...) | provenance | MaD:5 Sink:MaD:1 |
30
- | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:36:21:36:74 | stream(...) : Stream [<element>] : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:34:17:37:17 | concat(...) : Stream [<element>] : String | provenance | MaD:4 |
31
- | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:36:35:36:73 | new String[] : String[] [[]] : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:36:21:36:74 | stream(...) : Stream [<element>] : String | provenance | MaD:3 |
29
+ | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:34:17:37:17 | concat(...) : Stream [<element>] : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:34:17:37:40 | toArray(...) | provenance | MaD:4 Sink:MaD:1 |
30
+ | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:36:21:36:74 | stream(...) : Stream [<element>] : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:34:17:37:17 | concat(...) : Stream [<element>] : String | provenance | MaD:3 |
31
+ | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:36:35:36:73 | new String[] : String[] [[]] : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:36:21:36:74 | stream(...) : Stream [<element>] : String | provenance | MaD:5 |
32
32
| src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:36:35:36:73 | {...} : String[] [[]] : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:36:35:36:73 | new String[] : String[] [[]] : String | provenance | |
33
33
| src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:36:48:36:54 | ...[...] : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:36:35:36:73 | {...} : String[] [[]] : String | provenance | |
34
34
| src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:36:57:36:63 | ...[...] : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:36:35:36:73 | {...} : String[] [[]] : String | provenance | |
@@ -43,17 +43,17 @@ edges
43
43
| src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:52:66:52:71 | script : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:52:42:52:72 | {...} : String[] [[]] : String | provenance | |
44
44
| src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:58:17:58:29 | commandArray2 [post update] : String[] [[]] : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:59:43:59:55 | commandArray2 | provenance | Sink:MaD:1 |
45
45
| src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:58:36:58:41 | script : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:58:17:58:29 | commandArray2 [post update] : String[] [[]] : String | provenance | |
46
- | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:63:21:66:21 | concat(...) : Stream [<element>] : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:63:21:66:44 | toArray(...) | provenance | MaD:5 Sink:MaD:1 |
47
- | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:65:25:65:59 | stream(...) : Stream [<element>] : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:63:21:66:21 | concat(...) : Stream [<element>] : String | provenance | MaD:4 |
48
- | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:65:39:65:58 | new String[] : String[] [[]] : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:65:25:65:59 | stream(...) : Stream [<element>] : String | provenance | MaD:3 |
46
+ | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:63:21:66:21 | concat(...) : Stream [<element>] : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:63:21:66:44 | toArray(...) | provenance | MaD:4 Sink:MaD:1 |
47
+ | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:65:25:65:59 | stream(...) : Stream [<element>] : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:63:21:66:21 | concat(...) : Stream [<element>] : String | provenance | MaD:3 |
48
+ | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:65:39:65:58 | new String[] : String[] [[]] : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:65:25:65:59 | stream(...) : Stream [<element>] : String | provenance | MaD:5 |
49
49
| src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:65:39:65:58 | {...} : String[] [[]] : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:65:39:65:58 | new String[] : String[] [[]] : String | provenance | |
50
50
| src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:65:52:65:57 | script : String | src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:65:39:65:58 | {...} : String[] [[]] : String | provenance | |
51
51
models
52
52
| 1 | Sink: java.lang; Runtime; true; exec; (String[]); ; Argument[0]; command-injection; ai-manual |
53
53
| 2 | Source: java.lang; System; false; getenv; ; ; ReturnValue; environment; manual |
54
- | 3 | Summary: java.util; Arrays; false; stream; ; ; Argument[0].ArrayElement ; ReturnValue.Element; value; manual |
55
- | 4 | Summary: java.util.stream; Stream; true; concat; (Stream,Stream) ; ; Argument[0..1 ].Element; ReturnValue.Element ; value; manual |
56
- | 5 | Summary: java.util.stream; Stream; true; toArray ; ; ; Argument[this].Element ; ReturnValue.ArrayElement ; value; manual |
54
+ | 3 | Summary: java.util.stream; Stream; true; concat; (Stream,Stream) ; ; Argument[0..1].Element ; ReturnValue.Element; value; manual |
55
+ | 4 | Summary: java.util.stream; Stream; true; toArray; ; ; Argument[this ].Element; ReturnValue.ArrayElement ; value; manual |
56
+ | 5 | Summary: java.util; Arrays; false; stream ; ; ; Argument[0].ArrayElement ; ReturnValue.Element ; value; manual |
57
57
nodes
58
58
| src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:16:29:16:41 | args : String[] | semmle.label | args : String[] |
59
59
| src/main/java/com/github/githubsecuritylab/command_injection_test/Main.java:21:38:21:87 | {...} : String[] [[]] : String | semmle.label | {...} : String[] [[]] : String |
0 commit comments