Skip to content

Commit 3520b86

Browse files
MathiasVPMathiasVP
committed
C++: Accept test changes.
1 parent 3026eb4 commit 3520b86

5 files changed

Lines changed: 80 additions & 11 deletions

File tree

‎cpp/ql/test/query-tests/Security/CWE/CWE-079/semmle/CgiXss/CgiXss.expected‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,9 @@ edges
22
| search.c:14:24:14:28 | query | search.c:17:8:17:12 | (const char *)... |
33
| search.c:14:24:14:28 | query | search.c:17:8:17:12 | query |
44
| search.c:14:24:14:28 | query | search.c:17:8:17:12 | query |
5+
| search.c:14:24:14:28 | query | search.c:17:8:17:12 | query |
6+
| search.c:17:8:17:12 | query | search.c:17:8:17:12 | (const char *)... |
7+
| search.c:17:8:17:12 | query | search.c:17:8:17:12 | query |
58
| search.c:22:24:22:28 | query | search.c:23:39:23:43 | query |
69
| search.c:22:24:22:28 | query | search.c:23:39:23:43 | query |
710
| search.c:41:21:41:26 | call to getenv | search.c:45:17:45:25 | raw_query |

‎cpp/ql/test/query-tests/Security/CWE/CWE-134/semmle/argv/argvLocal.expected‎

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,10 @@ edges
55
| argvLocal.c:95:9:95:12 | argv | argvLocal.c:95:9:95:15 | access to array |
66
| argvLocal.c:95:9:95:12 | argv | argvLocal.c:95:9:95:15 | access to array |
77
| argvLocal.c:95:9:95:12 | argv | argvLocal.c:95:9:95:15 | access to array |
8+
| argvLocal.c:95:9:95:12 | argv | argvLocal.c:95:9:95:15 | access to array |
9+
| argvLocal.c:95:9:95:12 | argv | argvLocal.c:95:9:95:15 | access to array |
10+
| argvLocal.c:95:9:95:15 | access to array | argvLocal.c:95:9:95:15 | (const char *)... |
11+
| argvLocal.c:95:9:95:15 | access to array | argvLocal.c:95:9:95:15 | access to array |
812
| argvLocal.c:96:15:96:18 | argv | argvLocal.c:96:15:96:21 | access to array |
913
| argvLocal.c:96:15:96:18 | argv | argvLocal.c:96:15:96:21 | access to array |
1014
| argvLocal.c:96:15:96:18 | argv | argvLocal.c:96:15:96:21 | access to array |
@@ -15,6 +19,8 @@ edges
1519
| argvLocal.c:100:7:100:10 | argv | argvLocal.c:101:9:101:10 | i1 |
1620
| argvLocal.c:100:7:100:10 | argv | argvLocal.c:101:9:101:10 | i1 |
1721
| argvLocal.c:100:7:100:10 | argv | argvLocal.c:101:9:101:10 | i1 |
22+
| argvLocal.c:100:7:100:10 | argv | argvLocal.c:101:9:101:10 | i1 |
23+
| argvLocal.c:100:7:100:10 | argv | argvLocal.c:101:9:101:10 | i1 |
1824
| argvLocal.c:100:7:100:10 | argv | argvLocal.c:102:15:102:16 | i1 |
1925
| argvLocal.c:100:7:100:10 | argv | argvLocal.c:102:15:102:16 | i1 |
2026
| argvLocal.c:100:7:100:10 | argv | argvLocal.c:102:15:102:16 | i1 |
@@ -25,16 +31,22 @@ edges
2531
| argvLocal.c:100:7:100:10 | argv | argvLocal.c:144:9:144:10 | i7 |
2632
| argvLocal.c:100:7:100:10 | argv | argvLocal.c:144:9:144:10 | i7 |
2733
| argvLocal.c:100:7:100:10 | argv | argvLocal.c:144:9:144:10 | i7 |
34+
| argvLocal.c:100:7:100:10 | argv | argvLocal.c:144:9:144:10 | i7 |
35+
| argvLocal.c:100:7:100:10 | argv | argvLocal.c:144:9:144:10 | i7 |
2836
| argvLocal.c:100:7:100:10 | argv | argvLocal.c:145:15:145:16 | i7 |
2937
| argvLocal.c:100:7:100:10 | argv | argvLocal.c:145:15:145:16 | i7 |
3038
| argvLocal.c:100:7:100:10 | argv | argvLocal.c:145:15:145:16 | i7 |
3139
| argvLocal.c:100:7:100:10 | argv | argvLocal.c:145:15:145:16 | i7 |
40+
| argvLocal.c:101:9:101:10 | i1 | argvLocal.c:101:9:101:10 | (const char *)... |
41+
| argvLocal.c:101:9:101:10 | i1 | argvLocal.c:101:9:101:10 | i1 |
3242
| argvLocal.c:105:14:105:17 | argv | argvLocal.c:106:9:106:13 | (const char *)... |
3343
| argvLocal.c:105:14:105:17 | argv | argvLocal.c:106:9:106:13 | (const char *)... |
3444
| argvLocal.c:105:14:105:17 | argv | argvLocal.c:106:9:106:13 | access to array |
3545
| argvLocal.c:105:14:105:17 | argv | argvLocal.c:106:9:106:13 | access to array |
3646
| argvLocal.c:105:14:105:17 | argv | argvLocal.c:106:9:106:13 | access to array |
3747
| argvLocal.c:105:14:105:17 | argv | argvLocal.c:106:9:106:13 | access to array |
48+
| argvLocal.c:105:14:105:17 | argv | argvLocal.c:106:9:106:13 | access to array |
49+
| argvLocal.c:105:14:105:17 | argv | argvLocal.c:106:9:106:13 | access to array |
3850
| argvLocal.c:105:14:105:17 | argv | argvLocal.c:107:15:107:19 | access to array |
3951
| argvLocal.c:105:14:105:17 | argv | argvLocal.c:107:15:107:19 | access to array |
4052
| argvLocal.c:105:14:105:17 | argv | argvLocal.c:107:15:107:19 | access to array |
@@ -45,10 +57,16 @@ edges
4557
| argvLocal.c:105:14:105:17 | argv | argvLocal.c:110:9:110:11 | * ... |
4658
| argvLocal.c:105:14:105:17 | argv | argvLocal.c:110:9:110:11 | * ... |
4759
| argvLocal.c:105:14:105:17 | argv | argvLocal.c:110:9:110:11 | * ... |
60+
| argvLocal.c:105:14:105:17 | argv | argvLocal.c:110:9:110:11 | * ... |
61+
| argvLocal.c:105:14:105:17 | argv | argvLocal.c:110:9:110:11 | * ... |
4862
| argvLocal.c:105:14:105:17 | argv | argvLocal.c:111:15:111:17 | * ... |
4963
| argvLocal.c:105:14:105:17 | argv | argvLocal.c:111:15:111:17 | * ... |
5064
| argvLocal.c:105:14:105:17 | argv | argvLocal.c:111:15:111:17 | * ... |
5165
| argvLocal.c:105:14:105:17 | argv | argvLocal.c:111:15:111:17 | * ... |
66+
| argvLocal.c:106:9:106:13 | access to array | argvLocal.c:106:9:106:13 | (const char *)... |
67+
| argvLocal.c:106:9:106:13 | access to array | argvLocal.c:106:9:106:13 | access to array |
68+
| argvLocal.c:110:9:110:11 | * ... | argvLocal.c:110:9:110:11 | (const char *)... |
69+
| argvLocal.c:110:9:110:11 | * ... | argvLocal.c:110:9:110:11 | * ... |
5270
| argvLocal.c:115:13:115:16 | argv | argvLocal.c:116:9:116:10 | (const char *)... |
5371
| argvLocal.c:115:13:115:16 | argv | argvLocal.c:116:9:116:10 | (const char *)... |
5472
| argvLocal.c:115:13:115:16 | argv | argvLocal.c:116:9:116:10 | i3 |
@@ -125,16 +143,22 @@ edges
125143
| argvLocal.c:128:15:128:16 | printWrapper output argument | argvLocal.c:131:9:131:14 | ... + ... |
126144
| argvLocal.c:128:15:128:16 | printWrapper output argument | argvLocal.c:132:15:132:20 | ... + ... |
127145
| argvLocal.c:128:15:128:16 | printWrapper output argument | argvLocal.c:132:15:132:20 | ... + ... |
146+
| argvLocal.c:144:9:144:10 | i7 | argvLocal.c:144:9:144:10 | (const char *)... |
147+
| argvLocal.c:144:9:144:10 | i7 | argvLocal.c:144:9:144:10 | i7 |
128148
| argvLocal.c:149:11:149:14 | argv | argvLocal.c:150:9:150:10 | (const char *)... |
129149
| argvLocal.c:149:11:149:14 | argv | argvLocal.c:150:9:150:10 | (const char *)... |
130150
| argvLocal.c:149:11:149:14 | argv | argvLocal.c:150:9:150:10 | i8 |
131151
| argvLocal.c:149:11:149:14 | argv | argvLocal.c:150:9:150:10 | i8 |
132152
| argvLocal.c:149:11:149:14 | argv | argvLocal.c:150:9:150:10 | i8 |
133153
| argvLocal.c:149:11:149:14 | argv | argvLocal.c:150:9:150:10 | i8 |
154+
| argvLocal.c:149:11:149:14 | argv | argvLocal.c:150:9:150:10 | i8 |
155+
| argvLocal.c:149:11:149:14 | argv | argvLocal.c:150:9:150:10 | i8 |
134156
| argvLocal.c:149:11:149:14 | argv | argvLocal.c:151:15:151:16 | i8 |
135157
| argvLocal.c:149:11:149:14 | argv | argvLocal.c:151:15:151:16 | i8 |
136158
| argvLocal.c:149:11:149:14 | argv | argvLocal.c:151:15:151:16 | i8 |
137159
| argvLocal.c:149:11:149:14 | argv | argvLocal.c:151:15:151:16 | i8 |
160+
| argvLocal.c:150:9:150:10 | i8 | argvLocal.c:150:9:150:10 | (const char *)... |
161+
| argvLocal.c:150:9:150:10 | i8 | argvLocal.c:150:9:150:10 | i8 |
138162
| argvLocal.c:156:23:156:26 | argv | argvLocal.c:157:9:157:10 | (const char *)... |
139163
| argvLocal.c:156:23:156:26 | argv | argvLocal.c:157:9:157:10 | (const char *)... |
140164
| argvLocal.c:156:23:156:26 | argv | argvLocal.c:157:9:157:10 | i9 |
@@ -159,12 +183,21 @@ edges
159183
| argvLocal.c:168:18:168:21 | argv | argvLocal.c:169:18:169:20 | i10 |
160184
| argvLocal.c:168:18:168:21 | argv | argvLocal.c:169:18:169:20 | i10 |
161185
| argvLocal.c:168:18:168:21 | argv | argvLocal.c:169:18:169:20 | i10 |
186+
| argvLocal.c:168:18:168:21 | argv | argvLocal.c:169:18:169:20 | i10 |
187+
| argvLocal.c:168:18:168:21 | argv | argvLocal.c:169:18:169:20 | i10 |
162188
| argvLocal.c:168:18:168:21 | argv | argvLocal.c:170:15:170:26 | (char *)... |
163189
| argvLocal.c:168:18:168:21 | argv | argvLocal.c:170:15:170:26 | (char *)... |
164190
| argvLocal.c:168:18:168:21 | argv | argvLocal.c:170:24:170:26 | i10 |
165191
| argvLocal.c:168:18:168:21 | argv | argvLocal.c:170:24:170:26 | i10 |
166192
| argvLocal.c:168:18:168:21 | argv | argvLocal.c:170:24:170:26 | i10 |
167193
| argvLocal.c:168:18:168:21 | argv | argvLocal.c:170:24:170:26 | i10 |
194+
| argvLocal.c:168:18:168:21 | argv | argvLocal.c:170:24:170:26 | i10 |
195+
| argvLocal.c:168:18:168:21 | argv | argvLocal.c:170:24:170:26 | i10 |
196+
| argvLocal.c:169:18:169:20 | i10 | argvLocal.c:169:9:169:20 | (char *)... |
197+
| argvLocal.c:169:18:169:20 | i10 | argvLocal.c:169:9:169:20 | (const char *)... |
198+
| argvLocal.c:169:18:169:20 | i10 | argvLocal.c:169:18:169:20 | i10 |
199+
| argvLocal.c:170:24:170:26 | i10 | argvLocal.c:170:15:170:26 | (char *)... |
200+
| argvLocal.c:170:24:170:26 | i10 | argvLocal.c:170:24:170:26 | i10 |
168201
nodes
169202
| argvLocal.c:9:25:9:31 | *correct | semmle.label | *correct |
170203
| argvLocal.c:9:25:9:31 | correct | semmle.label | correct |

