hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 10:45:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Accept test

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2020-04-02 10:57:11 +02:00
parent 020c273dc9
commit af9e05b9cd
5 changed files with 33 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/test/library-tests/dataflow/dataflow-tests/test_diff.expected
View File

@@ -31,10 +31,6 @@
| ref.cpp:53:17:53:18 | ref.cpp:62:10:62:11 | AST only |
| ref.cpp:53:21:53:22 | ref.cpp:65:10:65:11 | AST only |
| ref.cpp:55:23:55:28 | ref.cpp:56:10:56:11 | AST only |
| ref.cpp:94:15:94:20 | ref.cpp:129:13:129:15 | AST only |
| ref.cpp:109:15:109:20 | ref.cpp:132:13:132:15 | AST only |
| ref.cpp:122:23:122:28 | ref.cpp:123:13:123:15 | AST only |
| ref.cpp:125:19:125:24 | ref.cpp:126:13:126:15 | AST only |
| test.cpp:75:7:75:8 | test.cpp:76:8:76:9 | AST only |
| test.cpp:83:7:83:8 | test.cpp:84:8:84:18 | AST only |
| test.cpp:83:7:83:8 | test.cpp:86:8:86:9 | AST only |

4
cpp/ql/test/library-tests/dataflow/dataflow-tests/test_ir.expected
View File

@@ -39,6 +39,10 @@
| globals.cpp:12:10:12:24 | flowTestGlobal1 | globals.cpp:13:23:13:28 | call to source |
| globals.cpp:19:10:19:24 | flowTestGlobal2 | globals.cpp:23:23:23:28 | call to source |
| lambdas.cpp:35:8:35:8 | a | lambdas.cpp:8:10:8:15 | call to source |
| ref.cpp:123:13:123:15 | val | ref.cpp:122:23:122:28 | call to source |
| ref.cpp:126:13:126:15 | val | ref.cpp:125:19:125:24 | call to source |
| ref.cpp:129:13:129:15 | val | ref.cpp:94:15:94:20 | call to source |
| ref.cpp:132:13:132:15 | val | ref.cpp:109:15:109:20 | call to source |
| test.cpp:7:8:7:9 | t1 | test.cpp:6:12:6:17 | call to source |
| test.cpp:9:8:9:9 | t1 | test.cpp:6:12:6:17 | call to source |
| test.cpp:10:8:10:9 | t2 | test.cpp:6:12:6:17 | call to source |

16
cpp/ql/test/library-tests/dataflow/taint-tests/taint.cpp
View File

@@ -85,14 +85,14 @@ void class_field_test() {
mc1.myMethod();
sink(mc1.a);
sink(mc1.b); // tainted [NOT DETECTED with IR]
sink(mc1.c); // tainted [NOT DETECTED with IR]
sink(mc1.d); // tainted [NOT DETECTED with IR]
sink(mc2.a);
sink(mc2.b); // tainted [NOT DETECTED with IR]
sink(mc2.c); // tainted [NOT DETECTED with IR]
sink(mc2.d);
sink(mc1.a); // [FALSE POSITIVE]
sink(mc1.b); // tainted
sink(mc1.c); // tainted
sink(mc1.d); // tainted
sink(mc2.a); // [FALSE POSITIVE]
sink(mc2.b); // tainted
sink(mc2.c); // tainted
sink(mc2.d); // [FALSE POSITIVE]
}
// --- arrays ---

12
cpp/ql/test/library-tests/dataflow/taint-tests/test_diff.expected
View File

@@ -11,11 +11,17 @@
| taint.cpp:41:7:41:13 | taint.cpp:35:12:35:17 | AST only |
| taint.cpp:42:7:42:13 | taint.cpp:35:12:35:17 | AST only |
| taint.cpp:43:7:43:13 | taint.cpp:37:22:37:27 | AST only |
| taint.cpp:88:11:88:11 | taint.cpp:77:7:77:12 | IR only |
| taint.cpp:89:11:89:11 | taint.cpp:71:22:71:27 | AST only |
| taint.cpp:89:11:89:11 | taint.cpp:77:7:77:12 | IR only |
| taint.cpp:90:11:90:11 | taint.cpp:72:7:72:12 | AST only |
| taint.cpp:91:11:91:11 | taint.cpp:77:7:77:12 | AST only |
| taint.cpp:93:11:93:11 | taint.cpp:71:22:71:27 | AST only |
| taint.cpp:94:11:94:11 | taint.cpp:72:7:72:12 | AST only |
| taint.cpp:90:11:90:11 | taint.cpp:77:7:77:12 | IR only |
| taint.cpp:92:11:92:11 | taint.cpp:71:22:71:27 | IR only |
| taint.cpp:92:11:92:11 | taint.cpp:72:7:72:12 | IR only |
| taint.cpp:93:11:93:11 | taint.cpp:72:7:72:12 | IR only |
| taint.cpp:94:11:94:11 | taint.cpp:71:22:71:27 | IR only |
| taint.cpp:95:11:95:11 | taint.cpp:71:22:71:27 | IR only |
| taint.cpp:95:11:95:11 | taint.cpp:72:7:72:12 | IR only |
| taint.cpp:109:7:109:13 | taint.cpp:105:12:105:17 | IR only |
| taint.cpp:130:7:130:9 | taint.cpp:127:8:127:13 | IR only |
| taint.cpp:137:7:137:9 | taint.cpp:120:11:120:16 | AST only |

12
cpp/ql/test/library-tests/dataflow/taint-tests/test_ir.expected
View File

@@ -1,6 +1,18 @@
| taint.cpp:8:8:8:13 | clean1 | taint.cpp:4:27:4:33 | source1 |
| taint.cpp:16:8:16:14 | source1 | taint.cpp:12:22:12:27 | call to source |
| taint.cpp:17:8:17:16 | ++ ... | taint.cpp:12:22:12:27 | call to source |
| taint.cpp:88:11:88:11 | a | taint.cpp:77:7:77:12 | call to source |
| taint.cpp:89:11:89:11 | b | taint.cpp:77:7:77:12 | call to source |
| taint.cpp:90:11:90:11 | c | taint.cpp:77:7:77:12 | call to source |
| taint.cpp:91:11:91:11 | d | taint.cpp:77:7:77:12 | call to source |
| taint.cpp:92:11:92:11 | a | taint.cpp:71:22:71:27 | call to source |
| taint.cpp:92:11:92:11 | a | taint.cpp:72:7:72:12 | call to source |
| taint.cpp:93:11:93:11 | b | taint.cpp:71:22:71:27 | call to source |
| taint.cpp:93:11:93:11 | b | taint.cpp:72:7:72:12 | call to source |
| taint.cpp:94:11:94:11 | c | taint.cpp:71:22:71:27 | call to source |
| taint.cpp:94:11:94:11 | c | taint.cpp:72:7:72:12 | call to source |
| taint.cpp:95:11:95:11 | d | taint.cpp:71:22:71:27 | call to source |
| taint.cpp:95:11:95:11 | d | taint.cpp:72:7:72:12 | call to source |
| taint.cpp:109:7:109:13 | access to array | taint.cpp:105:12:105:17 | call to source |
| taint.cpp:129:7:129:9 | * ... | taint.cpp:120:11:120:16 | call to source |
| taint.cpp:130:7:130:9 | * ... | taint.cpp:127:8:127:13 | call to source |