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

Merge pull request #566 from ian-semmle/defuse_test

Browse Source 
Approved by dave-bartolomeo
This commit is contained in:
semmle-qlci
2018-11-28 20:48:14 +00:00
committed by GitHub
parent 41edd61e2e 6cb6b1c07d
commit d31c9950f9
6 changed files with 5 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/test/library-tests/defuse/addressOf.cpp
View File

@@ -47,7 +47,7 @@ int lambdas(int captured) {
auto f1 = [&] { captured++; }; // capture has location "file://:0:0:0:0"
f1();
auto f2 = [&captured] { captured++; };
f1();
f2();
return captured;
}

2
cpp/ql/test/library-tests/defuse/definitionUsePair.expected
View File

@@ -9,7 +9,7 @@
| addressOf.cpp:31:23:31:23 | i | addressOf.cpp:38:18:38:30 | ... + ... | addressOf.cpp:40:15:40:15 | i |
| addressOf.cpp:40:8:40:11 | iref | addressOf.cpp:40:15:40:15 | i | addressOf.cpp:42:19:42:22 | iref |
| addressOf.cpp:47:8:47:9 | f1 | addressOf.cpp:47:13:47:31 | [...](...){...} | addressOf.cpp:48:3:48:4 | f1 |
| addressOf.cpp:47:8:47:9 | f1 | addressOf.cpp:47:13:47:31 | [...](...){...} | addressOf.cpp:50:3:50:4 | f1 |
| addressOf.cpp:49:8:49:9 | f2 | addressOf.cpp:49:13:49:39 | [...](...){...} | addressOf.cpp:50:3:50:4 | f2 |
| addressOf.cpp:56:7:56:7 | a | addressOf.cpp:56:13:56:28 | {...} | addressOf.cpp:57:19:57:19 | a |
| addressOf.cpp:56:7:56:7 | a | addressOf.cpp:57:18:57:45 | ... + ... | addressOf.cpp:58:18:58:18 | a |
| indirect_use.cpp:20:10:20:10 | p | indirect_use.cpp:20:14:20:15 | ip | indirect_use.cpp:21:17:21:17 | p |

2
cpp/ql/test/library-tests/defuse/isAddressOfAccess.expected
View File

@@ -13,7 +13,7 @@
| addressOf.cpp:42:19:42:22 | iref | non-const address |
| addressOf.cpp:48:3:48:4 | f1 | |
| addressOf.cpp:49:15:49:22 | captured | non-const address |
| addressOf.cpp:50:3:50:4 | f1 | |
| addressOf.cpp:50:3:50:4 | f2 | |
| addressOf.cpp:51:10:51:17 | captured | |
| addressOf.cpp:56:16:56:16 | i | |
| addressOf.cpp:56:19:56:19 | i | |

2
cpp/ql/test/library-tests/defuse/useOfVar.expected
View File

@@ -14,7 +14,7 @@
| addressOf.cpp:46:17:46:24 | captured | addressOf.cpp:51:10:51:17 | captured |
| addressOf.cpp:46:17:46:24 | captured | file://:0:0:0:0 | captured |
| addressOf.cpp:47:8:47:9 | f1 | addressOf.cpp:48:3:48:4 | f1 |
| addressOf.cpp:47:8:47:9 | f1 | addressOf.cpp:50:3:50:4 | f1 |
| addressOf.cpp:49:8:49:9 | f2 | addressOf.cpp:50:3:50:4 | f2 |
| addressOf.cpp:55:17:55:17 | i | addressOf.cpp:56:16:56:16 | i |
| addressOf.cpp:55:17:55:17 | i | addressOf.cpp:56:19:56:19 | i |
| addressOf.cpp:55:17:55:17 | i | addressOf.cpp:56:24:56:24 | i |

2
cpp/ql/test/library-tests/defuse/useOfVarActual.expected
View File

@@ -4,7 +4,7 @@
| addressOf.cpp:31:23:31:23 | i | addressOf.cpp:38:20:38:20 | i |
| addressOf.cpp:46:17:46:24 | captured | addressOf.cpp:51:10:51:17 | captured |
| addressOf.cpp:47:8:47:9 | f1 | addressOf.cpp:48:3:48:4 | f1 |
| addressOf.cpp:47:8:47:9 | f1 | addressOf.cpp:50:3:50:4 | f1 |
| addressOf.cpp:49:8:49:9 | f2 | addressOf.cpp:50:3:50:4 | f2 |
| addressOf.cpp:55:17:55:17 | i | addressOf.cpp:56:16:56:16 | i |
| addressOf.cpp:55:17:55:17 | i | addressOf.cpp:56:19:56:19 | i |
| addressOf.cpp:55:17:55:17 | i | addressOf.cpp:56:24:56:24 | i |

1
cpp/ql/test/library-tests/defuse/useUsePair.expected
View File

@@ -1,7 +1,6 @@
| addressOf.cpp:31:23:31:23 | i | addressOf.cpp:34:18:34:18 | i | addressOf.cpp:34:23:34:23 | i |
| addressOf.cpp:31:23:31:23 | i | addressOf.cpp:34:18:34:18 | i | addressOf.cpp:35:23:35:23 | i |
| addressOf.cpp:31:23:31:23 | i | addressOf.cpp:34:23:34:23 | i | addressOf.cpp:35:23:35:23 | i |
| addressOf.cpp:47:8:47:9 | f1 | addressOf.cpp:48:3:48:4 | f1 | addressOf.cpp:50:3:50:4 | f1 |
| addressOf.cpp:55:17:55:17 | i | addressOf.cpp:56:16:56:16 | i | addressOf.cpp:56:19:56:19 | i |
| addressOf.cpp:55:17:55:17 | i | addressOf.cpp:56:16:56:16 | i | addressOf.cpp:56:24:56:24 | i |
| addressOf.cpp:55:17:55:17 | i | addressOf.cpp:56:19:56:19 | i | addressOf.cpp:56:24:56:24 | i |