Skip to content

Commit 6f23e8d

Browse files
aschackmullaschackmull
authored
Merge pull request #17224 from aschackmull/java/inlineflow-pathgraph
Java: Add PathGraph to test output for default inline flow tests.
2 parents f0de9f9 + fb1dfd4 commit 6f23e8d

File tree

110 files changed

+95267
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

110 files changed

+95267
-0
lines changed

‎java/ql/test-kotlin1/library-tests/dataflow/summaries/test.expected

Lines changed: 242 additions & 0 deletions
Large diffs are not rendered by default.

‎java/ql/test-kotlin1/library-tests/dataflow/summaries/test.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
11
import java
22
import TestUtilities.InlineFlowTest
33
import DefaultFlowTest
4+
import TaintFlow::PathGraph

‎java/ql/test-kotlin2/library-tests/dataflow/summaries/test.expected

Lines changed: 242 additions & 0 deletions
Large diffs are not rendered by default.

‎java/ql/test-kotlin2/library-tests/dataflow/summaries/test.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
11
import java
22
import TestUtilities.InlineFlowTest
33
import DefaultFlowTest
4+
import TaintFlow::PathGraph

‎java/ql/test/ext/TestModels/test.expected

Lines changed: 438 additions & 0 deletions
Large diffs are not rendered by default.

‎java/ql/test/ext/TestModels/test.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
11
import java
22
import TestUtilities.InlineFlowTest
33
import DefaultFlowTest
4+
import TaintFlow::PathGraph

‎java/ql/test/library-tests/dataflow/callctx/test.expected

