Files
codeql/java/ql/test/library-tests/frameworks/jdk/java.nio.file/test.expected
2024-11-04 12:07:06 +01:00

147 lines
12 KiB
Plaintext

models
| 1 | Summary: java.nio.file; FileSystem; true; getPath; (String,String[]); ; Argument[0]; ReturnValue; taint; manual |
| 2 | Summary: java.nio.file; Path; false; toFile; ; ; Argument[this]; ReturnValue; taint; manual |
| 3 | Summary: java.nio.file; Path; true; getParent; ; ; Argument[this]; ReturnValue; taint; manual |
| 4 | Summary: java.nio.file; Path; true; normalize; ; ; Argument[this]; ReturnValue; taint; manual |
| 5 | Summary: java.nio.file; Path; true; resolve; ; ; Argument[0]; ReturnValue; taint; manual |
| 6 | Summary: java.nio.file; Path; true; resolve; ; ; Argument[this]; ReturnValue; taint; manual |
| 7 | Summary: java.nio.file; Path; true; toAbsolutePath; ; ; Argument[this]; ReturnValue; taint; manual |
| 8 | Summary: java.nio.file; Path; true; toString; ; ; Argument[this]; ReturnValue; taint; manual |
| 9 | Summary: java.nio.file; Path; true; toUri; ; ; Argument[this]; ReturnValue; taint; manual |
| 10 | Summary: java.nio.file; Paths; true; get; ; ; Argument[0]; ReturnValue; taint; manual |
| 11 | Summary: java.nio.file; Paths; true; get; ; ; Argument[1].ArrayElement; ReturnValue; taint; manual |
edges
| Test.java:23:16:23:32 | (...)... : String | Test.java:25:27:25:28 | in : String | provenance | |
| Test.java:23:25:23:32 | source(...) : Object | Test.java:23:16:23:32 | (...)... : String | provenance | |
| Test.java:25:10:25:46 | getPath(...) : Path | Test.java:26:9:26:11 | out | provenance | |
| Test.java:25:27:25:28 | in : String | Test.java:25:10:25:46 | getPath(...) : Path | provenance | MaD:1 |
| Test.java:31:14:31:28 | (...)... : Path | Test.java:32:10:32:11 | in : Path | provenance | |
| Test.java:31:21:31:28 | source(...) : Object | Test.java:31:14:31:28 | (...)... : Path | provenance | |
| Test.java:32:10:32:11 | in : Path | Test.java:32:10:32:20 | toFile(...) : File | provenance | MaD:2 |
| Test.java:32:10:32:20 | toFile(...) : File | Test.java:33:9:33:11 | out | provenance | |
| Test.java:38:14:38:28 | (...)... : Path | Test.java:39:10:39:11 | in : Path | provenance | |
| Test.java:38:21:38:28 | source(...) : Object | Test.java:38:14:38:28 | (...)... : Path | provenance | |
| Test.java:39:10:39:11 | in : Path | Test.java:39:10:39:23 | getParent(...) : Path | provenance | MaD:3 |
| Test.java:39:10:39:23 | getParent(...) : Path | Test.java:40:9:40:11 | out | provenance | |
| Test.java:45:14:45:28 | (...)... : Path | Test.java:46:10:46:11 | in : Path | provenance | |
| Test.java:45:21:45:28 | source(...) : Object | Test.java:45:14:45:28 | (...)... : Path | provenance | |
| Test.java:46:10:46:11 | in : Path | Test.java:46:10:46:23 | normalize(...) : Path | provenance | MaD:4 |
| Test.java:46:10:46:23 | normalize(...) : Path | Test.java:47:9:47:11 | out | provenance | |
| Test.java:52:14:52:28 | (...)... : Path | Test.java:54:27:54:28 | in : Path | provenance | |
| Test.java:52:21:52:28 | source(...) : Object | Test.java:52:14:52:28 | (...)... : Path | provenance | |
| Test.java:54:10:54:29 | resolve(...) : Path | Test.java:55:9:55:11 | out | provenance | |
| Test.java:54:27:54:28 | in : Path | Test.java:54:10:54:29 | resolve(...) : Path | provenance | MaD:5 |
| Test.java:60:14:60:28 | (...)... : Path | Test.java:61:10:61:11 | in : Path | provenance | |
| Test.java:60:21:60:28 | source(...) : Object | Test.java:60:14:60:28 | (...)... : Path | provenance | |
| Test.java:61:10:61:11 | in : Path | Test.java:61:10:61:32 | resolve(...) : Path | provenance | MaD:6 |
| Test.java:61:10:61:32 | resolve(...) : Path | Test.java:62:9:62:11 | out | provenance | |
| Test.java:67:14:67:28 | (...)... : Path | Test.java:68:10:68:11 | in : Path | provenance | |
| Test.java:67:21:67:28 | source(...) : Object | Test.java:67:14:67:28 | (...)... : Path | provenance | |
| Test.java:68:10:68:11 | in : Path | Test.java:68:10:68:34 | resolve(...) : Path | provenance | MaD:6 |
| Test.java:68:10:68:34 | resolve(...) : Path | Test.java:69:9:69:11 | out | provenance | |
| Test.java:74:16:74:32 | (...)... : String | Test.java:76:27:76:28 | in : String | provenance | |
| Test.java:74:25:74:32 | source(...) : Object | Test.java:74:16:74:32 | (...)... : String | provenance | |
| Test.java:76:10:76:29 | resolve(...) : Path | Test.java:77:9:77:11 | out | provenance | |
| Test.java:76:27:76:28 | in : String | Test.java:76:10:76:29 | resolve(...) : Path | provenance | MaD:5 |
| Test.java:82:14:82:28 | (...)... : Path | Test.java:83:10:83:11 | in : Path | provenance | |
| Test.java:82:21:82:28 | source(...) : Object | Test.java:82:14:82:28 | (...)... : Path | provenance | |
| Test.java:83:10:83:11 | in : Path | Test.java:83:10:83:28 | toAbsolutePath(...) : Path | provenance | MaD:7 |
| Test.java:83:10:83:28 | toAbsolutePath(...) : Path | Test.java:84:9:84:11 | out | provenance | |
| Test.java:89:14:89:28 | (...)... : Path | Test.java:90:10:90:11 | in : Path | provenance | |
| Test.java:89:21:89:28 | source(...) : Object | Test.java:89:14:89:28 | (...)... : Path | provenance | |
| Test.java:90:10:90:11 | in : Path | Test.java:90:10:90:22 | toString(...) : String | provenance | MaD:8 |
| Test.java:90:10:90:22 | toString(...) : String | Test.java:91:9:91:11 | out | provenance | |
| Test.java:96:14:96:28 | (...)... : Path | Test.java:97:10:97:11 | in : Path | provenance | |
| Test.java:96:21:96:28 | source(...) : Object | Test.java:96:14:96:28 | (...)... : Path | provenance | |
| Test.java:97:10:97:11 | in : Path | Test.java:97:10:97:19 | toUri(...) : URI | provenance | MaD:9 |
| Test.java:97:10:97:19 | toUri(...) : URI | Test.java:98:9:98:11 | out | provenance | |
| Test.java:103:16:103:32 | (...)... : String | Test.java:104:20:104:21 | in : String | provenance | |
| Test.java:103:25:103:32 | source(...) : Object | Test.java:103:16:103:32 | (...)... : String | provenance | |
| Test.java:104:10:104:39 | get(...) : Path | Test.java:105:9:105:11 | out | provenance | |
| Test.java:104:20:104:21 | in : String | Test.java:104:10:104:39 | get(...) : Path | provenance | MaD:10 |
| Test.java:110:13:110:26 | (...)... : URI | Test.java:111:20:111:21 | in : URI | provenance | |
| Test.java:110:19:110:26 | source(...) : Object | Test.java:110:13:110:26 | (...)... : URI | provenance | |
| Test.java:111:10:111:22 | get(...) : Path | Test.java:112:9:112:11 | out | provenance | |
| Test.java:111:20:111:21 | in : URI | Test.java:111:10:111:22 | get(...) : Path | provenance | MaD:10 |
| Test.java:117:18:117:60 | (...)... : String[] [[]] : String | Test.java:118:35:118:36 | in : String[] [[]] : String | provenance | |
| Test.java:117:29:117:60 | {...} : String[] [[]] : String | Test.java:117:18:117:60 | (...)... : String[] [[]] : String | provenance | |
| Test.java:117:43:117:59 | (...)... : String | Test.java:117:29:117:60 | {...} : String[] [[]] : String | provenance | |
| Test.java:117:52:117:59 | source(...) : Object | Test.java:117:43:117:59 | (...)... : String | provenance | |
| Test.java:118:10:118:37 | get(...) : Path | Test.java:119:9:119:11 | out | provenance | |
| Test.java:118:35:118:36 | in : String[] [[]] : String | Test.java:118:10:118:37 | get(...) : Path | provenance | MaD:11 |
nodes
| Test.java:23:16:23:32 | (...)... : String | semmle.label | (...)... : String |
| Test.java:23:25:23:32 | source(...) : Object | semmle.label | source(...) : Object |
| Test.java:25:10:25:46 | getPath(...) : Path | semmle.label | getPath(...) : Path |
| Test.java:25:27:25:28 | in : String | semmle.label | in : String |
| Test.java:26:9:26:11 | out | semmle.label | out |
| Test.java:31:14:31:28 | (...)... : Path | semmle.label | (...)... : Path |
| Test.java:31:21:31:28 | source(...) : Object | semmle.label | source(...) : Object |
| Test.java:32:10:32:11 | in : Path | semmle.label | in : Path |
| Test.java:32:10:32:20 | toFile(...) : File | semmle.label | toFile(...) : File |
| Test.java:33:9:33:11 | out | semmle.label | out |
| Test.java:38:14:38:28 | (...)... : Path | semmle.label | (...)... : Path |
| Test.java:38:21:38:28 | source(...) : Object | semmle.label | source(...) : Object |
| Test.java:39:10:39:11 | in : Path | semmle.label | in : Path |
| Test.java:39:10:39:23 | getParent(...) : Path | semmle.label | getParent(...) : Path |
| Test.java:40:9:40:11 | out | semmle.label | out |
| Test.java:45:14:45:28 | (...)... : Path | semmle.label | (...)... : Path |
| Test.java:45:21:45:28 | source(...) : Object | semmle.label | source(...) : Object |
| Test.java:46:10:46:11 | in : Path | semmle.label | in : Path |
| Test.java:46:10:46:23 | normalize(...) : Path | semmle.label | normalize(...) : Path |
| Test.java:47:9:47:11 | out | semmle.label | out |
| Test.java:52:14:52:28 | (...)... : Path | semmle.label | (...)... : Path |
| Test.java:52:21:52:28 | source(...) : Object | semmle.label | source(...) : Object |
| Test.java:54:10:54:29 | resolve(...) : Path | semmle.label | resolve(...) : Path |
| Test.java:54:27:54:28 | in : Path | semmle.label | in : Path |
| Test.java:55:9:55:11 | out | semmle.label | out |
| Test.java:60:14:60:28 | (...)... : Path | semmle.label | (...)... : Path |
| Test.java:60:21:60:28 | source(...) : Object | semmle.label | source(...) : Object |
| Test.java:61:10:61:11 | in : Path | semmle.label | in : Path |
| Test.java:61:10:61:32 | resolve(...) : Path | semmle.label | resolve(...) : Path |
| Test.java:62:9:62:11 | out | semmle.label | out |
| Test.java:67:14:67:28 | (...)... : Path | semmle.label | (...)... : Path |
| Test.java:67:21:67:28 | source(...) : Object | semmle.label | source(...) : Object |
| Test.java:68:10:68:11 | in : Path | semmle.label | in : Path |
| Test.java:68:10:68:34 | resolve(...) : Path | semmle.label | resolve(...) : Path |
| Test.java:69:9:69:11 | out | semmle.label | out |
| Test.java:74:16:74:32 | (...)... : String | semmle.label | (...)... : String |
| Test.java:74:25:74:32 | source(...) : Object | semmle.label | source(...) : Object |
| Test.java:76:10:76:29 | resolve(...) : Path | semmle.label | resolve(...) : Path |
| Test.java:76:27:76:28 | in : String | semmle.label | in : String |
| Test.java:77:9:77:11 | out | semmle.label | out |
| Test.java:82:14:82:28 | (...)... : Path | semmle.label | (...)... : Path |
| Test.java:82:21:82:28 | source(...) : Object | semmle.label | source(...) : Object |
| Test.java:83:10:83:11 | in : Path | semmle.label | in : Path |
| Test.java:83:10:83:28 | toAbsolutePath(...) : Path | semmle.label | toAbsolutePath(...) : Path |
| Test.java:84:9:84:11 | out | semmle.label | out |
| Test.java:89:14:89:28 | (...)... : Path | semmle.label | (...)... : Path |
| Test.java:89:21:89:28 | source(...) : Object | semmle.label | source(...) : Object |
| Test.java:90:10:90:11 | in : Path | semmle.label | in : Path |
| Test.java:90:10:90:22 | toString(...) : String | semmle.label | toString(...) : String |
| Test.java:91:9:91:11 | out | semmle.label | out |
| Test.java:96:14:96:28 | (...)... : Path | semmle.label | (...)... : Path |
| Test.java:96:21:96:28 | source(...) : Object | semmle.label | source(...) : Object |
| Test.java:97:10:97:11 | in : Path | semmle.label | in : Path |
| Test.java:97:10:97:19 | toUri(...) : URI | semmle.label | toUri(...) : URI |
| Test.java:98:9:98:11 | out | semmle.label | out |
| Test.java:103:16:103:32 | (...)... : String | semmle.label | (...)... : String |
| Test.java:103:25:103:32 | source(...) : Object | semmle.label | source(...) : Object |
| Test.java:104:10:104:39 | get(...) : Path | semmle.label | get(...) : Path |
| Test.java:104:20:104:21 | in : String | semmle.label | in : String |
| Test.java:105:9:105:11 | out | semmle.label | out |
| Test.java:110:13:110:26 | (...)... : URI | semmle.label | (...)... : URI |
| Test.java:110:19:110:26 | source(...) : Object | semmle.label | source(...) : Object |
| Test.java:111:10:111:22 | get(...) : Path | semmle.label | get(...) : Path |
| Test.java:111:20:111:21 | in : URI | semmle.label | in : URI |
| Test.java:112:9:112:11 | out | semmle.label | out |
| Test.java:117:18:117:60 | (...)... : String[] [[]] : String | semmle.label | (...)... : String[] [[]] : String |
| Test.java:117:29:117:60 | {...} : String[] [[]] : String | semmle.label | {...} : String[] [[]] : String |
| Test.java:117:43:117:59 | (...)... : String | semmle.label | (...)... : String |
| Test.java:117:52:117:59 | source(...) : Object | semmle.label | source(...) : Object |
| Test.java:118:10:118:37 | get(...) : Path | semmle.label | get(...) : Path |
| Test.java:118:35:118:36 | in : String[] [[]] : String | semmle.label | in : String[] [[]] : String |
| Test.java:119:9:119:11 | out | semmle.label | out |
subpaths
testFailures