Skip to content

Commit cacb14c

Browse files
committed
Java: Update java.net expected output.
1 parent a1ecb12 commit cacb14c

File tree

1 file changed

+39
-37
lines changed

1 file changed

+39
-37
lines changed

java/ql/test/library-tests/frameworks/jdk/java.net/test.expected

Lines changed: 39 additions & 37 deletions
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,22 @@
11
models
22
| 1 | Summary: java.net; InetAddress; true; getByName; (String); ; Argument[0]; ReturnValue; taint; ai-manual |
3-
| 2 | Summary: java.net; InetSocketAddress; true; createUnresolved; (String,int); ; Argument[0]; ReturnValue; taint; ai-manual |
4-
| 3 | Summary: java.net; InetSocketAddress; true; InetSocketAddress; (String,int); ; Argument[0]; Argument[this]; taint; ai-manual |
5-
| 4 | Summary: java.net; URI; false; URI; (String); ; Argument[0]; Argument[this]; taint; manual |
6-
| 5 | Summary: java.net; URI; false; create; ; ; Argument[0]; ReturnValue; taint; manual |
7-
| 6 | Summary: java.net; URI; false; resolve; (String); ; Argument[0]; ReturnValue; taint; ai-manual |
8-
| 7 | Summary: java.net; URI; false; resolve; (URI); ; Argument[0]; ReturnValue; taint; ai-manual |
9-
| 8 | Summary: java.net; URI; false; toASCIIString; ; ; Argument[this]; ReturnValue; taint; manual |
10-
| 9 | Summary: java.net; URI; false; toString; ; ; Argument[this]; ReturnValue; taint; manual |
11-
| 10 | Summary: java.net; URI; false; toURL; ; ; Argument[this]; ReturnValue; taint; manual |
12-
| 11 | Summary: java.net; URL; false; getPath; (); ; Argument[this].SyntheticField[java.net.URL.path]; ReturnValue; taint; ai-manual |
13-
| 12 | Summary: java.net; URL; false; URL; (String); ; Argument[0]; Argument[this]; taint; manual |
14-
| 13 | Summary: java.net; URL; false; URL; (URL,String); ; Argument[0]; Argument[this]; taint; ai-manual |
15-
| 14 | Summary: java.net; URL; false; URL; (URL,String); ; Argument[1]; Argument[this]; taint; ai-manual |
16-
| 15 | Summary: java.net; URL; false; toExternalForm; ; ; Argument[this]; ReturnValue; taint; manual |
17-
| 16 | Summary: java.net; URL; false; toURI; ; ; Argument[this]; ReturnValue; taint; manual |
18-
| 17 | Summary: java.net; URLDecoder; false; decode; ; ; Argument[0]; ReturnValue; taint; manual |
3+
| 2 | Summary: java.net; InetSocketAddress; true; InetSocketAddress; (String,int); ; Argument[0]; Argument[this]; taint; manual |
4+
| 3 | Summary: java.net; InetSocketAddress; true; createUnresolved; (String,int); ; Argument[0]; ReturnValue; taint; ai-manual |
5+
| 4 | Summary: java.net; InetSocketAddress; true; InetSocketAddress; (String,int); ; Argument[0]; Argument[this]; taint; ai-manual |
6+
| 5 | Summary: java.net; URI; false; URI; (String); ; Argument[0]; Argument[this]; taint; manual |
7+
| 6 | Summary: java.net; URI; false; create; ; ; Argument[0]; ReturnValue; taint; manual |
8+
| 7 | Summary: java.net; URI; false; resolve; (String); ; Argument[0]; ReturnValue; taint; ai-manual |
9+
| 8 | Summary: java.net; URI; false; resolve; (URI); ; Argument[0]; ReturnValue; taint; ai-manual |
10+
| 9 | Summary: java.net; URI; false; toASCIIString; ; ; Argument[this]; ReturnValue; taint; manual |
11+
| 10 | Summary: java.net; URI; false; toString; ; ; Argument[this]; ReturnValue; taint; manual |
12+
| 11 | Summary: java.net; URI; false; toURL; ; ; Argument[this]; ReturnValue; taint; manual |
13+
| 12 | Summary: java.net; URL; false; getPath; (); ; Argument[this].SyntheticField[java.net.URL.path]; ReturnValue; taint; ai-manual |
14+
| 13 | Summary: java.net; URL; false; URL; (String); ; Argument[0]; Argument[this]; taint; manual |
15+
| 14 | Summary: java.net; URL; false; URL; (URL,String); ; Argument[0]; Argument[this]; taint; ai-manual |
16+
| 15 | Summary: java.net; URL; false; URL; (URL,String); ; Argument[1]; Argument[this]; taint; ai-manual |
17+
| 16 | Summary: java.net; URL; false; toExternalForm; ; ; Argument[this]; ReturnValue; taint; manual |
18+
| 17 | Summary: java.net; URL; false; toURI; ; ; Argument[this]; ReturnValue; taint; manual |
19+
| 18 | Summary: java.net; URLDecoder; false; decode; ; ; Argument[0]; ReturnValue; taint; manual |
1920
edges
2021
| Test.java:24:16:24:32 | (...)... : String | Test.java:25:32:25:33 | in : String | provenance | |
2122
| Test.java:24:25:24:32 | source(...) : Object | Test.java:24:16:24:32 | (...)... : String | provenance | |
@@ -24,81 +25,82 @@ edges
2425
| Test.java:31:16:31:32 | (...)... : String | Test.java:32:32:32:33 | in : String | provenance | |
2526
| Test.java:31:25:31:32 | source(...) : Object | Test.java:31:16:31:32 | (...)... : String | provenance | |
2627
| Test.java:32:10:32:37 | new InetSocketAddress(...) : InetSocketAddress | Test.java:33:9:33:11 | out | provenance | |
27-
| Test.java:32:32:32:33 | in : String | Test.java:32:10:32:37 | new InetSocketAddress(...) : InetSocketAddress | provenance | MaD:3 |
28+
| Test.java:32:32:32:33 | in : String | Test.java:32:10:32:37 | new InetSocketAddress(...) : InetSocketAddress | provenance | MaD:2 |
29+
| Test.java:32:32:32:33 | in : String | Test.java:32:10:32:37 | new InetSocketAddress(...) : InetSocketAddress | provenance | MaD:4 |
2830
| Test.java:38:16:38:32 | (...)... : String | Test.java:39:45:39:46 | in : String | provenance | |
2931
| Test.java:38:25:38:32 | source(...) : Object | Test.java:38:16:38:32 | (...)... : String | provenance | |
3032
| Test.java:39:10:39:50 | createUnresolved(...) : InetSocketAddress | Test.java:40:9:40:11 | out | provenance | |
31-
| Test.java:39:45:39:46 | in : String | Test.java:39:10:39:50 | createUnresolved(...) : InetSocketAddress | provenance | MaD:2 |
33+
| Test.java:39:45:39:46 | in : String | Test.java:39:10:39:50 | createUnresolved(...) : InetSocketAddress | provenance | MaD:3 |
3234
| Test.java:45:16:45:32 | (...)... : String | Test.java:46:18:46:19 | in : String | provenance | |
3335
| Test.java:45:25:45:32 | source(...) : Object | Test.java:45:16:45:32 | (...)... : String | provenance | |
3436
| Test.java:46:10:46:20 | new URI(...) : URI | Test.java:47:9:47:11 | out | provenance | |
35-
| Test.java:46:18:46:19 | in : String | Test.java:46:10:46:20 | new URI(...) : URI | provenance | MaD:4 |
37+
| Test.java:46:18:46:19 | in : String | Test.java:46:10:46:20 | new URI(...) : URI | provenance | MaD:5 |
3638
| Test.java:52:16:52:32 | (...)... : String | Test.java:53:21:53:22 | in : String | provenance | |
3739
| Test.java:52:25:52:32 | source(...) : Object | Test.java:52:16:52:32 | (...)... : String | provenance | |
3840
| Test.java:53:10:53:23 | create(...) : URI | Test.java:54:9:54:11 | out | provenance | |
39-
| Test.java:53:21:53:22 | in : String | Test.java:53:10:53:23 | create(...) : URI | provenance | MaD:5 |
41+
| Test.java:53:21:53:22 | in : String | Test.java:53:10:53:23 | create(...) : URI | provenance | MaD:6 |
4042
| Test.java:59:16:59:32 | (...)... : String | Test.java:61:27:61:28 | in : String | provenance | |
4143
| Test.java:59:25:59:32 | source(...) : Object | Test.java:59:16:59:32 | (...)... : String | provenance | |
4244
| Test.java:61:10:61:29 | resolve(...) : URI | Test.java:62:9:62:11 | out | provenance | |
43-
| Test.java:61:27:61:28 | in : String | Test.java:61:10:61:29 | resolve(...) : URI | provenance | MaD:6 |
45+
| Test.java:61:27:61:28 | in : String | Test.java:61:10:61:29 | resolve(...) : URI | provenance | MaD:7 |
4446
| Test.java:67:13:67:26 | (...)... : URI | Test.java:69:27:69:28 | in : URI | provenance | |
4547
| Test.java:67:19:67:26 | source(...) : Object | Test.java:67:13:67:26 | (...)... : URI | provenance | |
4648
| Test.java:69:10:69:29 | resolve(...) : URI | Test.java:70:9:70:11 | out | provenance | |
47-
| Test.java:69:27:69:28 | in : URI | Test.java:69:10:69:29 | resolve(...) : URI | provenance | MaD:7 |
49+
| Test.java:69:27:69:28 | in : URI | Test.java:69:10:69:29 | resolve(...) : URI | provenance | MaD:8 |
4850
| Test.java:75:13:75:26 | (...)... : URI | Test.java:76:10:76:11 | in : URI | provenance | |
4951
| Test.java:75:19:75:26 | source(...) : Object | Test.java:75:13:75:26 | (...)... : URI | provenance | |
50-
| Test.java:76:10:76:11 | in : URI | Test.java:76:10:76:27 | toASCIIString(...) : String | provenance | MaD:8 |
52+
| Test.java:76:10:76:11 | in : URI | Test.java:76:10:76:27 | toASCIIString(...) : String | provenance | MaD:9 |
5153
| Test.java:76:10:76:27 | toASCIIString(...) : String | Test.java:77:9:77:11 | out | provenance | |
5254
| Test.java:82:13:82:26 | (...)... : URI | Test.java:83:10:83:11 | in : URI | provenance | |
5355
| Test.java:82:19:82:26 | source(...) : Object | Test.java:82:13:82:26 | (...)... : URI | provenance | |
54-
| Test.java:83:10:83:11 | in : URI | Test.java:83:10:83:22 | toString(...) : String | provenance | MaD:9 |
56+
| Test.java:83:10:83:11 | in : URI | Test.java:83:10:83:22 | toString(...) : String | provenance | MaD:10 |
5557
| Test.java:83:10:83:22 | toString(...) : String | Test.java:84:9:84:11 | out | provenance | |
5658
| Test.java:89:13:89:26 | (...)... : URI | Test.java:90:10:90:11 | in : URI | provenance | |
5759
| Test.java:89:19:89:26 | source(...) : Object | Test.java:89:13:89:26 | (...)... : URI | provenance | |
58-
| Test.java:90:10:90:11 | in : URI | Test.java:90:10:90:19 | toURL(...) : URL | provenance | MaD:10 |
60+
| Test.java:90:10:90:11 | in : URI | Test.java:90:10:90:19 | toURL(...) : URL | provenance | MaD:11 |
5961
| Test.java:90:10:90:19 | toURL(...) : URL | Test.java:91:9:91:11 | out | provenance | |
6062
| Test.java:97:13:97:26 | (...)... : URI | Test.java:98:10:98:11 | in : URI | provenance | |
6163
| Test.java:97:19:97:26 | source(...) : Object | Test.java:97:13:97:26 | (...)... : URI | provenance | |
62-
| Test.java:98:10:98:11 | in : URI | Test.java:98:10:98:19 | toURL(...) : URL | provenance | MaD:10 |
64+
| Test.java:98:10:98:11 | in : URI | Test.java:98:10:98:19 | toURL(...) : URL | provenance | MaD:11 |
6365
| Test.java:98:10:98:19 | toURL(...) : URL | Test.java:99:9:99:11 | out : URL | provenance | |
64-
| Test.java:99:9:99:11 | out : URL | Test.java:99:9:99:21 | getPath(...) | provenance | MaD:11 |
66+
| Test.java:99:9:99:11 | out : URL | Test.java:99:9:99:21 | getPath(...) | provenance | MaD:12 |
6567
| Test.java:104:16:104:32 | (...)... : String | Test.java:105:18:105:19 | in : String | provenance | |
6668
| Test.java:104:25:104:32 | source(...) : Object | Test.java:104:16:104:32 | (...)... : String | provenance | |
6769
| Test.java:105:10:105:20 | new URL(...) : URL | Test.java:106:9:106:11 | out | provenance | |
68-
| Test.java:105:18:105:19 | in : String | Test.java:105:10:105:20 | new URL(...) : URL | provenance | MaD:12 |
70+
| Test.java:105:18:105:19 | in : String | Test.java:105:10:105:20 | new URL(...) : URL | provenance | MaD:13 |
6971
| Test.java:112:16:112:32 | (...)... : String | Test.java:113:18:113:19 | in : String | provenance | |
7072
| Test.java:112:25:112:32 | source(...) : Object | Test.java:112:16:112:32 | (...)... : String | provenance | |
7173
| Test.java:113:10:113:20 | new URL(...) : URL | Test.java:114:9:114:11 | out : URL | provenance | |
72-
| Test.java:113:18:113:19 | in : String | Test.java:113:10:113:20 | new URL(...) : URL | provenance | MaD:12 |
73-
| Test.java:114:9:114:11 | out : URL | Test.java:114:9:114:21 | getPath(...) | provenance | MaD:11 |
74+
| Test.java:113:18:113:19 | in : String | Test.java:113:10:113:20 | new URL(...) : URL | provenance | MaD:13 |
75+
| Test.java:114:9:114:11 | out : URL | Test.java:114:9:114:21 | getPath(...) | provenance | MaD:12 |
7476
| Test.java:119:13:119:26 | (...)... : URL | Test.java:120:18:120:19 | in : URL | provenance | |
7577
| Test.java:119:19:119:26 | source(...) : Object | Test.java:119:13:119:26 | (...)... : URL | provenance | |
7678
| Test.java:120:10:120:26 | new URL(...) : URL | Test.java:121:9:121:11 | out | provenance | |
77-
| Test.java:120:18:120:19 | in : URL | Test.java:120:10:120:26 | new URL(...) : URL | provenance | MaD:13 |
79+
| Test.java:120:18:120:19 | in : URL | Test.java:120:10:120:26 | new URL(...) : URL | provenance | MaD:14 |
7880
| Test.java:126:16:126:32 | (...)... : String | Test.java:127:24:127:25 | in : String | provenance | |
7981
| Test.java:126:25:126:32 | source(...) : Object | Test.java:126:16:126:32 | (...)... : String | provenance | |
8082
| Test.java:127:10:127:26 | new URL(...) : URL | Test.java:128:9:128:11 | out | provenance | |
81-
| Test.java:127:24:127:25 | in : String | Test.java:127:10:127:26 | new URL(...) : URL | provenance | MaD:14 |
83+
| Test.java:127:24:127:25 | in : String | Test.java:127:10:127:26 | new URL(...) : URL | provenance | MaD:15 |
8284
| Test.java:133:13:133:26 | (...)... : URL | Test.java:134:10:134:11 | in : URL | provenance | |
8385
| Test.java:133:19:133:26 | source(...) : Object | Test.java:133:13:133:26 | (...)... : URL | provenance | |
84-
| Test.java:134:10:134:11 | in : URL | Test.java:134:10:134:28 | toExternalForm(...) : String | provenance | MaD:15 |
86+
| Test.java:134:10:134:11 | in : URL | Test.java:134:10:134:28 | toExternalForm(...) : String | provenance | MaD:16 |
8587
| Test.java:134:10:134:28 | toExternalForm(...) : String | Test.java:135:9:135:11 | out | provenance | |
8688
| Test.java:140:13:140:26 | (...)... : URL | Test.java:141:10:141:11 | in : URL | provenance | |
8789
| Test.java:140:19:140:26 | source(...) : Object | Test.java:140:13:140:26 | (...)... : URL | provenance | |
88-
| Test.java:141:10:141:11 | in : URL | Test.java:141:10:141:19 | toURI(...) : URI | provenance | MaD:16 |
90+
| Test.java:141:10:141:11 | in : URL | Test.java:141:10:141:19 | toURI(...) : URI | provenance | MaD:17 |
8991
| Test.java:141:10:141:19 | toURI(...) : URI | Test.java:142:9:142:11 | out | provenance | |
9092
| Test.java:147:16:147:32 | (...)... : String | Test.java:148:28:148:29 | in : String | provenance | |
9193
| Test.java:147:25:147:32 | source(...) : Object | Test.java:147:16:147:32 | (...)... : String | provenance | |
9294
| Test.java:148:10:148:30 | decode(...) : String | Test.java:149:9:149:11 | out | provenance | |
93-
| Test.java:148:28:148:29 | in : String | Test.java:148:10:148:30 | decode(...) : String | provenance | MaD:17 |
95+
| Test.java:148:28:148:29 | in : String | Test.java:148:10:148:30 | decode(...) : String | provenance | MaD:18 |
9496
| Test.java:154:16:154:32 | (...)... : String | Test.java:155:28:155:29 | in : String | provenance | |
9597
| Test.java:154:25:154:32 | source(...) : Object | Test.java:154:16:154:32 | (...)... : String | provenance | |
9698
| Test.java:155:10:155:46 | decode(...) : String | Test.java:156:9:156:11 | out | provenance | |
97-
| Test.java:155:28:155:29 | in : String | Test.java:155:10:155:46 | decode(...) : String | provenance | MaD:17 |
99+
| Test.java:155:28:155:29 | in : String | Test.java:155:10:155:46 | decode(...) : String | provenance | MaD:18 |
98100
| Test.java:161:16:161:32 | (...)... : String | Test.java:162:28:162:29 | in : String | provenance | |
99101
| Test.java:161:25:161:32 | source(...) : Object | Test.java:161:16:161:32 | (...)... : String | provenance | |
100102
| Test.java:162:10:162:45 | decode(...) : String | Test.java:163:9:163:11 | out | provenance | |
101-
| Test.java:162:28:162:29 | in : String | Test.java:162:10:162:45 | decode(...) : String | provenance | MaD:17 |
103+
| Test.java:162:28:162:29 | in : String | Test.java:162:10:162:45 | decode(...) : String | provenance | MaD:18 |
102104
nodes
103105
| Test.java:24:16:24:32 | (...)... : String | semmle.label | (...)... : String |
104106
| Test.java:24:25:24:32 | source(...) : Object | semmle.label | source(...) : Object |

0 commit comments

Comments
 (0)