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

Skip to content

Commit af9e05b

Browse files
MathiasVPMathiasVP
committed
C++: Accept test
1 parent 020c273 commit af9e05b

5 files changed

Lines changed: 33 additions & 15 deletions

File tree

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

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -31,10 +31,6 @@
3131
| ref.cpp:53:17:53:18 | ref.cpp:62:10:62:11 | AST only |
3232
| ref.cpp:53:21:53:22 | ref.cpp:65:10:65:11 | AST only |
3333
| ref.cpp:55:23:55:28 | ref.cpp:56:10:56:11 | AST only |
34-
| ref.cpp:94:15:94:20 | ref.cpp:129:13:129:15 | AST only |
35-
| ref.cpp:109:15:109:20 | ref.cpp:132:13:132:15 | AST only |
36-
| ref.cpp:122:23:122:28 | ref.cpp:123:13:123:15 | AST only |
37-
| ref.cpp:125:19:125:24 | ref.cpp:126:13:126:15 | AST only |
3834
| test.cpp:75:7:75:8 | test.cpp:76:8:76:9 | AST only |
3935
| test.cpp:83:7:83:8 | test.cpp:84:8:84:18 | AST only |
4036
| test.cpp:83:7:83:8 | test.cpp:86:8:86:9 | AST only |

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

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -39,6 +39,10 @@
3939
| globals.cpp:12:10:12:24 | flowTestGlobal1 | globals.cpp:13:23:13:28 | call to source |
4040
| globals.cpp:19:10:19:24 | flowTestGlobal2 | globals.cpp:23:23:23:28 | call to source |
4141
| lambdas.cpp:35:8:35:8 | a | lambdas.cpp:8:10:8:15 | call to source |
42+
| ref.cpp:123:13:123:15 | val | ref.cpp:122:23:122:28 | call to source |
43+
| ref.cpp:126:13:126:15 | val | ref.cpp:125:19:125:24 | call to source |
44+
| ref.cpp:129:13:129:15 | val | ref.cpp:94:15:94:20 | call to source |
45+
| ref.cpp:132:13:132:15 | val | ref.cpp:109:15:109:20 | call to source |
4246
| test.cpp:7:8:7:9 | t1 | test.cpp:6:12:6:17 | call to source |
4347
| test.cpp:9:8:9:9 | t1 | test.cpp:6:12:6:17 | call to source |
4448
| test.cpp:10:8:10:9 | t2 | test.cpp:6:12:6:17 | call to source |

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

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -85,14 +85,14 @@ void class_field_test() {
8585

8686
mc1.myMethod();
8787

88-
sink(mc1.a);
89-
sink(mc1.b); // tainted [NOT DETECTED with IR]
90-
sink(mc1.c); // tainted [NOT DETECTED with IR]
91-
sink(mc1.d); // tainted [NOT DETECTED with IR]
92-
sink(mc2.a);
93-
sink(mc2.b); // tainted [NOT DETECTED with IR]
94-
sink(mc2.c); // tainted [NOT DETECTED with IR]
95-
sink(mc2.d);
88+
sink(mc1.a); // [FALSE POSITIVE]
89+
sink(mc1.b); // tainted
90+
sink(mc1.c); // tainted
91+
sink(mc1.d); // tainted
92+
sink(mc2.a); // [FALSE POSITIVE]
93+
sink(mc2.b); // tainted
94+
sink(mc2.c); // tainted
95+
sink(mc2.d); // [FALSE POSITIVE]
9696
}
9797

9898
// --- arrays ---

‎cpp/ql/test/library-tests/dataflow/taint-tests/test_diff.expected‎