‎cpp/ql/test/query-tests/Security/CWE/CWE-134/semmle/funcs/funcsLocal.expected‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,10 +17,14 @@ edges
1717
| funcsLocal.c:31:13:31:17 | call to fgets | funcsLocal.c:32:9:32:10 | i4 |
1818
| funcsLocal.c:31:13:31:17 | call to fgets | funcsLocal.c:32:9:32:10 | i4 |
1919
| funcsLocal.c:31:13:31:17 | call to fgets | funcsLocal.c:32:9:32:10 | i4 |
20+
| funcsLocal.c:31:13:31:17 | call to fgets | funcsLocal.c:32:9:32:10 | i4 |
21+
| funcsLocal.c:31:13:31:17 | call to fgets | funcsLocal.c:32:9:32:10 | i4 |
2022
| funcsLocal.c:31:19:31:21 | fgets output argument | funcsLocal.c:32:9:32:10 | (const char *)... |
2123
| funcsLocal.c:31:19:31:21 | fgets output argument | funcsLocal.c:32:9:32:10 | i4 |
2224
| funcsLocal.c:31:19:31:21 | i41 | funcsLocal.c:32:9:32:10 | (const char *)... |
2325
| funcsLocal.c:31:19:31:21 | i41 | funcsLocal.c:32:9:32:10 | i4 |
26+
| funcsLocal.c:32:9:32:10 | i4 | funcsLocal.c:32:9:32:10 | (const char *)... |
27+
| funcsLocal.c:32:9:32:10 | i4 | funcsLocal.c:32:9:32:10 | i4 |
2428
| funcsLocal.c:36:7:36:8 | gets output argument | funcsLocal.c:37:9:37:10 | (const char *)... |
2529
| funcsLocal.c:36:7:36:8 | gets output argument | funcsLocal.c:37:9:37:10 | i5 |
2630
| funcsLocal.c:36:7:36:8 | i5 | funcsLocal.c:37:9:37:10 | (const char *)... |
@@ -31,10 +35,14 @@ edges
3135
| funcsLocal.c:41:13:41:16 | call to gets | funcsLocal.c:42:9:42:10 | i6 |
3236
| funcsLocal.c:41:13:41:16 | call to gets | funcsLocal.c:42:9:42:10 | i6 |
3337
| funcsLocal.c:41:13:41:16 | call to gets | funcsLocal.c:42:9:42:10 | i6 |
38+
| funcsLocal.c:41:13:41:16 | call to gets | funcsLocal.c:42:9:42:10 | i6 |
39+
| funcsLocal.c:41:13:41:16 | call to gets | funcsLocal.c:42:9:42:10 | i6 |
3440
| funcsLocal.c:41:18:41:20 | gets output argument | funcsLocal.c:42:9:42:10 | (const char *)... |
3541
| funcsLocal.c:41:18:41:20 | gets output argument | funcsLocal.c:42:9:42:10 | i6 |
3642
| funcsLocal.c:41:18:41:20 | i61 | funcsLocal.c:42:9:42:10 | (const char *)... |
3743
| funcsLocal.c:41:18:41:20 | i61 | funcsLocal.c:42:9:42:10 | i6 |
44+
| funcsLocal.c:42:9:42:10 | i6 | funcsLocal.c:42:9:42:10 | (const char *)... |
45+
| funcsLocal.c:42:9:42:10 | i6 | funcsLocal.c:42:9:42:10 | i6 |
3846
nodes
3947
| funcsLocal.c:16:8:16:9 | fread output argument | semmle.label | fread output argument |
4048
| funcsLocal.c:16:8:16:9 | i1 | semmle.label | i1 |

