Skip to content

Commit c85cc14

Browse files
committed
C++: accept changes to new ExecTainted test
1 parent a3e1f54 commit c85cc14

File tree

1 file changed

+39
-1
lines changed

1 file changed

+39
-1
lines changed
Lines changed: 39 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1,39 @@
1-
| tests.cpp:53:16:53:19 | data | This argument to an OS command is derived from $@ and then passed to system(string) | tests.cpp:33:34:33:39 | call to getenv | user input (getenv) |
1+
edges
2+
| tests.cpp:33:34:33:39 | call to getenv | tests.cpp:33:34:33:39 | Store |
3+
| tests.cpp:33:34:33:39 | call to getenv | tests.cpp:35:17:35:27 | environment |
4+
| tests.cpp:33:34:33:39 | call to getenv | tests.cpp:38:39:38:49 | (const char *)... |
5+
| tests.cpp:33:34:33:39 | call to getenv | tests.cpp:38:39:38:49 | environment |
6+
| tests.cpp:33:34:33:39 | call to getenv | tests.cpp:38:39:38:49 | environment indirection |
7+
| tests.cpp:33:34:33:39 | call to getenv | tests.cpp:38:39:38:49 | environment indirection |
8+
| tests.cpp:33:34:33:39 | call to getenv | tests.cpp:42:5:42:16 | Phi |
9+
| tests.cpp:38:25:38:36 | strncat output argument | tests.cpp:42:5:42:16 | Phi |
10+
| tests.cpp:38:39:38:49 | environment indirection | tests.cpp:38:25:38:36 | strncat output argument |
11+
| tests.cpp:38:39:38:49 | environment indirection | tests.cpp:38:25:38:36 | strncat output argument |
12+
| tests.cpp:38:39:38:49 | environment indirection | tests.cpp:38:25:38:36 | strncat output argument |
13+
| tests.cpp:38:39:38:49 | environment indirection | tests.cpp:38:25:38:36 | strncat output argument |
14+
| tests.cpp:42:5:42:16 | Phi | tests.cpp:51:22:51:25 | badSource output argument |
15+
| tests.cpp:42:5:42:16 | Phi | tests.cpp:51:22:51:25 | badSource output argument |
16+
| tests.cpp:51:22:51:25 | badSource output argument | tests.cpp:53:16:53:19 | (const char *)... |
17+
| tests.cpp:51:22:51:25 | badSource output argument | tests.cpp:53:16:53:19 | data indirection |
18+
| tests.cpp:51:22:51:25 | badSource output argument | tests.cpp:53:16:53:19 | data indirection |
19+
nodes
20+
| tests.cpp:33:34:33:39 | Store | semmle.label | Store |
21+
| tests.cpp:33:34:33:39 | call to getenv | semmle.label | call to getenv |
22+
| tests.cpp:33:34:33:39 | call to getenv | semmle.label | call to getenv |
23+
| tests.cpp:33:34:33:39 | call to getenv | semmle.label | call to getenv |
24+
| tests.cpp:35:17:35:27 | environment | semmle.label | environment |
25+
| tests.cpp:38:25:38:36 | strncat output argument | semmle.label | strncat output argument |
26+
| tests.cpp:38:39:38:49 | (const char *)... | semmle.label | (const char *)... |
27+
| tests.cpp:38:39:38:49 | environment | semmle.label | environment |
28+
| tests.cpp:38:39:38:49 | environment indirection | semmle.label | environment indirection |
29+
| tests.cpp:38:39:38:49 | environment indirection | semmle.label | environment indirection |
30+
| tests.cpp:42:5:42:16 | Phi | semmle.label | Phi |
31+
| tests.cpp:42:5:42:16 | Phi | semmle.label | Phi |
32+
| tests.cpp:51:22:51:25 | badSource output argument | semmle.label | badSource output argument |
33+
| tests.cpp:51:22:51:25 | badSource output argument | semmle.label | badSource output argument |
34+
| tests.cpp:53:16:53:19 | (const char *)... | semmle.label | (const char *)... |
35+
| tests.cpp:53:16:53:19 | data indirection | semmle.label | data indirection |
36+
| tests.cpp:53:16:53:19 | data indirection | semmle.label | data indirection |
37+
subpaths
38+
#select
39+
| tests.cpp:53:16:53:19 | data | tests.cpp:33:34:33:39 | call to getenv | tests.cpp:53:16:53:19 | data indirection | This argument to an OS command is derived from $@, dangerously concatenated into $@, and then passed to system(string) | tests.cpp:33:34:33:39 | call to getenv | user input (an environment variable) | tests.cpp:38:25:38:36 | strncat output argument | strncat output argument |

0 commit comments

Comments
 (0)