Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 4f2c2e6

Browse files
MathiasVPMathiasVP
committed
C++: Accept test changes.
1 parent 3b1b8cc commit 4f2c2e6

11 files changed

Lines changed: 124 additions & 45 deletions

File tree

‎cpp/ql/test/library-tests/dataflow/dataflow-tests/dataflow-consistency.expected‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -83,11 +83,11 @@ postWithInFlow
8383
| test.cpp:407:10:407:13 | ref arg & ... | PostUpdateNode should not be the target of local flow. |
8484
| test.cpp:407:11:407:13 | tmp [inner post update] | PostUpdateNode should not be the target of local flow. |
8585
| test.cpp:423:21:423:25 | local [inner post update] | PostUpdateNode should not be the target of local flow. |
86-
| test.cpp:436:19:436:23 | local [inner post update] | PostUpdateNode should not be the target of local flow. |
87-
| test.cpp:465:3:465:4 | * ... [post update] | PostUpdateNode should not be the target of local flow. |
88-
| test.cpp:465:4:465:4 | p [inner post update] | PostUpdateNode should not be the target of local flow. |
89-
| test.cpp:470:22:470:22 | x [inner post update] | PostUpdateNode should not be the target of local flow. |
90-
| test.cpp:499:3:499:4 | * ... [post update] | PostUpdateNode should not be the target of local flow. |
91-
| test.cpp:499:4:499:4 | p [inner post update] | PostUpdateNode should not be the target of local flow. |
92-
| test.cpp:505:35:505:35 | x [inner post update] | PostUpdateNode should not be the target of local flow. |
86+
| test.cpp:441:19:441:23 | local [inner post update] | PostUpdateNode should not be the target of local flow. |
87+
| test.cpp:472:3:472:4 | * ... [post update] | PostUpdateNode should not be the target of local flow. |
88+
| test.cpp:472:4:472:4 | p [inner post update] | PostUpdateNode should not be the target of local flow. |
89+
| test.cpp:477:22:477:22 | x [inner post update] | PostUpdateNode should not be the target of local flow. |
90+
| test.cpp:506:3:506:4 | * ... [post update] | PostUpdateNode should not be the target of local flow. |
91+
| test.cpp:506:4:506:4 | p [inner post update] | PostUpdateNode should not be the target of local flow. |
92+
| test.cpp:512:35:512:35 | x [inner post update] | PostUpdateNode should not be the target of local flow. |
9393
viableImplInCallContextTooLarge

‎cpp/ql/test/library-tests/dataflow/dataflow-tests/dataflow-ir-consistency.expected‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ reverseRead
3636
| dispatch.cpp:168:3:168:4 | Unary | Origin of readStep is missing a PostUpdateNode. |
3737
| dispatch.cpp:173:37:173:38 | Unary | Origin of readStep is missing a PostUpdateNode. |
3838
| dispatch.cpp:174:37:174:38 | Unary | Origin of readStep is missing a PostUpdateNode. |
39-
| test.cpp:481:21:481:21 | Unary | Origin of readStep is missing a PostUpdateNode. |
39+
| test.cpp:488:21:488:21 | Unary | Origin of readStep is missing a PostUpdateNode. |
4040
argHasPostUpdate
4141
postWithInFlow
4242
| test.cpp:384:10:384:13 | memcpy output argument | PostUpdateNode should not be the target of local flow. |