‎cpp/ql/test/query-tests/Security/CWE/CWE-134/semmle/globalVars/UncontrolledFormatStringThroughGlobalVar.expected‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,8 @@ edges
1313
| globalVars.c:9:7:9:11 | copy2 | globalVars.c:50:9:50:13 | copy2 |
1414
| globalVars.c:9:7:9:11 | copy2 | globalVars.c:50:9:50:13 | copy2 |
1515
| globalVars.c:9:7:9:11 | copy2 | globalVars.c:50:9:50:13 | copy2 |
16+
| globalVars.c:11:22:11:25 | *argv | globalVars.c:12:2:12:15 | Store |
17+
| globalVars.c:11:22:11:25 | argv | globalVars.c:11:22:11:25 | *argv |
1618
| globalVars.c:11:22:11:25 | argv | globalVars.c:12:2:12:15 | Store |
1719
| globalVars.c:12:2:12:15 | Store | globalVars.c:8:7:8:10 | copy |
1820
| globalVars.c:15:21:15:23 | val | globalVars.c:16:2:16:12 | Store |
@@ -29,6 +31,7 @@ edges
2931
nodes
3032
| globalVars.c:8:7:8:10 | copy | semmle.label | copy |
3133
| globalVars.c:9:7:9:11 | copy2 | semmle.label | copy2 |
34+
| globalVars.c:11:22:11:25 | *argv | semmle.label | *argv |
3235
| globalVars.c:11:22:11:25 | argv | semmle.label | argv |
3336
| globalVars.c:12:2:12:15 | Store | semmle.label | Store |
3437
| globalVars.c:15:21:15:23 | val | semmle.label | val |

