wip

Author: hvitved

csharp/ql/test/library-tests/dataflow/reverse-flow/ReverseFlow.expected

@@ -9,8 +9,10 @@ edges
 | ReverseFlow.cs:16:17:16:24 | access to field Nested [Reverse] : A [field Field] : String | ReverseFlow.cs:16:17:16:17 | access to parameter a [Reverse] : A [field Nested, field Field] : String | provenance |  |
 | ReverseFlow.cs:17:12:17:12 | [post] access to local variable b : A [field Field] : String | ReverseFlow.cs:16:13:16:13 | access to local variable b [Reverse] : A [field Field] : String | provenance |  |
 | ReverseFlow.cs:17:12:17:12 | access to local variable b [Reverse] : A [field Field] : String | ReverseFlow.cs:16:13:16:13 | access to local variable b [Reverse] : A [field Field] : String | provenance |  |
+| ReverseFlow.cs:17:12:17:12 | access to local variable b [Reverse] : A [field Field] : String | ReverseFlow.cs:16:13:16:13 | access to local variable b [Reverse] : A [field Field] : String | provenance |  |
 | ReverseFlow.cs:20:22:20:22 | a [Reverse] : A [field Field] : String | ReverseFlow.cs:17:12:17:12 | [post] access to local variable b : A [field Field] : String | provenance |  |
 | ReverseFlow.cs:20:22:20:22 | a [Reverse] : A [field Field] : String | ReverseFlow.cs:17:12:17:12 | access to local variable b [Reverse] : A [field Field] : String | provenance |  |
+| ReverseFlow.cs:20:22:20:22 | a [Reverse] : A [field Field] : String | ReverseFlow.cs:17:12:17:12 | access to local variable b [Reverse] : A [field Field] : String | provenance |  |
 | ReverseFlow.cs:22:9:22:9 | [post] access to parameter a : A [field Field] : String | ReverseFlow.cs:20:22:20:22 | a [Reverse] : A [field Field] : String | provenance |  |
 | ReverseFlow.cs:22:19:22:35 | call to method Source<String> : String | ReverseFlow.cs:22:9:22:9 | [post] access to parameter a : A [field Field] : String | provenance |  |
 | ReverseFlow.cs:27:9:27:12 | [post] this access : A [field Nested, field Field] : String | ReverseFlow.cs:28:14:28:17 | this access : A [field Nested, field Field] : String | provenance |  |
@@ -22,8 +24,10 @@ edges
 | ReverseFlow.cs:33:17:33:27 | access to field Nested [Reverse] : A [field Field] : String | ReverseFlow.cs:33:17:33:20 | this access [Reverse] : A [field Nested, field Field] : String | provenance |  |
 | ReverseFlow.cs:34:9:34:9 | [post] access to local variable b : A [field Field] : String | ReverseFlow.cs:33:13:33:13 | access to local variable b [Reverse] : A [field Field] : String | provenance |  |
 | ReverseFlow.cs:34:9:34:9 | access to local variable b [Reverse] : A [field Field] : String | ReverseFlow.cs:33:13:33:13 | access to local variable b [Reverse] : A [field Field] : String | provenance |  |
+| ReverseFlow.cs:34:9:34:9 | access to local variable b [Reverse] : A [field Field] : String | ReverseFlow.cs:33:13:33:13 | access to local variable b [Reverse] : A [field Field] : String | provenance |  |
 | ReverseFlow.cs:37:17:37:18 | this [Reverse] : A [field Field] : String | ReverseFlow.cs:34:9:34:9 | [post] access to local variable b : A [field Field] : String | provenance |  |
 | ReverseFlow.cs:37:17:37:18 | this [Reverse] : A [field Field] : String | ReverseFlow.cs:34:9:34:9 | access to local variable b [Reverse] : A [field Field] : String | provenance |  |
+| ReverseFlow.cs:37:17:37:18 | this [Reverse] : A [field Field] : String | ReverseFlow.cs:34:9:34:9 | access to local variable b [Reverse] : A [field Field] : String | provenance |  |
 | ReverseFlow.cs:39:9:39:12 | [post] this access : A [field Field] : String | ReverseFlow.cs:37:17:37:18 | this [Reverse] : A [field Field] : String | provenance |  |
 | ReverseFlow.cs:39:22:39:38 | call to method Source<String> : String | ReverseFlow.cs:39:9:39:12 | [post] this access : A [field Field] : String | provenance |  |
 | ReverseFlow.cs:45:12:45:12 | [post] access to local variable a : A [field Field] : String | ReverseFlow.cs:46:14:46:14 | access to local variable a : A [field Field] : String | provenance |  |
@@ -33,8 +37,10 @@ edges
 | ReverseFlow.cs:52:20:52:20 | access to parameter a [Reverse] : A [field Field] : String | ReverseFlow.cs:49:22:49:22 | a [Reverse] : A [field Field] : String | provenance |  |
 | ReverseFlow.cs:53:12:53:12 | [post] access to local variable b : A [field Nested, field Field] : String | ReverseFlow.cs:52:9:52:9 | [post] access to local variable b [Reverse] : A [field Nested, field Field] : String | provenance |  |
 | ReverseFlow.cs:53:12:53:12 | access to local variable b [Reverse] : A [field Nested, field Field] : String | ReverseFlow.cs:52:9:52:9 | [post] access to local variable b [Reverse] : A [field Nested, field Field] : String | provenance |  |
