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

Java: Fix qltest.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2019-10-07 15:51:42 +02:00
parent 75ebc098bb
commit 38aba7bfc1
4 changed files with 76 additions and 95 deletions
Download Patch File Download Diff File Expand all files Collapse all files

152
java/ql/test/library-tests/dataflow/call-sensitivity/flow.expected
View File

@@ -1,91 +1,91 @@
edges
| A2.java:15:15:15:28 | new Integer(...) [ : Number] | A2.java:27:27:27:34 | o [ : Number] |
| A2.java:27:27:27:34 | o [ : Number] | A2.java:29:9:29:9 | o |
| A.java:14:29:14:36 | o [ : Number] | A.java:16:9:16:9 | o |
| A.java:20:30:20:37 | o [ : Number] | A.java:22:9:22:9 | o |
| A.java:26:31:26:38 | o [ : Number] | A.java:28:9:28:9 | o |
| A.java:32:35:32:42 | o [ : Number] | A.java:40:8:40:9 | o3 |
| A.java:43:36:43:43 | o [ : Number] | A.java:51:8:51:9 | o3 |
| A.java:43:36:43:43 | o [ : Number] | A.java:51:8:51:9 | o3 |
| A.java:43:36:43:43 | o [ : Number] | A.java:51:8:51:9 | o3 |
| A.java:62:18:62:31 | new Integer(...) [ : Number] | A.java:14:29:14:36 | o [ : Number] |
| A.java:63:19:63:32 | new Integer(...) [ : Number] | A.java:20:30:20:37 | o [ : Number] |
| A.java:64:20:64:33 | new Integer(...) [ : Number] | A.java:26:31:26:38 | o [ : Number] |
| A.java:65:24:65:37 | new Integer(...) [ : Number] | A.java:32:35:32:42 | o [ : Number] |
| A.java:66:25:66:38 | new Integer(...) [ : Number] | A.java:43:36:43:43 | o [ : Number] |
| A.java:67:25:67:38 | new Integer(...) [ : Number] | A.java:43:36:43:43 | o [ : Number] |
| A.java:68:25:68:38 | new Integer(...) [ : Number] | A.java:43:36:43:43 | o [ : Number] |
| A.java:69:20:69:33 | new Integer(...) [ : Number] | A.java:69:8:69:40 | flowThrough(...) |
| A.java:71:25:71:38 | new Integer(...) [ : Number] | A.java:43:36:43:43 | o [ : Number] |
| A.java:84:18:84:31 | new Integer(...) [ : Number] | A.java:14:29:14:36 | o [ : Number] |
| A.java:85:19:85:32 | new Integer(...) [ : Number] | A.java:20:30:20:37 | o [ : Number] |
| A.java:86:20:86:33 | new Integer(...) [ : Number] | A.java:26:31:26:38 | o [ : Number] |
| A.java:87:24:87:37 | new Integer(...) [ : Number] | A.java:32:35:32:42 | o [ : Number] |
| A.java:88:20:88:33 | new Integer(...) [ : Number] | A.java:88:8:88:37 | flowThrough(...) |
| A.java:99:20:99:33 | new Integer(...) [ : Number] | A.java:106:30:106:37 | o [ : Number] |
| A.java:100:21:100:34 | new Integer(...) [ : Number] | A.java:113:31:113:38 | o [ : Number] |
| A.java:101:26:101:39 | new Integer(...) [ : Number] | A.java:120:36:120:43 | o [ : Number] |
| A.java:106:30:106:37 | o [ : Number] | A.java:108:10:108:10 | o |
| A.java:113:31:113:38 | o [ : Number] | A.java:115:10:115:10 | o |
| A.java:120:36:120:43 | o [ : Number] | A.java:128:9:128:10 | o3 |
| A2.java:15:15:15:28 | new Integer(...) : Number | A2.java:27:27:27:34 | o : Number |
| A2.java:27:27:27:34 | o : Number | A2.java:29:9:29:9 | o |
| A.java:14:29:14:36 | o : Number | A.java:16:9:16:9 | o |
| A.java:20:30:20:37 | o : Number | A.java:22:9:22:9 | o |
| A.java:26:31:26:38 | o : Number | A.java:28:9:28:9 | o |
| A.java:32:35:32:42 | o : Number | A.java:40:8:40:9 | o3 |
| A.java:43:36:43:43 | o : Number | A.java:51:8:51:9 | o3 |
| A.java:43:36:43:43 | o : Number | A.java:51:8:51:9 | o3 |
| A.java:43:36:43:43 | o : Number | A.java:51:8:51:9 | o3 |
| A.java:62:18:62:31 | new Integer(...) : Number | A.java:14:29:14:36 | o : Number |
| A.java:63:19:63:32 | new Integer(...) : Number | A.java:20:30:20:37 | o : Number |
| A.java:64:20:64:33 | new Integer(...) : Number | A.java:26:31:26:38 | o : Number |
| A.java:65:24:65:37 | new Integer(...) : Number | A.java:32:35:32:42 | o : Number |
| A.java:66:25:66:38 | new Integer(...) : Number | A.java:43:36:43:43 | o : Number |
| A.java:67:25:67:38 | new Integer(...) : Number | A.java:43:36:43:43 | o : Number |
| A.java:68:25:68:38 | new Integer(...) : Number | A.java:43:36:43:43 | o : Number |
| A.java:69:20:69:33 | new Integer(...) : Number | A.java:69:8:69:40 | flowThrough(...) |
| A.java:71:25:71:38 | new Integer(...) : Number | A.java:43:36:43:43 | o : Number |
| A.java:84:18:84:31 | new Integer(...) : Number | A.java:14:29:14:36 | o : Number |
| A.java:85:19:85:32 | new Integer(...) : Number | A.java:20:30:20:37 | o : Number |
| A.java:86:20:86:33 | new Integer(...) : Number | A.java:26:31:26:38 | o : Number |
| A.java:87:24:87:37 | new Integer(...) : Number | A.java:32:35:32:42 | o : Number |
| A.java:88:20:88:33 | new Integer(...) : Number | A.java:88:8:88:37 | flowThrough(...) |
| A.java:99:20:99:33 | new Integer(...) : Number | A.java:106:30:106:37 | o : Number |
| A.java:100:21:100:34 | new Integer(...) : Number | A.java:113:31:113:38 | o : Number |
| A.java:101:26:101:39 | new Integer(...) : Number | A.java:120:36:120:43 | o : Number |
| A.java:106:30:106:37 | o : Number | A.java:108:10:108:10 | o |
| A.java:113:31:113:38 | o : Number | A.java:115:10:115:10 | o |
| A.java:120:36:120:43 | o : Number | A.java:128:9:128:10 | o3 |
nodes
| A2.java:15:15:15:28 | new Integer(...) [ : Number] | semmle.label | new Integer(...) [ : Number] |
| A2.java:27:27:27:34 | o [ : Number] | semmle.label | o [ : Number] |
| A2.java:15:15:15:28 | new Integer(...) : Number | semmle.label | new Integer(...) : Number |
| A2.java:27:27:27:34 | o : Number | semmle.label | o : Number |
| A2.java:29:9:29:9 | o | semmle.label | o |
| A2.java:37:10:37:10 | o | semmle.label | o |
| A.java:14:29:14:36 | o [ : Number] | semmle.label | o [ : Number] |
| A.java:14:29:14:36 | o : Number | semmle.label | o : Number |
| A.java:16:9:16:9 | o | semmle.label | o |
| A.java:20:30:20:37 | o [ : Number] | semmle.label | o [ : Number] |
| A.java:20:30:20:37 | o : Number | semmle.label | o : Number |
| A.java:22:9:22:9 | o | semmle.label | o |
| A.java:26:31:26:38 | o [ : Number] | semmle.label | o [ : Number] |
| A.java:26:31:26:38 | o : Number | semmle.label | o : Number |
| A.java:28:9:28:9 | o | semmle.label | o |
| A.java:32:35:32:42 | o [ : Number] | semmle.label | o [ : Number] |
| A.java:32:35:32:42 | o : Number | semmle.label | o : Number |
| A.java:40:8:40:9 | o3 | semmle.label | o3 |
| A.java:43:36:43:43 | o [ : Number] | semmle.label | o [ : Number] |
| A.java:43:36:43:43 | o [ : Number] | semmle.label | o [ : Number] |
| A.java:43:36:43:43 | o [ : Number] | semmle.label | o [ : Number] |
| A.java:43:36:43:43 | o : Number | semmle.label | o : Number |
| A.java:43:36:43:43 | o : Number | semmle.label | o : Number |
| A.java:43:36:43:43 | o : Number | semmle.label | o : Number |
| A.java:51:8:51:9 | o3 | semmle.label | o3 |
| A.java:62:18:62:31 | new Integer(...) [ : Number] | semmle.label | new Integer(...) [ : Number] |
| A.java:63:19:63:32 | new Integer(...) [ : Number] | semmle.label | new Integer(...) [ : Number] |
| A.java:64:20:64:33 | new Integer(...) [ : Number] | semmle.label | new Integer(...) [ : Number] |
| A.java:65:24:65:37 | new Integer(...) [ : Number] | semmle.label | new Integer(...) [ : Number] |
| A.java:66:25:66:38 | new Integer(...) [ : Number] | semmle.label | new Integer(...) [ : Number] |
| A.java:67:25:67:38 | new Integer(...) [ : Number] | semmle.label | new Integer(...) [ : Number] |
| A.java:68:25:68:38 | new Integer(...) [ : Number] | semmle.label | new Integer(...) [ : Number] |
| A.java:62:18:62:31 | new Integer(...) : Number | semmle.label | new Integer(...) : Number |
| A.java:63:19:63:32 | new Integer(...) : Number | semmle.label | new Integer(...) : Number |
| A.java:64:20:64:33 | new Integer(...) : Number | semmle.label | new Integer(...) : Number |
| A.java:65:24:65:37 | new Integer(...) : Number | semmle.label | new Integer(...) : Number |
| A.java:66:25:66:38 | new Integer(...) : Number | semmle.label | new Integer(...) : Number |
| A.java:67:25:67:38 | new Integer(...) : Number | semmle.label | new Integer(...) : Number |
| A.java:68:25:68:38 | new Integer(...) : Number | semmle.label | new Integer(...) : Number |
| A.java:69:8:69:40 | flowThrough(...) | semmle.label | flowThrough(...) |
| A.java:69:20:69:33 | new Integer(...) [ : Number] | semmle.label | new Integer(...) [ : Number] |
| A.java:71:25:71:38 | new Integer(...) [ : Number] | semmle.label | new Integer(...) [ : Number] |
| A.java:84:18:84:31 | new Integer(...) [ : Number] | semmle.label | new Integer(...) [ : Number] |
| A.java:85:19:85:32 | new Integer(...) [ : Number] | semmle.label | new Integer(...) [ : Number] |
| A.java:86:20:86:33 | new Integer(...) [ : Number] | semmle.label | new Integer(...) [ : Number] |
| A.java:87:24:87:37 | new Integer(...) [ : Number] | semmle.label | new Integer(...) [ : Number] |
| A.java:69:20:69:33 | new Integer(...) : Number | semmle.label | new Integer(...) : Number |
| A.java:71:25:71:38 | new Integer(...) : Number | semmle.label | new Integer(...) : Number |
| A.java:84:18:84:31 | new Integer(...) : Number | semmle.label | new Integer(...) : Number |
| A.java:85:19:85:32 | new Integer(...) : Number | semmle.label | new Integer(...) : Number |
| A.java:86:20:86:33 | new Integer(...) : Number | semmle.label | new Integer(...) : Number |
| A.java:87:24:87:37 | new Integer(...) : Number | semmle.label | new Integer(...) : Number |
| A.java:88:8:88:37 | flowThrough(...) | semmle.label | flowThrough(...) |
| A.java:88:20:88:33 | new Integer(...) [ : Number] | semmle.label | new Integer(...) [ : Number] |
| A.java:99:20:99:33 | new Integer(...) [ : Number] | semmle.label | new Integer(...) [ : Number] |
| A.java:100:21:100:34 | new Integer(...) [ : Number] | semmle.label | new Integer(...) [ : Number] |
| A.java:101:26:101:39 | new Integer(...) [ : Number] | semmle.label | new Integer(...) [ : Number] |
| A.java:106:30:106:37 | o [ : Number] | semmle.label | o [ : Number] |
| A.java:88:20:88:33 | new Integer(...) : Number | semmle.label | new Integer(...) : Number |
| A.java:99:20:99:33 | new Integer(...) : Number | semmle.label | new Integer(...) : Number |
| A.java:100:21:100:34 | new Integer(...) : Number | semmle.label | new Integer(...) : Number |
| A.java:101:26:101:39 | new Integer(...) : Number | semmle.label | new Integer(...) : Number |
| A.java:106:30:106:37 | o : Number | semmle.label | o : Number |
| A.java:108:10:108:10 | o | semmle.label | o |
| A.java:113:31:113:38 | o [ : Number] | semmle.label | o [ : Number] |
| A.java:113:31:113:38 | o : Number | semmle.label | o : Number |
| A.java:115:10:115:10 | o | semmle.label | o |
| A.java:120:36:120:43 | o [ : Number] | semmle.label | o [ : Number] |
| A.java:120:36:120:43 | o : Number | semmle.label | o : Number |
| A.java:128:9:128:10 | o3 | semmle.label | o3 |
#select
| A2.java:15:15:15:28 | new Integer(...) [ : Number] | A2.java:15:15:15:28 | new Integer(...) [ : Number] | A2.java:29:9:29:9 | o | $@ | A2.java:29:9:29:9 | o | o |
| A.java:62:18:62:31 | new Integer(...) [ : Number] | A.java:62:18:62:31 | new Integer(...) [ : Number] | A.java:16:9:16:9 | o | $@ | A.java:16:9:16:9 | o | o |
| A.java:63:19:63:32 | new Integer(...) [ : Number] | A.java:63:19:63:32 | new Integer(...) [ : Number] | A.java:22:9:22:9 | o | $@ | A.java:22:9:22:9 | o | o |
| A.java:64:20:64:33 | new Integer(...) [ : Number] | A.java:64:20:64:33 | new Integer(...) [ : Number] | A.java:28:9:28:9 | o | $@ | A.java:28:9:28:9 | o | o |
| A.java:65:24:65:37 | new Integer(...) [ : Number] | A.java:65:24:65:37 | new Integer(...) [ : Number] | A.java:40:8:40:9 | o3 | $@ | A.java:40:8:40:9 | o3 | o3 |
| A.java:66:25:66:38 | new Integer(...) [ : Number] | A.java:66:25:66:38 | new Integer(...) [ : Number] | A.java:51:8:51:9 | o3 | $@ | A.java:51:8:51:9 | o3 | o3 |
| A.java:67:25:67:38 | new Integer(...) [ : Number] | A.java:67:25:67:38 | new Integer(...) [ : Number] | A.java:51:8:51:9 | o3 | $@ | A.java:51:8:51:9 | o3 | o3 |
| A.java:68:25:68:38 | new Integer(...) [ : Number] | A.java:68:25:68:38 | new Integer(...) [ : Number] | A.java:51:8:51:9 | o3 | $@ | A.java:51:8:51:9 | o3 | o3 |
| A.java:69:20:69:33 | new Integer(...) [ : Number] | A.java:69:20:69:33 | new Integer(...) [ : Number] | A.java:69:8:69:40 | flowThrough(...) | $@ | A.java:69:8:69:40 | flowThrough(...) | flowThrough(...) |
| A.java:71:25:71:38 | new Integer(...) [ : Number] | A.java:71:25:71:38 | new Integer(...) [ : Number] | A.java:51:8:51:9 | o3 | $@ | A.java:51:8:51:9 | o3 | o3 |
| A.java:84:18:84:31 | new Integer(...) [ : Number] | A.java:84:18:84:31 | new Integer(...) [ : Number] | A.java:16:9:16:9 | o | $@ | A.java:16:9:16:9 | o | o |
| A.java:85:19:85:32 | new Integer(...) [ : Number] | A.java:85:19:85:32 | new Integer(...) [ : Number] | A.java:22:9:22:9 | o | $@ | A.java:22:9:22:9 | o | o |
| A.java:86:20:86:33 | new Integer(...) [ : Number] | A.java:86:20:86:33 | new Integer(...) [ : Number] | A.java:28:9:28:9 | o | $@ | A.java:28:9:28:9 | o | o |
| A.java:87:24:87:37 | new Integer(...) [ : Number] | A.java:87:24:87:37 | new Integer(...) [ : Number] | A.java:40:8:40:9 | o3 | $@ | A.java:40:8:40:9 | o3 | o3 |
| A.java:88:20:88:33 | new Integer(...) [ : Number] | A.java:88:20:88:33 | new Integer(...) [ : Number] | A.java:88:8:88:37 | flowThrough(...) | $@ | A.java:88:8:88:37 | flowThrough(...) | flowThrough(...) |
| A.java:99:20:99:33 | new Integer(...) [ : Number] | A.java:99:20:99:33 | new Integer(...) [ : Number] | A.java:108:10:108:10 | o | $@ | A.java:108:10:108:10 | o | o |
| A.java:100:21:100:34 | new Integer(...) [ : Number] | A.java:100:21:100:34 | new Integer(...) [ : Number] | A.java:115:10:115:10 | o | $@ | A.java:115:10:115:10 | o | o |
| A.java:101:26:101:39 | new Integer(...) [ : Number] | A.java:101:26:101:39 | new Integer(...) [ : Number] | A.java:128:9:128:10 | o3 | $@ | A.java:128:9:128:10 | o3 | o3 |
| A2.java:15:15:15:28 | new Integer(...) : Number | A2.java:15:15:15:28 | new Integer(...) : Number | A2.java:29:9:29:9 | o | $@ | A2.java:29:9:29:9 | o | o |
| A.java:62:18:62:31 | new Integer(...) : Number | A.java:62:18:62:31 | new Integer(...) : Number | A.java:16:9:16:9 | o | $@ | A.java:16:9:16:9 | o | o |
| A.java:63:19:63:32 | new Integer(...) : Number | A.java:63:19:63:32 | new Integer(...) : Number | A.java:22:9:22:9 | o | $@ | A.java:22:9:22:9 | o | o |
| A.java:64:20:64:33 | new Integer(...) : Number | A.java:64:20:64:33 | new Integer(...) : Number | A.java:28:9:28:9 | o | $@ | A.java:28:9:28:9 | o | o |
| A.java:65:24:65:37 | new Integer(...) : Number | A.java:65:24:65:37 | new Integer(...) : Number | A.java:40:8:40:9 | o3 | $@ | A.java:40:8:40:9 | o3 | o3 |
| A.java:66:25:66:38 | new Integer(...) : Number | A.java:66:25:66:38 | new Integer(...) : Number | A.java:51:8:51:9 | o3 | $@ | A.java:51:8:51:9 | o3 | o3 |
| A.java:67:25:67:38 | new Integer(...) : Number | A.java:67:25:67:38 | new Integer(...) : Number | A.java:51:8:51:9 | o3 | $@ | A.java:51:8:51:9 | o3 | o3 |
| A.java:68:25:68:38 | new Integer(...) : Number | A.java:68:25:68:38 | new Integer(...) : Number | A.java:51:8:51:9 | o3 | $@ | A.java:51:8:51:9 | o3 | o3 |
| A.java:69:20:69:33 | new Integer(...) : Number | A.java:69:20:69:33 | new Integer(...) : Number | A.java:69:8:69:40 | flowThrough(...) | $@ | A.java:69:8:69:40 | flowThrough(...) | flowThrough(...) |
| A.java:71:25:71:38 | new Integer(...) : Number | A.java:71:25:71:38 | new Integer(...) : Number | A.java:51:8:51:9 | o3 | $@ | A.java:51:8:51:9 | o3 | o3 |
| A.java:84:18:84:31 | new Integer(...) : Number | A.java:84:18:84:31 | new Integer(...) : Number | A.java:16:9:16:9 | o | $@ | A.java:16:9:16:9 | o | o |
| A.java:85:19:85:32 | new Integer(...) : Number | A.java:85:19:85:32 | new Integer(...) : Number | A.java:22:9:22:9 | o | $@ | A.java:22:9:22:9 | o | o |
| A.java:86:20:86:33 | new Integer(...) : Number | A.java:86:20:86:33 | new Integer(...) : Number | A.java:28:9:28:9 | o | $@ | A.java:28:9:28:9 | o | o |
| A.java:87:24:87:37 | new Integer(...) : Number | A.java:87:24:87:37 | new Integer(...) : Number | A.java:40:8:40:9 | o3 | $@ | A.java:40:8:40:9 | o3 | o3 |
| A.java:88:20:88:33 | new Integer(...) : Number | A.java:88:20:88:33 | new Integer(...) : Number | A.java:88:8:88:37 | flowThrough(...) | $@ | A.java:88:8:88:37 | flowThrough(...) | flowThrough(...) |
| A.java:99:20:99:33 | new Integer(...) : Number | A.java:99:20:99:33 | new Integer(...) : Number | A.java:108:10:108:10 | o | $@ | A.java:108:10:108:10 | o | o |
| A.java:100:21:100:34 | new Integer(...) : Number | A.java:100:21:100:34 | new Integer(...) : Number | A.java:115:10:115:10 | o | $@ | A.java:115:10:115:10 | o | o |
| A.java:101:26:101:39 | new Integer(...) : Number | A.java:101:26:101:39 | new Integer(...) : Number | A.java:128:9:128:10 | o3 | $@ | A.java:128:9:128:10 | o3 | o3 |