Lines changed: 9 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -11,11 +11,17 @@
1111
| taint.cpp:41:7:41:13 | taint.cpp:35:12:35:17 | AST only |
1212
| taint.cpp:42:7:42:13 | taint.cpp:35:12:35:17 | AST only |
1313
| taint.cpp:43:7:43:13 | taint.cpp:37:22:37:27 | AST only |
14+
| taint.cpp:88:11:88:11 | taint.cpp:77:7:77:12 | IR only |
1415
| taint.cpp:89:11:89:11 | taint.cpp:71:22:71:27 | AST only |
16+
| taint.cpp:89:11:89:11 | taint.cpp:77:7:77:12 | IR only |
1517
| taint.cpp:90:11:90:11 | taint.cpp:72:7:72:12 | AST only |
16-
| taint.cpp:91:11:91:11 | taint.cpp:77:7:77:12 | AST only |
17-
| taint.cpp:93:11:93:11 | taint.cpp:71:22:71:27 | AST only |
18-
| taint.cpp:94:11:94:11 | taint.cpp:72:7:72:12 | AST only |
18+
| taint.cpp:90:11:90:11 | taint.cpp:77:7:77:12 | IR only |
19+
| taint.cpp:92:11:92:11 | taint.cpp:71:22:71:27 | IR only |
20+
| taint.cpp:92:11:92:11 | taint.cpp:72:7:72:12 | IR only |
21+
| taint.cpp:93:11:93:11 | taint.cpp:72:7:72:12 | IR only |
22+
| taint.cpp:94:11:94:11 | taint.cpp:71:22:71:27 | IR only |
23+
| taint.cpp:95:11:95:11 | taint.cpp:71:22:71:27 | IR only |
24+
| taint.cpp:95:11:95:11 | taint.cpp:72:7:72:12 | IR only |
1925
| taint.cpp:109:7:109:13 | taint.cpp:105:12:105:17 | IR only |
2026
| taint.cpp:130:7:130:9 | taint.cpp:127:8:127:13 | IR only |
2127
| taint.cpp:137:7:137:9 | taint.cpp:120:11:120:16 | AST only |

‎cpp/ql/test/library-tests/dataflow/taint-tests/test_ir.expected‎

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,18 @@
11
| taint.cpp:8:8:8:13 | clean1 | taint.cpp:4:27:4:33 | source1 |
22
| taint.cpp:16:8:16:14 | source1 | taint.cpp:12:22:12:27 | call to source |
33
| taint.cpp:17:8:17:16 | ++ ... | taint.cpp:12:22:12:27 | call to source |
4+
| taint.cpp:88:11:88:11 | a | taint.cpp:77:7:77:12 | call to source |
5+
| taint.cpp:89:11:89:11 | b | taint.cpp:77:7:77:12 | call to source |
6+
| taint.cpp:90:11:90:11 | c | taint.cpp:77:7:77:12 | call to source |
7+
| taint.cpp:91:11:91:11 | d | taint.cpp:77:7:77:12 | call to source |
8+
| taint.cpp:92:11:92:11 | a | taint.cpp:71:22:71:27 | call to source |
9+
| taint.cpp:92:11:92:11 | a | taint.cpp:72:7:72:12 | call to source |
10+
| taint.cpp:93:11:93:11 | b | taint.cpp:71:22:71:27 | call to source |
11+
| taint.cpp:93:11:93:11 | b | taint.cpp:72:7:72:12 | call to source |
12+
| taint.cpp:94:11:94:11 | c | taint.cpp:71:22:71:27 | call to source |
13+
| taint.cpp:94:11:94:11 | c | taint.cpp:72:7:72:12 | call to source |
14+
| taint.cpp:95:11:95:11 | d | taint.cpp:71:22:71:27 | call to source |
15+
| taint.cpp:95:11:95:11 | d | taint.cpp:72:7:72:12 | call to source |
416
| taint.cpp:109:7:109:13 | access to array | taint.cpp:105:12:105:17 | call to source |
517
| taint.cpp:129:7:129:9 | * ... | taint.cpp:120:11:120:16 | call to source |
618
| taint.cpp:130:7:130:9 | * ... | taint.cpp:127:8:127:13 | call to source |

0 commit comments

Comments
 (0)