+| ReverseFlow.cs:53:12:53:12 | access to local variable b [Reverse] : A [field Nested, field Field] : String | ReverseFlow.cs:52:9:52:9 | [post] access to local variable b [Reverse] : A [field Nested, field Field] : String | provenance |  |
 | ReverseFlow.cs:56:22:56:22 | a [Reverse] : A [field Nested, field Field] : String | ReverseFlow.cs:53:12:53:12 | [post] access to local variable b : A [field Nested, field Field] : String | provenance |  |
 | ReverseFlow.cs:56:22:56:22 | a [Reverse] : A [field Nested, field Field] : String | ReverseFlow.cs:53:12:53:12 | access to local variable b [Reverse] : A [field Nested, field Field] : String | provenance |  |
+| ReverseFlow.cs:56:22:56:22 | a [Reverse] : A [field Nested, field Field] : String | ReverseFlow.cs:53:12:53:12 | access to local variable b [Reverse] : A [field Nested, field Field] : String | provenance |  |
 | ReverseFlow.cs:58:9:58:9 | [post] access to parameter a : A [field Nested, field Field] : String | ReverseFlow.cs:56:22:56:22 | a [Reverse] : A [field Nested, field Field] : String | provenance |  |
 | ReverseFlow.cs:58:9:58:16 | [post] access to field Nested : A [field Field] : String | ReverseFlow.cs:58:9:58:9 | [post] access to parameter a : A [field Nested, field Field] : String | provenance |  |
 | ReverseFlow.cs:58:26:58:42 | call to method Source<String> : String | ReverseFlow.cs:58:9:58:16 | [post] access to field Nested : A [field Field] : String | provenance |  |
@@ -63,6 +69,7 @@ nodes
 | ReverseFlow.cs:16:17:16:24 | access to field Nested [Reverse] : A [field Field] : String | semmle.label | access to field Nested [Reverse] : A [field Field] : String |
 | ReverseFlow.cs:17:12:17:12 | [post] access to local variable b : A [field Field] : String | semmle.label | [post] access to local variable b : A [field Field] : String |
 | ReverseFlow.cs:17:12:17:12 | access to local variable b [Reverse] : A [field Field] : String | semmle.label | access to local variable b [Reverse] : A [field Field] : String |
+| ReverseFlow.cs:17:12:17:12 | access to local variable b [Reverse] : A [field Field] : String | semmle.label | access to local variable b [Reverse] : A [field Field] : String |
 | ReverseFlow.cs:20:22:20:22 | a [Reverse] : A [field Field] : String | semmle.label | a [Reverse] : A [field Field] : String |
 | ReverseFlow.cs:22:9:22:9 | [post] access to parameter a : A [field Field] : String | semmle.label | [post] access to parameter a : A [field Field] : String |
 | ReverseFlow.cs:22:19:22:35 | call to method Source<String> : String | semmle.label | call to method Source<String> : String |
@@ -76,6 +83,7 @@ nodes
 | ReverseFlow.cs:33:17:33:27 | access to field Nested [Reverse] : A [field Field] : String | semmle.label | access to field Nested [Reverse] : A [field Field] : String |
 | ReverseFlow.cs:34:9:34:9 | [post] access to local variable b : A [field Field] : String | semmle.label | [post] access to local variable b : A [field Field] : String |
 | ReverseFlow.cs:34:9:34:9 | access to local variable b [Reverse] : A [field Field] : String | semmle.label | access to local variable b [Reverse] : A [field Field] : String |
+| ReverseFlow.cs:34:9:34:9 | access to local variable b [Reverse] : A [field Field] : String | semmle.label | access to local variable b [Reverse] : A [field Field] : String |
 | ReverseFlow.cs:37:17:37:18 | this [Reverse] : A [field Field] : String | semmle.label | this [Reverse] : A [field Field] : String |
 | ReverseFlow.cs:39:9:39:12 | [post] this access : A [field Field] : String | semmle.label | [post] this access : A [field Field] : String |
 | ReverseFlow.cs:39:22:39:38 | call to method Source<String> : String | semmle.label | call to method Source<String> : String |
@@ -87,6 +95,7 @@ nodes
 | ReverseFlow.cs:52:20:52:20 | access to parameter a [Reverse] : A [field Field] : String | semmle.label | access to parameter a [Reverse] : A [field Field] : String |
 | ReverseFlow.cs:53:12:53:12 | [post] access to local variable b : A [field Nested, field Field] : String | semmle.label | [post] access to local variable b : A [field Nested, field Field] : String |
 | ReverseFlow.cs:53:12:53:12 | access to local variable b [Reverse] : A [field Nested, field Field] : String | semmle.label | access to local variable b [Reverse] : A [field Nested, field Field] : String |
+| ReverseFlow.cs:53:12:53:12 | access to local variable b [Reverse] : A [field Nested, field Field] : String | semmle.label | access to local variable b [Reverse] : A [field Nested, field Field] : String |
 | ReverseFlow.cs:56:22:56:22 | a [Reverse] : A [field Nested, field Field] : String | semmle.label | a [Reverse] : A [field Nested, field Field] : String |
 | ReverseFlow.cs:58:9:58:9 | [post] access to parameter a : A [field Nested, field Field] : String | semmle.label | [post] access to parameter a : A [field Nested, field Field] : String |
 | ReverseFlow.cs:58:9:58:16 | [post] access to field Nested : A [field Field] : String | semmle.label | [post] access to field Nested : A [field Field] : String |