8
java/ql/test/library-tests/dataflow/call-sensitivity/log/javac-errors.log
View File

@@ -1,8 +0,0 @@
[2019-09-30 16:01:44] [ERROR] Exception running the extractor with arguments: --javacOptions -source 8 --strict-javac-errors --encoding UTF-8 --files A.java A2.java InterfaceA.java
[2019-09-30 16:01:44] [ERROR] Exception:
com.semmle.util.exception.ResourceError: Neither TRAP_FOLDER nor ODASA_JAVA_LAYOUT was set
at com.semmle.extractor.java.OdasaOutput.<init>(OdasaOutput.java:95)
at com.semmle.extractor.java.JavaExtractor.createOutput(JavaExtractor.java:443)
at com.semmle.extractor.java.JavaExtractor.runExtractor(JavaExtractor.java:234)
at com.semmle.extractor.java.JavaExtractor.runExtractor(JavaExtractor.java:222)
at com.semmle.extractor.java.JavaExtractor.main(JavaExtractor.java:475)

3
java/ql/test/library-tests/dataflow/call-sensitivity/log/javac-extractor-6836.log
View File

@@ -1,3 +0,0 @@
[2019-09-30 16:01:44] [javac-extractor-6836] Starting extraction for:
sun.java.command=com.semmle.extractor.java.JavaExtractor --javacOptions -source 8 --strict-javac-errors --encoding UTF-8 --files A.java A2.java InterfaceA.java
user.dir=/home/corni/build/ql/java/ql/test/library-tests/dataflow/call-sensitivity

8
java/ql/test/library-tests/dataflow/call-sensitivity/log/log.log
View File

@@ -1,8 +0,0 @@
[2019-09-30 16:01:44] [ERROR] Exception running the extractor with arguments: --javacOptions -source 8 --strict-javac-errors --encoding UTF-8 --files A.java A2.java InterfaceA.java
[2019-09-30 16:01:44] [ERROR] Exception:
com.semmle.util.exception.ResourceError: Neither TRAP_FOLDER nor ODASA_JAVA_LAYOUT was set
at com.semmle.extractor.java.OdasaOutput.<init>(OdasaOutput.java:95)
at com.semmle.extractor.java.JavaExtractor.createOutput(JavaExtractor.java:443)
at com.semmle.extractor.java.JavaExtractor.runExtractor(JavaExtractor.java:234)
at com.semmle.extractor.java.JavaExtractor.runExtractor(JavaExtractor.java:222)
at com.semmle.extractor.java.JavaExtractor.main(JavaExtractor.java:475)