mirror of
https://github.com/github/codeql.git
synced 2025-12-20 18:56:32 +01:00
20b97af02f
Strategy: there is now a regular flow step from an instance-of LHS / switch expr to the pattern, 0 or more read steps corresponding to record pattern destructors, and then finally a normal SSA def/use step connecting the binding patterns to their first uses.
18 lines
1.2 KiB
Plaintext
18 lines
1.2 KiB
Plaintext
| GuardTest.java:6:27:6:34 | o | GuardTest.java:11:14:11:14 | s |
|
|
| RecordTest.java:12:34:12:36 | "A" | RecordTest.java:16:14:16:18 | field |
|
|
| RecordTest.java:12:34:12:36 | "A" | RecordTest.java:26:44:26:48 | field |
|
|
| RecordTest.java:12:34:12:36 | "A" | RecordTest.java:33:20:33:24 | field |
|
|
| RecordTest.java:12:34:12:36 | "A" | RecordTest.java:41:44:41:48 | field |
|
|
| RecordTest.java:12:59:12:61 | "B" | RecordTest.java:19:14:19:18 | field |
|
|
| RecordTest.java:12:59:12:61 | "B" | RecordTest.java:27:44:27:48 | field |
|
|
| RecordTest.java:12:59:12:61 | "B" | RecordTest.java:35:20:35:24 | field |
|
|
| RecordTest.java:12:59:12:61 | "B" | RecordTest.java:42:44:42:48 | field |
|
|
| Test.java:11:23:11:25 | "A" | Test.java:15:14:15:20 | get(...) |
|
|
| Test.java:11:23:11:25 | "A" | Test.java:25:24:25:30 | get(...) |
|
|
| Test.java:11:23:11:25 | "A" | Test.java:32:20:32:26 | get(...) |
|
|
| Test.java:11:23:11:25 | "A" | Test.java:40:24:40:30 | get(...) |
|
|
| Test.java:11:36:11:38 | "B" | Test.java:18:14:18:20 | get(...) |
|
|
| Test.java:11:36:11:38 | "B" | Test.java:26:24:26:30 | get(...) |
|
|
| Test.java:11:36:11:38 | "B" | Test.java:34:20:34:26 | get(...) |
|
|
| Test.java:11:36:11:38 | "B" | Test.java:41:24:41:30 | get(...) |
|