Lines changed: 114 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,114 @@
1+
models
2+
edges
3+
| A.java:9:8:9:15 | x : Object | A.java:10:11:10:11 | x : Object | provenance | |
4+
| A.java:9:8:9:15 | x : Object | A.java:10:11:10:11 | x : Object | provenance | |
5+
| A.java:10:11:10:11 | x : Object | A.java:21:14:21:21 | x : Object | provenance | |
6+
| A.java:10:11:10:11 | x : Object | A.java:34:14:34:21 | x : Object | provenance | |
7+
| A.java:13:19:13:26 | x : Object | A.java:14:11:14:11 | x : Object | provenance | |
8+
| A.java:13:19:13:26 | x : Object | A.java:14:11:14:11 | x : Object | provenance | |
9+
| A.java:13:19:13:26 | x : Object | A.java:14:11:14:11 | x : Object | provenance | |
10+
| A.java:14:11:14:11 | x : Object | A.java:21:14:21:21 | x : Object | provenance | |
11+
| A.java:14:11:14:11 | x : Object | A.java:21:14:21:21 | x : Object | provenance | |
12+
| A.java:14:11:14:11 | x : Object | A.java:34:14:34:21 | x : Object | provenance | |
13+
| A.java:14:11:14:11 | x : Object | A.java:34:14:34:21 | x : Object | provenance | |
14+
| A.java:17:19:17:26 | x : Object | A.java:18:16:18:16 | x : Object | provenance | |
15+
| A.java:17:19:17:26 | x : Object | A.java:18:16:18:16 | x : Object | provenance | |
16+
| A.java:17:19:17:26 | x : Object | A.java:18:16:18:16 | x : Object | provenance | |
17+
| A.java:18:16:18:16 | x : Object | A.java:21:14:21:21 | x : Object | provenance | |
18+
| A.java:18:16:18:16 | x : Object | A.java:21:14:21:21 | x : Object | provenance | |
19+
| A.java:18:16:18:16 | x : Object | A.java:34:14:34:21 | x : Object | provenance | |
20+
| A.java:18:16:18:16 | x : Object | A.java:34:14:34:21 | x : Object | provenance | |
21+
| A.java:21:14:21:21 | x : Object | A.java:23:12:23:13 | c1 | provenance | |
22+
| A.java:30:8:30:15 | x : Object | A.java:31:13:31:13 | x : Object | provenance | |
23+
| A.java:31:13:31:13 | x : Object | A.java:9:8:9:15 | x : Object | provenance | |
24+
| A.java:34:14:34:21 | x : Object | A.java:36:12:36:13 | c2 | provenance | |
25+
| A.java:40:16:40:26 | source(...) : Object | A.java:17:19:17:26 | x : Object | provenance | |
26+
| A.java:44:31:44:38 | x : Object | A.java:45:12:45:12 | x : Object | provenance | |
27+
| A.java:44:31:44:38 | x : Object | A.java:45:12:45:12 | x : Object | provenance | |
28+
| A.java:44:31:44:38 | x : Object | A.java:45:12:45:12 | x : Object | provenance | |
29+
| A.java:45:12:45:12 | x : Object | A.java:21:14:21:21 | x : Object | provenance | |
30+
| A.java:45:12:45:12 | x : Object | A.java:21:14:21:21 | x : Object | provenance | |
31+
| A.java:45:12:45:12 | x : Object | A.java:34:14:34:21 | x : Object | provenance | |
32+
| A.java:45:12:45:12 | x : Object | A.java:34:14:34:21 | x : Object | provenance | |
33+
| A.java:49:16:49:28 | source(...) : Object | A.java:13:19:13:26 | x : Object | provenance | |
34+
| A.java:50:16:50:28 | source(...) : Object | A.java:17:19:17:26 | x : Object | provenance | |
35+
| A.java:51:17:51:29 | source(...) : Object | A.java:44:31:44:38 | x : Object | provenance | |
36+
| A.java:53:12:53:23 | source(...) : Object | A.java:9:8:9:15 | x : Object | provenance | |
37+
| A.java:54:23:54:36 | source(...) : Object | A.java:13:19:13:26 | x : Object | provenance | |
38+
| A.java:55:23:55:36 | source(...) : Object | A.java:17:19:17:26 | x : Object | provenance | |
39+
| A.java:56:24:56:37 | source(...) : Object | A.java:44:31:44:38 | x : Object | provenance | |
40+
| A.java:58:12:58:23 | source(...) : Object | A.java:30:8:30:15 | x : Object | provenance | |
41+
| A.java:59:23:59:36 | source(...) : Object | A.java:13:19:13:26 | x : Object | provenance | |
42+
| A.java:60:23:60:36 | source(...) : Object | A.java:17:19:17:26 | x : Object | provenance | |
43+
| A.java:61:24:61:37 | source(...) : Object | A.java:44:31:44:38 | x : Object | provenance | |
44+
| A.java:65:15:65:22 | x : Object | A.java:66:11:66:11 | x : Object | provenance | |
45+
| A.java:65:15:65:22 | x : Object | A.java:66:11:66:11 | x : Object | provenance | |
46+
| A.java:66:11:66:11 | x : Object | A.java:69:14:69:21 | x : Object | provenance | |
47+
| A.java:66:11:66:11 | x : Object | A.java:75:14:75:21 | x : Object | provenance | |
48+
| A.java:66:11:66:11 | x : Object | A.java:75:14:75:21 | x : Object | provenance | |
49+
| A.java:66:11:66:11 | x : Object | A.java:81:14:81:21 | x : Object | provenance | |
50+
| A.java:66:11:66:11 | x : Object | A.java:81:14:81:21 | x : Object | provenance | |
51+
| A.java:66:11:66:11 | x : Object | A.java:87:14:87:21 | x : Object | provenance | |
52+
| A.java:69:14:69:21 | x : Object | A.java:70:12:70:12 | x | provenance | |
53+
| A.java:75:14:75:21 | x : Object | A.java:76:12:76:12 | x | provenance | |
54+
| A.java:81:14:81:21 | x : Object | A.java:82:12:82:12 | x | provenance | |
55+
| A.java:87:14:87:21 | x : Object | A.java:88:12:88:12 | x | provenance | |
56+
| A.java:93:12:93:22 | source(...) : Object | A.java:65:15:65:22 | x : Object | provenance | |
57+
| A.java:96:14:96:26 | source(...) : Object | A.java:65:15:65:22 | x : Object | provenance | |
58+
nodes
59+
| A.java:9:8:9:15 | x : Object | semmle.label | x : Object |
60+
| A.java:9:8:9:15 | x : Object | semmle.label | x : Object |
61+
| A.java:10:11:10:11 | x : Object | semmle.label | x : Object |
62+
| A.java:10:11:10:11 | x : Object | semmle.label | x : Object |
63+
| A.java:13:19:13:26 | x : Object | semmle.label | x : Object |
64+
| A.java:13:19:13:26 | x : Object | semmle.label | x : Object |
65+
| A.java:13:19:13:26 | x : Object | semmle.label | x : Object |
66+
| A.java:14:11:14:11 | x : Object | semmle.label | x : Object |
67+
| A.java:14:11:14:11 | x : Object | semmle.label | x : Object |
68+
| A.java:14:11:14:11 | x : Object | semmle.label | x : Object |
69+
| A.java:17:19:17:26 | x : Object | semmle.label | x : Object |
70+
| A.java:17:19:17:26 | x : Object | semmle.label | x : Object |
71+
| A.java:17:19:17:26 | x : Object | semmle.label | x : Object |
72+
| A.java:18:16:18:16 | x : Object | semmle.label | x : Object |
73+
| A.java:18:16:18:16 | x : Object | semmle.label | x : Object |
74+
| A.java:18:16:18:16 | x : Object | semmle.label | x : Object |
75+
| A.java:21:14:21:21 | x : Object | semmle.label | x : Object |
76+
| A.java:23:12:23:13 | c1 | semmle.label | c1 |
77+
| A.java:30:8:30:15 | x : Object | semmle.label | x : Object |
78+
| A.java:31:13:31:13 | x : Object | semmle.label | x : Object |
79+
| A.java:34:14:34:21 | x : Object | semmle.label | x : Object |
80+
| A.java:36:12:36:13 | c2 | semmle.label | c2 |
81+
| A.java:40:16:40:26 | source(...) : Object | semmle.label | source(...) : Object |
82+
| A.java:44:31:44:38 | x : Object | semmle.label | x : Object |
83+
| A.java:44:31:44:38 | x : Object | semmle.label | x : Object |
84+
| A.java:44:31:44:38 | x : Object | semmle.label | x : Object |
85+
| A.java:45:12:45:12 | x : Object | semmle.label | x : Object |
86+
| A.java:45:12:45:12 | x : Object | semmle.label | x : Object |
87+
| A.java:45:12:45:12 | x : Object | semmle.label | x : Object |
88+
| A.java:49:16:49:28 | source(...) : Object | semmle.label | source(...) : Object |
89+
| A.java:50:16:50:28 | source(...) : Object | semmle.label | source(...) : Object |
90+
| A.java:51:17:51:29 | source(...) : Object | semmle.label | source(...) : Object |
91+
| A.java:53:12:53:23 | source(...) : Object | semmle.label | source(...) : Object |
92+
| A.java:54:23:54:36 | source(...) : Object | semmle.label | source(...) : Object |
93+
| A.java:55:23:55:36 | source(...) : Object | semmle.label | source(...) : Object |
94+
| A.java:56:24:56:37 | source(...) : Object | semmle.label | source(...) : Object |
95+
| A.java:58:12:58:23 | source(...) : Object | semmle.label | source(...) : Object |
96+
| A.java:59:23:59:36 | source(...) : Object | semmle.label | source(...) : Object |
97+
| A.java:60:23:60:36 | source(...) : Object | semmle.label | source(...) : Object |
98+
| A.java:61:24:61:37 | source(...) : Object | semmle.label | source(...) : Object |
99+
| A.java:65:15:65:22 | x : Object | semmle.label | x : Object |
100+
| A.java:65:15:65:22 | x : Object | semmle.label | x : Object |
101+
| A.java:66:11:66:11 | x : Object | semmle.label | x : Object |
102+
| A.java:66:11:66:11 | x : Object | semmle.label | x : Object |
103+
| A.java:69:14:69:21 | x : Object | semmle.label | x : Object |
104+
| A.java:70:12:70:12 | x | semmle.label | x |
105+
| A.java:75:14:75:21 | x : Object | semmle.label | x : Object |
106+
| A.java:76:12:76:12 | x | semmle.label | x |
107+
| A.java:81:14:81:21 | x : Object | semmle.label | x : Object |
108+
| A.java:82:12:82:12 | x | semmle.label | x |
109+
| A.java:87:14:87:21 | x : Object | semmle.label | x : Object |
110+
| A.java:88:12:88:12 | x | semmle.label | x |
111+
| A.java:93:12:93:22 | source(...) : Object | semmle.label | source(...) : Object |
112+
| A.java:96:14:96:26 | source(...) : Object | semmle.label | source(...) : Object |
113+
subpaths
114+
testFailures

‎java/ql/test/library-tests/dataflow/callctx/test.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
11
import java
22
import TestUtilities.InlineFlowTest
33
import DefaultFlowTest
4+
import TaintFlow::PathGraph

0 commit comments

Comments
 (0)