‎cpp/ql/test/library-tests/dataflow/dataflow-tests/localFlow.expected‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -71,10 +71,10 @@
7171
| test.cpp:391:11:391:13 | tmp | test.cpp:391:10:391:13 | & ... |
7272
| test.cpp:391:17:391:23 | source1 | test.cpp:391:10:391:13 | ref arg & ... |
7373
| test.cpp:391:17:391:23 | source1 | test.cpp:391:16:391:23 | & ... |
74-
| test.cpp:480:67:480:67 | s | test.cpp:480:67:480:67 | s |
75-
| test.cpp:480:67:480:67 | s | test.cpp:481:21:481:21 | s |
76-
| test.cpp:480:67:480:67 | s | test.cpp:482:20:482:20 | s |
77-
| test.cpp:481:21:481:21 | s [post update] | test.cpp:480:67:480:67 | s |
78-
| test.cpp:481:21:481:21 | s [post update] | test.cpp:482:20:482:20 | s |
79-
| test.cpp:481:24:481:30 | ref arg content | test.cpp:482:23:482:29 | content |
80-
| test.cpp:482:23:482:29 | content | test.cpp:483:9:483:17 | p_content |
74+
| test.cpp:487:67:487:67 | s | test.cpp:487:67:487:67 | s |
75+
| test.cpp:487:67:487:67 | s | test.cpp:488:21:488:21 | s |
76+
| test.cpp:487:67:487:67 | s | test.cpp:489:20:489:20 | s |
77+
| test.cpp:488:21:488:21 | s [post update] | test.cpp:487:67:487:67 | s |
78+
| test.cpp:488:21:488:21 | s [post update] | test.cpp:489:20:489:20 | s |
79+
| test.cpp:488:24:488:30 | ref arg content | test.cpp:489:23:489:29 | content |
80+
| test.cpp:489:23:489:29 | content | test.cpp:490:9:490:17 | p_content |

‎cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp‎

Lines changed: 13 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -423,25 +423,32 @@ void intPointerSourceCaller() {
423423
intPointerSource(&local);
424424
sink(local); // $ ast,ir=422:7 ast,ir=423:20
425425
}
426-
426+
// The IR results for this test _is_ equivalent to the AST ones.
427+
// The IR annotation is just "ir" because the sink of the unitialized source at
428+
// 428:7 is value of `local`, but the sink of the source from `intPointerSource`
429+
// value of `*local` (i.e., the indirection node of `local`). So unlike AST dataflow,
430+
// each of these two sinks correspond to a unique source, and thus we don't need to
431+
// attach a location annotation to it.
427432
void intPointerSourceCaller2() {
428433
int local[1];
429434
intPointerSource(local);
430-
sink(local); // $ ast,ir=428:7 ast,ir=429:20
431-
sink(*local); // $ ast,ir=428:7 ast,ir=429:20
435+
sink(local); // $ ast=433:7 ast=434:20 ir
436+
sink(*local); // $ ast=433:7 ast=434:20 ir
432437
}
433438

434439
void intArraySourceCaller() {
435440
int local;
436441
intArraySource(&local, 1);
437-
sink(local); // $ ast,ir=435:7 ast,ir=436:18
442+
sink(local); // $ ast,ir=440:7 ast,ir=441:18
438443
}
439444

445+
// The IR results for this test _is_ equivalent to the AST ones.
446+
// See the comment on `intPointerSourceCaller2` for an explanation.
440447
void intArraySourceCaller2() {
441448
int local[2];
442449
intArraySource(local, 2);
443-
sink(local); // $ ast,ir=441:7 ast,ir=442:18
444-
sink(*local); // $ ast,ir=441:7 ast,ir=442:18
450+
sink(local); // $ ast=448:7 ast=449:18 ir
451+
sink(*local); // $ ast=448:7 ast=449:18 ir
445452
}
446453

447454
///////////////////////////////////////////////////////////////////////////////

‎cpp/ql/test/library-tests/dataflow/dataflow-tests/uninitialized.expected‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -26,11 +26,11 @@
2626
| test.cpp:416:7:416:11 | local | test.cpp:418:8:418:12 | local |
2727
| test.cpp:422:7:422:11 | local | test.cpp:423:21:423:25 | local |
2828
| test.cpp:422:7:422:11 | local | test.cpp:424:8:424:12 | local |
29-
| test.cpp:428:7:428:11 | local | test.cpp:429:20:429:24 | local |
30-
| test.cpp:428:7:428:11 | local | test.cpp:430:8:430:12 | local |
31-
| test.cpp:428:7:428:11 | local | test.cpp:431:9:431:13 | local |
32-
| test.cpp:435:7:435:11 | local | test.cpp:436:19:436:23 | local |
33-
| test.cpp:435:7:435:11 | local | test.cpp:437:8:437:12 | local |
34-
| test.cpp:441:7:441:11 | local | test.cpp:442:18:442:22 | local |
35-
| test.cpp:441:7:441:11 | local | test.cpp:443:8:443:12 | local |
36-
| test.cpp:441:7:441:11 | local | test.cpp:444:9:444:13 | local |
29+
| test.cpp:433:7:433:11 | local | test.cpp:434:20:434:24 | local |
30+
| test.cpp:433:7:433:11 | local | test.cpp:435:8:435:12 | local |
31+
| test.cpp:433:7:433:11 | local | test.cpp:436:9:436:13 | local |
32+
| test.cpp:440:7:440:11 | local | test.cpp:441:19:441:23 | local |
33+
| test.cpp:440:7:440:11 | local | test.cpp:442:8:442:12 | local |
34+
| test.cpp:448:7:448:11 | local | test.cpp:449:18:449:22 | local |
35+
| test.cpp:448:7:448:11 | local | test.cpp:450:8:450:12 | local |
36+
| test.cpp:448:7:448:11 | local | test.cpp:451:9:451:13 | local |