‎cpp/ql/test/query-tests/Security/CWE/CWE-190/semmle/TaintedAllocationSize/TaintedAllocationSize.expected‎

Lines changed: 33 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,8 @@ edges
55
| test.cpp:39:21:39:24 | argv | test.cpp:42:38:42:44 | tainted |
66
| test.cpp:39:21:39:24 | argv | test.cpp:42:38:42:44 | tainted |
77
| test.cpp:39:21:39:24 | argv | test.cpp:42:38:42:44 | tainted |
8+
| test.cpp:39:21:39:24 | argv | test.cpp:42:38:42:44 | tainted |
9+
| test.cpp:39:21:39:24 | argv | test.cpp:42:38:42:44 | tainted |
810
| test.cpp:39:21:39:24 | argv | test.cpp:43:38:43:63 | ... * ... |
911
| test.cpp:39:21:39:24 | argv | test.cpp:43:38:43:63 | ... * ... |
1012
| test.cpp:39:21:39:24 | argv | test.cpp:43:38:43:63 | ... * ... |
@@ -19,6 +21,8 @@ edges
1921
| test.cpp:39:21:39:24 | argv | test.cpp:48:32:48:35 | size |
2022
| test.cpp:39:21:39:24 | argv | test.cpp:48:32:48:35 | size |
2123
| test.cpp:39:21:39:24 | argv | test.cpp:48:32:48:35 | size |
24+
| test.cpp:39:21:39:24 | argv | test.cpp:48:32:48:35 | size |
25+
| test.cpp:39:21:39:24 | argv | test.cpp:48:32:48:35 | size |
2226
| test.cpp:39:21:39:24 | argv | test.cpp:49:26:49:29 | size |
2327
| test.cpp:39:21:39:24 | argv | test.cpp:49:26:49:29 | size |
2428
| test.cpp:39:21:39:24 | argv | test.cpp:49:26:49:29 | size |
@@ -27,6 +31,10 @@ edges
2731
| test.cpp:39:21:39:24 | argv | test.cpp:52:35:52:60 | ... * ... |
2832
| test.cpp:39:21:39:24 | argv | test.cpp:52:35:52:60 | ... * ... |
2933
| test.cpp:39:21:39:24 | argv | test.cpp:52:35:52:60 | ... * ... |
34+
| test.cpp:42:38:42:44 | tainted | test.cpp:42:38:42:44 | (size_t)... |
35+
| test.cpp:42:38:42:44 | tainted | test.cpp:42:38:42:44 | tainted |
36+
| test.cpp:48:32:48:35 | size | test.cpp:48:32:48:35 | (size_t)... |
37+
| test.cpp:48:32:48:35 | size | test.cpp:48:32:48:35 | size |
3038
| test.cpp:123:18:123:23 | call to getenv | test.cpp:127:24:127:41 | ... * ... |
3139
| test.cpp:123:18:123:23 | call to getenv | test.cpp:127:24:127:41 | ... * ... |
3240
| test.cpp:123:18:123:31 | (const char *)... | test.cpp:127:24:127:41 | ... * ... |
@@ -50,27 +58,36 @@ edges
5058
| test.cpp:227:24:227:29 | call to getenv | test.cpp:229:9:229:18 | (size_t)... |
5159
| test.cpp:227:24:227:29 | call to getenv | test.cpp:229:9:229:18 | local_size |
5260
| test.cpp:227:24:227:29 | call to getenv | test.cpp:229:9:229:18 | local_size |
61+
| test.cpp:227:24:227:29 | call to getenv | test.cpp:229:9:229:18 | local_size |
5362
| test.cpp:227:24:227:29 | call to getenv | test.cpp:235:11:235:20 | (size_t)... |
5463
| test.cpp:227:24:227:29 | call to getenv | test.cpp:237:10:237:19 | (size_t)... |
5564
| test.cpp:227:24:227:37 | (const char *)... | test.cpp:229:9:229:18 | (size_t)... |
5665
| test.cpp:227:24:227:37 | (const char *)... | test.cpp:229:9:229:18 | local_size |
5766
| test.cpp:227:24:227:37 | (const char *)... | test.cpp:229:9:229:18 | local_size |
67+
| test.cpp:227:24:227:37 | (const char *)... | test.cpp:229:9:229:18 | local_size |
5868
| test.cpp:227:24:227:37 | (const char *)... | test.cpp:235:11:235:20 | (size_t)... |
5969
| test.cpp:227:24:227:37 | (const char *)... | test.cpp:237:10:237:19 | (size_t)... |
70+
| test.cpp:229:9:229:18 | local_size | test.cpp:229:9:229:18 | (size_t)... |
71+
| test.cpp:229:9:229:18 | local_size | test.cpp:229:9:229:18 | local_size |
6072
| test.cpp:235:11:235:20 | (size_t)... | test.cpp:214:23:214:23 | s |
6173
| test.cpp:237:10:237:19 | (size_t)... | test.cpp:220:21:220:21 | s |
62-
| test.cpp:241:2:241:32 | Chi | test.cpp:279:17:279:20 | get_size output argument |
63-
| test.cpp:241:2:241:32 | Chi | test.cpp:295:18:295:21 | get_size output argument |
64-
| test.cpp:241:18:241:23 | call to getenv | test.cpp:241:2:241:32 | Chi |
65-
| test.cpp:241:18:241:31 | (const char *)... | test.cpp:241:2:241:32 | Chi |
74+
| test.cpp:241:2:241:32 | Chi [array content] | test.cpp:279:17:279:20 | get_size output argument [array content] |
75+
| test.cpp:241:2:241:32 | Chi [array content] | test.cpp:295:18:295:21 | get_size output argument [array content] |
76+
| test.cpp:241:2:241:32 | Store | test.cpp:241:2:241:32 | Chi [array content] |
77+
| test.cpp:241:18:241:23 | call to getenv | test.cpp:241:2:241:32 | Store |
78+
| test.cpp:241:18:241:31 | (const char *)... | test.cpp:241:2:241:32 | Store |
6679
| test.cpp:249:20:249:25 | call to getenv | test.cpp:253:11:253:29 | ... * ... |
6780
| test.cpp:249:20:249:25 | call to getenv | test.cpp:253:11:253:29 | ... * ... |
6881
| test.cpp:249:20:249:33 | (const char *)... | test.cpp:253:11:253:29 | ... * ... |
6982
| test.cpp:249:20:249:33 | (const char *)... | test.cpp:253:11:253:29 | ... * ... |
70-
| test.cpp:279:17:279:20 | get_size output argument | test.cpp:281:11:281:28 | ... * ... |
71-
| test.cpp:279:17:279:20 | get_size output argument | test.cpp:281:11:281:28 | ... * ... |
72-
| test.cpp:295:18:295:21 | get_size output argument | test.cpp:298:10:298:27 | ... * ... |
73-
| test.cpp:295:18:295:21 | get_size output argument | test.cpp:298:10:298:27 | ... * ... |
83+
| test.cpp:279:17:279:20 | Chi [array content] | test.cpp:281:11:281:14 | size |
84+
| test.cpp:279:17:279:20 | get_size output argument [array content] | test.cpp:279:17:279:20 | Chi [array content] |
85+
| test.cpp:281:11:281:14 | size | test.cpp:281:11:281:28 | ... * ... |
86+
| test.cpp:281:11:281:14 | size | test.cpp:281:11:281:28 | ... * ... |
87+
| test.cpp:295:18:295:21 | Chi [array content] | test.cpp:298:10:298:13 | size |
88+
| test.cpp:295:18:295:21 | get_size output argument [array content] | test.cpp:295:18:295:21 | Chi [array content] |
89+
| test.cpp:298:10:298:13 | size | test.cpp:298:10:298:27 | ... * ... |
90+
| test.cpp:298:10:298:13 | size | test.cpp:298:10:298:27 | ... * ... |
7491
| test.cpp:301:19:301:24 | call to getenv | test.cpp:305:11:305:28 | ... * ... |
7592
| test.cpp:301:19:301:24 | call to getenv | test.cpp:305:11:305:28 | ... * ... |
7693
| test.cpp:301:19:301:32 | (const char *)... | test.cpp:305:11:305:28 | ... * ... |
@@ -142,19 +159,24 @@ nodes
142159
| test.cpp:231:9:231:24 | call to get_tainted_size | semmle.label | call to get_tainted_size |
143160
| test.cpp:235:11:235:20 | (size_t)... | semmle.label | (size_t)... |
144161
| test.cpp:237:10:237:19 | (size_t)... | semmle.label | (size_t)... |
145-
| test.cpp:241:2:241:32 | Chi | semmle.label | Chi |
162+
| test.cpp:241:2:241:32 | Chi [array content] | semmle.label | Chi [array content] |
163+
| test.cpp:241:2:241:32 | Store | semmle.label | Store |
146164
| test.cpp:241:18:241:23 | call to getenv | semmle.label | call to getenv |
147165
| test.cpp:241:18:241:31 | (const char *)... | semmle.label | (const char *)... |
148166
| test.cpp:249:20:249:25 | call to getenv | semmle.label | call to getenv |
149167
| test.cpp:249:20:249:33 | (const char *)... | semmle.label | (const char *)... |
150168
| test.cpp:253:11:253:29 | ... * ... | semmle.label | ... * ... |
151169
| test.cpp:253:11:253:29 | ... * ... | semmle.label | ... * ... |
152170
| test.cpp:253:11:253:29 | ... * ... | semmle.label | ... * ... |
153-
| test.cpp:279:17:279:20 | get_size output argument | semmle.label | get_size output argument |
171+
| test.cpp:279:17:279:20 | Chi [array content] | semmle.label | Chi [array content] |
172+
| test.cpp:279:17:279:20 | get_size output argument [array content] | semmle.label | get_size output argument [array content] |
173+
| test.cpp:281:11:281:14 | size | semmle.label | size |
154174
| test.cpp:281:11:281:28 | ... * ... | semmle.label | ... * ... |
155175
| test.cpp:281:11:281:28 | ... * ... | semmle.label | ... * ... |
156176
| test.cpp:281:11:281:28 | ... * ... | semmle.label | ... * ... |
157-
| test.cpp:295:18:295:21 | get_size output argument | semmle.label | get_size output argument |
177+
| test.cpp:295:18:295:21 | Chi [array content] | semmle.label | Chi [array content] |
178+
| test.cpp:295:18:295:21 | get_size output argument [array content] | semmle.label | get_size output argument [array content] |
179+
| test.cpp:298:10:298:13 | size | semmle.label | size |
158180
| test.cpp:298:10:298:27 | ... * ... | semmle.label | ... * ... |
159181
| test.cpp:298:10:298:27 | ... * ... | semmle.label | ... * ... |
160182
| test.cpp:298:10:298:27 | ... * ... | semmle.label | ... * ... |

0 commit comments

Comments
 (0)