‎cpp/ql/test/query-tests/Security/CWE/CWE-114/semmle/UncontrolledProcessOperation/UncontrolledProcessOperation.expected‎

Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,13 +10,26 @@ edges
1010
| test.cpp:56:12:56:17 | buffer | test.cpp:62:10:62:15 | buffer |
1111
| test.cpp:56:12:56:17 | buffer | test.cpp:62:10:62:15 | buffer |
1212
| test.cpp:56:12:56:17 | buffer | test.cpp:62:10:62:15 | buffer |
13+
| test.cpp:56:12:56:17 | buffer | test.cpp:62:10:62:15 | buffer |
14+
| test.cpp:56:12:56:17 | buffer | test.cpp:62:10:62:15 | buffer |
15+
| test.cpp:56:12:56:17 | buffer | test.cpp:62:10:62:15 | buffer |
16+
| test.cpp:56:12:56:17 | buffer | test.cpp:63:10:63:13 | data |
1317
| test.cpp:56:12:56:17 | buffer | test.cpp:63:10:63:13 | data |
1418
| test.cpp:56:12:56:17 | buffer | test.cpp:63:10:63:13 | data |
1519
| test.cpp:56:12:56:17 | buffer | test.cpp:63:10:63:13 | data |
20+
| test.cpp:56:12:56:17 | buffer | test.cpp:63:10:63:13 | data |
21+
| test.cpp:56:12:56:17 | buffer | test.cpp:63:10:63:13 | data |
22+
| test.cpp:56:12:56:17 | buffer | test.cpp:64:10:64:16 | dataref |
1623
| test.cpp:56:12:56:17 | buffer | test.cpp:64:10:64:16 | dataref |
1724
| test.cpp:56:12:56:17 | buffer | test.cpp:64:10:64:16 | dataref |
1825
| test.cpp:56:12:56:17 | buffer | test.cpp:64:10:64:16 | dataref |
1926
| test.cpp:56:12:56:17 | buffer | test.cpp:64:10:64:16 | dataref |
27+
| test.cpp:56:12:56:17 | buffer | test.cpp:64:10:64:16 | dataref |
28+
| test.cpp:56:12:56:17 | buffer | test.cpp:64:10:64:16 | dataref |
29+
| test.cpp:56:12:56:17 | buffer | test.cpp:64:10:64:16 | dataref |
30+
| test.cpp:56:12:56:17 | buffer | test.cpp:65:10:65:14 | data2 |
31+
| test.cpp:56:12:56:17 | buffer | test.cpp:65:10:65:14 | data2 |
32+
| test.cpp:56:12:56:17 | buffer | test.cpp:65:10:65:14 | data2 |
2033
| test.cpp:56:12:56:17 | buffer | test.cpp:65:10:65:14 | data2 |
2134
| test.cpp:56:12:56:17 | buffer | test.cpp:65:10:65:14 | data2 |
2235
| test.cpp:56:12:56:17 | buffer | test.cpp:65:10:65:14 | data2 |
@@ -36,18 +49,27 @@ edges
3649
| test.cpp:76:12:76:17 | buffer | test.cpp:78:10:78:15 | buffer |
3750
| test.cpp:76:12:76:17 | buffer | test.cpp:78:10:78:15 | buffer |
3851
| test.cpp:76:12:76:17 | buffer | test.cpp:78:10:78:15 | buffer |
52+
| test.cpp:76:12:76:17 | buffer | test.cpp:78:10:78:15 | buffer |
53+
| test.cpp:76:12:76:17 | buffer | test.cpp:78:10:78:15 | buffer |
54+
| test.cpp:76:12:76:17 | buffer | test.cpp:78:10:78:15 | buffer |
3955
| test.cpp:76:12:76:17 | fgets output argument | test.cpp:78:10:78:15 | buffer |
4056
| test.cpp:76:12:76:17 | fgets output argument | test.cpp:78:10:78:15 | buffer |
4157
| test.cpp:76:12:76:17 | fgets output argument | test.cpp:78:10:78:15 | buffer |
4258
| test.cpp:98:17:98:22 | buffer | test.cpp:99:15:99:20 | buffer |
4359
| test.cpp:98:17:98:22 | buffer | test.cpp:99:15:99:20 | buffer |
4460
| test.cpp:98:17:98:22 | buffer | test.cpp:99:15:99:20 | buffer |
61+
| test.cpp:98:17:98:22 | buffer | test.cpp:99:15:99:20 | buffer |
62+
| test.cpp:98:17:98:22 | buffer | test.cpp:99:15:99:20 | buffer |
63+
| test.cpp:98:17:98:22 | buffer | test.cpp:99:15:99:20 | buffer |
4564
| test.cpp:98:17:98:22 | recv output argument | test.cpp:99:15:99:20 | buffer |
4665
| test.cpp:98:17:98:22 | recv output argument | test.cpp:99:15:99:20 | buffer |
4766
| test.cpp:98:17:98:22 | recv output argument | test.cpp:99:15:99:20 | buffer |
4867
| test.cpp:106:17:106:22 | buffer | test.cpp:107:15:107:20 | buffer |
4968
| test.cpp:106:17:106:22 | buffer | test.cpp:107:15:107:20 | buffer |
5069
| test.cpp:106:17:106:22 | buffer | test.cpp:107:15:107:20 | buffer |
70+
| test.cpp:106:17:106:22 | buffer | test.cpp:107:15:107:20 | buffer |
71+
| test.cpp:106:17:106:22 | buffer | test.cpp:107:15:107:20 | buffer |
72+
| test.cpp:106:17:106:22 | buffer | test.cpp:107:15:107:20 | buffer |
5173
| test.cpp:106:17:106:22 | recv output argument | test.cpp:107:15:107:20 | buffer |
5274
| test.cpp:106:17:106:22 | recv output argument | test.cpp:107:15:107:20 | buffer |
5375
| test.cpp:106:17:106:22 | recv output argument | test.cpp:107:15:107:20 | buffer |
@@ -64,6 +86,7 @@ nodes
6486
| test.cpp:43:18:43:23 | call to getenv | semmle.label | call to getenv |
6587
| test.cpp:43:18:43:34 | call to getenv | semmle.label | call to getenv |
6688
| test.cpp:56:12:56:17 | buffer | semmle.label | buffer |
89+
| test.cpp:56:12:56:17 | buffer | semmle.label | buffer |
6790
| test.cpp:56:12:56:17 | fgets output argument | semmle.label | fgets output argument |
6891
| test.cpp:62:10:62:15 | buffer | semmle.label | buffer |
6992
| test.cpp:62:10:62:15 | buffer | semmle.label | buffer |
@@ -79,16 +102,19 @@ nodes
79102
| test.cpp:65:10:65:14 | data2 | semmle.label | data2 |
80103
| test.cpp:65:10:65:14 | data2 | semmle.label | data2 |
81104
| test.cpp:76:12:76:17 | buffer | semmle.label | buffer |
105+
| test.cpp:76:12:76:17 | buffer | semmle.label | buffer |
82106
| test.cpp:76:12:76:17 | fgets output argument | semmle.label | fgets output argument |
83107
| test.cpp:78:10:78:15 | buffer | semmle.label | buffer |
84108
| test.cpp:78:10:78:15 | buffer | semmle.label | buffer |
85109
| test.cpp:78:10:78:15 | buffer | semmle.label | buffer |
86110
| test.cpp:98:17:98:22 | buffer | semmle.label | buffer |
111+
| test.cpp:98:17:98:22 | buffer | semmle.label | buffer |
87112
| test.cpp:98:17:98:22 | recv output argument | semmle.label | recv output argument |
88113
| test.cpp:99:15:99:20 | buffer | semmle.label | buffer |
89114
| test.cpp:99:15:99:20 | buffer | semmle.label | buffer |
90115
| test.cpp:99:15:99:20 | buffer | semmle.label | buffer |
91116
| test.cpp:106:17:106:22 | buffer | semmle.label | buffer |
117+
| test.cpp:106:17:106:22 | buffer | semmle.label | buffer |
92118
| test.cpp:106:17:106:22 | recv output argument | semmle.label | recv output argument |
93119
| test.cpp:107:15:107:20 | buffer | semmle.label | buffer |
94120
| test.cpp:107:15:107:20 | buffer | semmle.label | buffer |

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

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,12 @@ edges
88
| funcsLocal.c:16:8:16:9 | i1 | funcsLocal.c:17:9:17:10 | i1 |
99
| funcsLocal.c:16:8:16:9 | i1 | funcsLocal.c:17:9:17:10 | i1 |
1010
| funcsLocal.c:16:8:16:9 | i1 | funcsLocal.c:17:9:17:10 | i1 |
11+
| funcsLocal.c:16:8:16:9 | i1 | funcsLocal.c:17:9:17:10 | i1 |
12+
| funcsLocal.c:16:8:16:9 | i1 | funcsLocal.c:17:9:17:10 | i1 |
13+
| funcsLocal.c:16:8:16:9 | i1 | funcsLocal.c:17:9:17:10 | i1 |
14+
| funcsLocal.c:16:8:16:9 | i1 | funcsLocal.c:58:9:58:10 | e1 |
15+
| funcsLocal.c:16:8:16:9 | i1 | funcsLocal.c:58:9:58:10 | e1 |
16+
| funcsLocal.c:16:8:16:9 | i1 | funcsLocal.c:58:9:58:10 | e1 |
1117
| funcsLocal.c:16:8:16:9 | i1 | funcsLocal.c:58:9:58:10 | e1 |
1218
| funcsLocal.c:16:8:16:9 | i1 | funcsLocal.c:58:9:58:10 | e1 |
1319
| funcsLocal.c:16:8:16:9 | i1 | funcsLocal.c:58:9:58:10 | e1 |
@@ -17,6 +23,9 @@ edges
1723
| funcsLocal.c:26:8:26:9 | i3 | funcsLocal.c:27:9:27:10 | i3 |
1824
| funcsLocal.c:26:8:26:9 | i3 | funcsLocal.c:27:9:27:10 | i3 |
1925
| funcsLocal.c:26:8:26:9 | i3 | funcsLocal.c:27:9:27:10 | i3 |
26+
| funcsLocal.c:26:8:26:9 | i3 | funcsLocal.c:27:9:27:10 | i3 |
27+
| funcsLocal.c:26:8:26:9 | i3 | funcsLocal.c:27:9:27:10 | i3 |
28+
| funcsLocal.c:26:8:26:9 | i3 | funcsLocal.c:27:9:27:10 | i3 |
2029
| funcsLocal.c:31:13:31:17 | call to fgets | funcsLocal.c:32:9:32:10 | i4 |
2130
| funcsLocal.c:31:13:31:17 | call to fgets | funcsLocal.c:32:9:32:10 | i4 |
2231
| funcsLocal.c:31:13:31:17 | call to fgets | funcsLocal.c:32:9:32:10 | i4 |
@@ -35,6 +44,9 @@ edges
3544
| funcsLocal.c:36:7:36:8 | i5 | funcsLocal.c:37:9:37:10 | i5 |
3645
| funcsLocal.c:36:7:36:8 | i5 | funcsLocal.c:37:9:37:10 | i5 |
3746
| funcsLocal.c:36:7:36:8 | i5 | funcsLocal.c:37:9:37:10 | i5 |
47+
| funcsLocal.c:36:7:36:8 | i5 | funcsLocal.c:37:9:37:10 | i5 |
48+
| funcsLocal.c:36:7:36:8 | i5 | funcsLocal.c:37:9:37:10 | i5 |
49+
| funcsLocal.c:36:7:36:8 | i5 | funcsLocal.c:37:9:37:10 | i5 |
3850
| funcsLocal.c:41:13:41:16 | call to gets | funcsLocal.c:42:9:42:10 | i6 |
3951
| funcsLocal.c:41:13:41:16 | call to gets | funcsLocal.c:42:9:42:10 | i6 |
4052
| funcsLocal.c:41:13:41:16 | call to gets | funcsLocal.c:42:9:42:10 | i6 |
@@ -72,11 +84,13 @@ subpaths
7284
nodes
7385
| funcsLocal.c:16:8:16:9 | fread output argument | semmle.label | fread output argument |
7486
| funcsLocal.c:16:8:16:9 | i1 | semmle.label | i1 |
87+
| funcsLocal.c:16:8:16:9 | i1 | semmle.label | i1 |
7588
| funcsLocal.c:17:9:17:10 | i1 | semmle.label | i1 |
7689
| funcsLocal.c:17:9:17:10 | i1 | semmle.label | i1 |
7790
| funcsLocal.c:17:9:17:10 | i1 | semmle.label | i1 |
7891
| funcsLocal.c:26:8:26:9 | fgets output argument | semmle.label | fgets output argument |
7992
| funcsLocal.c:26:8:26:9 | i3 | semmle.label | i3 |
93+
| funcsLocal.c:26:8:26:9 | i3 | semmle.label | i3 |
8094
| funcsLocal.c:27:9:27:10 | i3 | semmle.label | i3 |
8195
| funcsLocal.c:27:9:27:10 | i3 | semmle.label | i3 |
8296
| funcsLocal.c:27:9:27:10 | i3 | semmle.label | i3 |
@@ -89,6 +103,7 @@ nodes
89103
| funcsLocal.c:32:9:32:10 | i4 | semmle.label | i4 |
90104
| funcsLocal.c:36:7:36:8 | gets output argument | semmle.label | gets output argument |
91105
| funcsLocal.c:36:7:36:8 | i5 | semmle.label | i5 |
106+
| funcsLocal.c:36:7:36:8 | i5 | semmle.label | i5 |
92107
| funcsLocal.c:37:9:37:10 | i5 | semmle.label | i5 |
93108
| funcsLocal.c:37:9:37:10 | i5 | semmle.label | i5 |
94109
| funcsLocal.c:37:9:37:10 | i5 | semmle.label | i5 |

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

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@ edges
99
| test5.cpp:5:5:5:17 | VariableAddress indirection | test5.cpp:19:6:19:6 | y |
1010
| test5.cpp:5:5:5:17 | VariableAddress indirection | test5.cpp:19:6:19:6 | y |
1111
| test5.cpp:9:7:9:9 | buf | test5.cpp:5:5:5:17 | VariableAddress indirection |
12+
| test5.cpp:9:7:9:9 | buf | test5.cpp:5:5:5:17 | VariableAddress indirection |
1213
| test5.cpp:9:7:9:9 | gets output argument | test5.cpp:5:5:5:17 | VariableAddress indirection |
1314
| test.c:11:29:11:32 | argv | test.c:14:15:14:28 | maxConnections |
1415
| test.c:11:29:11:32 | argv | test.c:14:15:14:28 | maxConnections |
@@ -36,6 +37,7 @@ nodes
3637
| test2.cpp:27:13:27:13 | v | semmle.label | v |
3738
| test5.cpp:5:5:5:17 | VariableAddress indirection | semmle.label | VariableAddress indirection |
3839
| test5.cpp:9:7:9:9 | buf | semmle.label | buf |
40+
| test5.cpp:9:7:9:9 | buf | semmle.label | buf |
3941
| test5.cpp:9:7:9:9 | gets output argument | semmle.label | gets output argument |
4042
| test5.cpp:17:6:17:18 | call to getTaintedInt | semmle.label | call to getTaintedInt |
4143
| test5.cpp:17:6:17:18 | call to getTaintedInt | semmle.label | call to getTaintedInt |

0 commit comments

Comments
 (0)