C#: Update expected test output.

2026-04-25 16:55:19 +02:00 · 2024-02-13 11:40:46 +01:00
parent 69c0f0cb6a
commit eaf129d519
1 changed files with 36 additions and 36 deletions
--- a/csharp/ql/test/library-tests/dataflow/constructors/ConstructorFlow.expected
+++ b/csharp/ql/test/library-tests/dataflow/constructors/ConstructorFlow.expected
@@ -32,8 +32,8 @@ edges
 | Constructors.cs:44:28:44:35 | o21param : Object | Constructors.cs:46:31:46:38 | access to parameter o21param : Object | provenance |  |
 | Constructors.cs:46:31:46:38 | access to parameter o21param : Object | Constructors.cs:46:23:46:27 | [post] this access : C2 [field Obj21] : Object | provenance |  |
 | Constructors.cs:46:31:46:38 | access to parameter o21param : Object | Constructors.cs:46:23:46:27 | [post] this access : C2 [field Obj21] : Object | provenance |  |
-| Constructors.cs:48:32:48:39 | this : C2 [parameter field o22param] : Object | Constructors.cs:48:32:48:39 | access to parameter o22param : Object | provenance |  |
-| Constructors.cs:48:32:48:39 | this : C2 [parameter field o22param] : Object | Constructors.cs:48:32:48:39 | access to parameter o22param : Object | provenance |  |
+| Constructors.cs:48:32:48:39 | this : C2 [parameter o22param] : Object | Constructors.cs:48:32:48:39 | access to parameter o22param : Object | provenance |  |
+| Constructors.cs:48:32:48:39 | this : C2 [parameter o22param] : Object | Constructors.cs:48:32:48:39 | access to parameter o22param : Object | provenance |  |
 | Constructors.cs:50:32:50:36 | this : C2 [field Obj21] : Object | Constructors.cs:50:32:50:36 | this access : C2 [field Obj21] : Object | provenance |  |
 | Constructors.cs:50:32:50:36 | this : C2 [field Obj21] : Object | Constructors.cs:50:32:50:36 | this access : C2 [field Obj21] : Object | provenance |  |
 | Constructors.cs:50:32:50:36 | this access : C2 [field Obj21] : Object | Constructors.cs:50:32:50:36 | access to field Obj21 : Object | provenance |  |
@@ -58,38 +58,38 @@ edges
 | Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [field Obj21] : Object | Constructors.cs:70:14:70:15 | access to local variable c2 : C2 [field Obj21] : Object | provenance |  |
 | Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [field Obj21] : Object | Constructors.cs:72:14:72:15 | access to local variable c2 : C2 [field Obj21] : Object | provenance |  |
 | Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [field Obj21] : Object | Constructors.cs:72:14:72:15 | access to local variable c2 : C2 [field Obj21] : Object | provenance |  |
-| Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [parameter field o22param] : Object | Constructors.cs:71:14:71:15 | access to local variable c2 : C2 [parameter field o22param] : Object | provenance |  |
-| Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [parameter field o22param] : Object | Constructors.cs:71:14:71:15 | access to local variable c2 : C2 [parameter field o22param] : Object | provenance |  |
+| Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [parameter o22param] : Object | Constructors.cs:71:14:71:15 | access to local variable c2 : C2 [parameter o22param] : Object | provenance |  |
+| Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [parameter o22param] : Object | Constructors.cs:71:14:71:15 | access to local variable c2 : C2 [parameter o22param] : Object | provenance |  |
 | Constructors.cs:69:25:69:27 | access to local variable o21 : Object | Constructors.cs:44:28:44:35 | o21param : Object | provenance |  |
 | Constructors.cs:69:25:69:27 | access to local variable o21 : Object | Constructors.cs:44:28:44:35 | o21param : Object | provenance |  |
 | Constructors.cs:69:25:69:27 | access to local variable o21 : Object | Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [field Obj21] : Object | provenance |  |
 | Constructors.cs:69:25:69:27 | access to local variable o21 : Object | Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [field Obj21] : Object | provenance |  |
 | Constructors.cs:69:30:69:32 | access to local variable o22 : Object | Constructors.cs:44:45:44:52 | o22param : Object | provenance |  |
 | Constructors.cs:69:30:69:32 | access to local variable o22 : Object | Constructors.cs:44:45:44:52 | o22param : Object | provenance |  |
-| Constructors.cs:69:30:69:32 | access to local variable o22 : Object | Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [parameter field o22param] : Object | provenance |  |
-| Constructors.cs:69:30:69:32 | access to local variable o22 : Object | Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [parameter field o22param] : Object | provenance |  |
+| Constructors.cs:69:30:69:32 | access to local variable o22 : Object | Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [parameter o22param] : Object | provenance |  |
+| Constructors.cs:69:30:69:32 | access to local variable o22 : Object | Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [parameter o22param] : Object | provenance |  |
 | Constructors.cs:70:14:70:15 | access to local variable c2 : C2 [field Obj21] : Object | Constructors.cs:70:14:70:21 | access to field Obj21 | provenance |  |
 | Constructors.cs:70:14:70:15 | access to local variable c2 : C2 [field Obj21] : Object | Constructors.cs:70:14:70:21 | access to field Obj21 | provenance |  |
-| Constructors.cs:71:14:71:15 | access to local variable c2 : C2 [parameter field o22param] : Object | Constructors.cs:48:32:48:39 | this : C2 [parameter field o22param] : Object | provenance |  |
-| Constructors.cs:71:14:71:15 | access to local variable c2 : C2 [parameter field o22param] : Object | Constructors.cs:48:32:48:39 | this : C2 [parameter field o22param] : Object | provenance |  |
-| Constructors.cs:71:14:71:15 | access to local variable c2 : C2 [parameter field o22param] : Object | Constructors.cs:71:14:71:21 | access to property Obj22 | provenance |  |
-| Constructors.cs:71:14:71:15 | access to local variable c2 : C2 [parameter field o22param] : Object | Constructors.cs:71:14:71:21 | access to property Obj22 | provenance |  |
+| Constructors.cs:71:14:71:15 | access to local variable c2 : C2 [parameter o22param] : Object | Constructors.cs:48:32:48:39 | this : C2 [parameter o22param] : Object | provenance |  |
+| Constructors.cs:71:14:71:15 | access to local variable c2 : C2 [parameter o22param] : Object | Constructors.cs:48:32:48:39 | this : C2 [parameter o22param] : Object | provenance |  |
+| Constructors.cs:71:14:71:15 | access to local variable c2 : C2 [parameter o22param] : Object | Constructors.cs:71:14:71:21 | access to property Obj22 | provenance |  |
+| Constructors.cs:71:14:71:15 | access to local variable c2 : C2 [parameter o22param] : Object | Constructors.cs:71:14:71:21 | access to property Obj22 | provenance |  |
 | Constructors.cs:72:14:72:15 | access to local variable c2 : C2 [field Obj21] : Object | Constructors.cs:50:32:50:36 | this : C2 [field Obj21] : Object | provenance |  |
 | Constructors.cs:72:14:72:15 | access to local variable c2 : C2 [field Obj21] : Object | Constructors.cs:50:32:50:36 | this : C2 [field Obj21] : Object | provenance |  |
 | Constructors.cs:72:14:72:15 | access to local variable c2 : C2 [field Obj21] : Object | Constructors.cs:72:14:72:21 | access to property Obj23 | provenance |  |
 | Constructors.cs:72:14:72:15 | access to local variable c2 : C2 [field Obj21] : Object | Constructors.cs:72:14:72:21 | access to property Obj23 | provenance |  |
 | Constructors.cs:81:21:81:37 | call to method Source<Object> : Object | Constructors.cs:82:19:82:23 | access to local variable taint : Object | provenance |  |
 | Constructors.cs:81:21:81:37 | call to method Source<Object> : Object | Constructors.cs:82:19:82:23 | access to local variable taint : Object | provenance |  |
-| Constructors.cs:82:9:82:10 | [post] access to local variable c2 : C2 [parameter field o22param] : Object | Constructors.cs:83:14:83:15 | access to local variable c2 : C2 [parameter field o22param] : Object | provenance |  |
-| Constructors.cs:82:9:82:10 | [post] access to local variable c2 : C2 [parameter field o22param] : Object | Constructors.cs:83:14:83:15 | access to local variable c2 : C2 [parameter field o22param] : Object | provenance |  |
+| Constructors.cs:82:9:82:10 | [post] access to local variable c2 : C2 [parameter o22param] : Object | Constructors.cs:83:14:83:15 | access to local variable c2 : C2 [parameter o22param] : Object | provenance |  |
+| Constructors.cs:82:9:82:10 | [post] access to local variable c2 : C2 [parameter o22param] : Object | Constructors.cs:83:14:83:15 | access to local variable c2 : C2 [parameter o22param] : Object | provenance |  |
 | Constructors.cs:82:19:82:23 | access to local variable taint : Object | Constructors.cs:52:35:52:35 | o : Object | provenance |  |
 | Constructors.cs:82:19:82:23 | access to local variable taint : Object | Constructors.cs:52:35:52:35 | o : Object | provenance |  |
-| Constructors.cs:82:19:82:23 | access to local variable taint : Object | Constructors.cs:82:9:82:10 | [post] access to local variable c2 : C2 [parameter field o22param] : Object | provenance |  |
-| Constructors.cs:82:19:82:23 | access to local variable taint : Object | Constructors.cs:82:9:82:10 | [post] access to local variable c2 : C2 [parameter field o22param] : Object | provenance |  |
-| Constructors.cs:83:14:83:15 | access to local variable c2 : C2 [parameter field o22param] : Object | Constructors.cs:48:32:48:39 | this : C2 [parameter field o22param] : Object | provenance |  |
-| Constructors.cs:83:14:83:15 | access to local variable c2 : C2 [parameter field o22param] : Object | Constructors.cs:48:32:48:39 | this : C2 [parameter field o22param] : Object | provenance |  |
-| Constructors.cs:83:14:83:15 | access to local variable c2 : C2 [parameter field o22param] : Object | Constructors.cs:83:14:83:21 | access to property Obj22 | provenance |  |
-| Constructors.cs:83:14:83:15 | access to local variable c2 : C2 [parameter field o22param] : Object | Constructors.cs:83:14:83:21 | access to property Obj22 | provenance |  |
+| Constructors.cs:82:19:82:23 | access to local variable taint : Object | Constructors.cs:82:9:82:10 | [post] access to local variable c2 : C2 [parameter o22param] : Object | provenance |  |
+| Constructors.cs:82:19:82:23 | access to local variable taint : Object | Constructors.cs:82:9:82:10 | [post] access to local variable c2 : C2 [parameter o22param] : Object | provenance |  |
+| Constructors.cs:83:14:83:15 | access to local variable c2 : C2 [parameter o22param] : Object | Constructors.cs:48:32:48:39 | this : C2 [parameter o22param] : Object | provenance |  |
+| Constructors.cs:83:14:83:15 | access to local variable c2 : C2 [parameter o22param] : Object | Constructors.cs:48:32:48:39 | this : C2 [parameter o22param] : Object | provenance |  |
+| Constructors.cs:83:14:83:15 | access to local variable c2 : C2 [parameter o22param] : Object | Constructors.cs:83:14:83:21 | access to property Obj22 | provenance |  |
+| Constructors.cs:83:14:83:15 | access to local variable c2 : C2 [parameter o22param] : Object | Constructors.cs:83:14:83:21 | access to property Obj22 | provenance |  |
 nodes
 | Constructors.cs:5:24:5:25 | [post] this access : C_no_ctor [field s1] : Object | semmle.label | [post] this access : C_no_ctor [field s1] : Object |
 | Constructors.cs:5:24:5:25 | [post] this access : C_no_ctor [field s1] : Object | semmle.label | [post] this access : C_no_ctor [field s1] : Object |
@@ -135,8 +135,8 @@ nodes
 | Constructors.cs:46:31:46:38 | access to parameter o21param : Object | semmle.label | access to parameter o21param : Object |
 | Constructors.cs:48:32:48:39 | access to parameter o22param : Object | semmle.label | access to parameter o22param : Object |
 | Constructors.cs:48:32:48:39 | access to parameter o22param : Object | semmle.label | access to parameter o22param : Object |
-| Constructors.cs:48:32:48:39 | this : C2 [parameter field o22param] : Object | semmle.label | this : C2 [parameter field o22param] : Object |
-| Constructors.cs:48:32:48:39 | this : C2 [parameter field o22param] : Object | semmle.label | this : C2 [parameter field o22param] : Object |
+| Constructors.cs:48:32:48:39 | this : C2 [parameter o22param] : Object | semmle.label | this : C2 [parameter o22param] : Object |
+| Constructors.cs:48:32:48:39 | this : C2 [parameter o22param] : Object | semmle.label | this : C2 [parameter o22param] : Object |
 | Constructors.cs:50:32:50:36 | access to field Obj21 : Object | semmle.label | access to field Obj21 : Object |
 | Constructors.cs:50:32:50:36 | access to field Obj21 : Object | semmle.label | access to field Obj21 : Object |
 | Constructors.cs:50:32:50:36 | this : C2 [field Obj21] : Object | semmle.label | this : C2 [field Obj21] : Object |
@@ -163,8 +163,8 @@ nodes
 | Constructors.cs:68:19:68:35 | call to method Source<Object> : Object | semmle.label | call to method Source<Object> : Object |
 | Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [field Obj21] : Object | semmle.label | object creation of type C2 : C2 [field Obj21] : Object |
 | Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [field Obj21] : Object | semmle.label | object creation of type C2 : C2 [field Obj21] : Object |
-| Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [parameter field o22param] : Object | semmle.label | object creation of type C2 : C2 [parameter field o22param] : Object |
-| Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [parameter field o22param] : Object | semmle.label | object creation of type C2 : C2 [parameter field o22param] : Object |
+| Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [parameter o22param] : Object | semmle.label | object creation of type C2 : C2 [parameter o22param] : Object |
+| Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [parameter o22param] : Object | semmle.label | object creation of type C2 : C2 [parameter o22param] : Object |
 | Constructors.cs:69:25:69:27 | access to local variable o21 : Object | semmle.label | access to local variable o21 : Object |
 | Constructors.cs:69:25:69:27 | access to local variable o21 : Object | semmle.label | access to local variable o21 : Object |
 | Constructors.cs:69:30:69:32 | access to local variable o22 : Object | semmle.label | access to local variable o22 : Object |
@@ -173,8 +173,8 @@ nodes
 | Constructors.cs:70:14:70:15 | access to local variable c2 : C2 [field Obj21] : Object | semmle.label | access to local variable c2 : C2 [field Obj21] : Object |
 | Constructors.cs:70:14:70:21 | access to field Obj21 | semmle.label | access to field Obj21 |
 | Constructors.cs:70:14:70:21 | access to field Obj21 | semmle.label | access to field Obj21 |
-| Constructors.cs:71:14:71:15 | access to local variable c2 : C2 [parameter field o22param] : Object | semmle.label | access to local variable c2 : C2 [parameter field o22param] : Object |
-| Constructors.cs:71:14:71:15 | access to local variable c2 : C2 [parameter field o22param] : Object | semmle.label | access to local variable c2 : C2 [parameter field o22param] : Object |
+| Constructors.cs:71:14:71:15 | access to local variable c2 : C2 [parameter o22param] : Object | semmle.label | access to local variable c2 : C2 [parameter o22param] : Object |
+| Constructors.cs:71:14:71:15 | access to local variable c2 : C2 [parameter o22param] : Object | semmle.label | access to local variable c2 : C2 [parameter o22param] : Object |
 | Constructors.cs:71:14:71:21 | access to property Obj22 | semmle.label | access to property Obj22 |
 | Constructors.cs:71:14:71:21 | access to property Obj22 | semmle.label | access to property Obj22 |
 | Constructors.cs:72:14:72:15 | access to local variable c2 : C2 [field Obj21] : Object | semmle.label | access to local variable c2 : C2 [field Obj21] : Object |
@@ -183,12 +183,12 @@ nodes
 | Constructors.cs:72:14:72:21 | access to property Obj23 | semmle.label | access to property Obj23 |
 | Constructors.cs:81:21:81:37 | call to method Source<Object> : Object | semmle.label | call to method Source<Object> : Object |
 | Constructors.cs:81:21:81:37 | call to method Source<Object> : Object | semmle.label | call to method Source<Object> : Object |
-| Constructors.cs:82:9:82:10 | [post] access to local variable c2 : C2 [parameter field o22param] : Object | semmle.label | [post] access to local variable c2 : C2 [parameter field o22param] : Object |
-| Constructors.cs:82:9:82:10 | [post] access to local variable c2 : C2 [parameter field o22param] : Object | semmle.label | [post] access to local variable c2 : C2 [parameter field o22param] : Object |
+| Constructors.cs:82:9:82:10 | [post] access to local variable c2 : C2 [parameter o22param] : Object | semmle.label | [post] access to local variable c2 : C2 [parameter o22param] : Object |
+| Constructors.cs:82:9:82:10 | [post] access to local variable c2 : C2 [parameter o22param] : Object | semmle.label | [post] access to local variable c2 : C2 [parameter o22param] : Object |
 | Constructors.cs:82:19:82:23 | access to local variable taint : Object | semmle.label | access to local variable taint : Object |
 | Constructors.cs:82:19:82:23 | access to local variable taint : Object | semmle.label | access to local variable taint : Object |
-| Constructors.cs:83:14:83:15 | access to local variable c2 : C2 [parameter field o22param] : Object | semmle.label | access to local variable c2 : C2 [parameter field o22param] : Object |
-| Constructors.cs:83:14:83:15 | access to local variable c2 : C2 [parameter field o22param] : Object | semmle.label | access to local variable c2 : C2 [parameter field o22param] : Object |
+| Constructors.cs:83:14:83:15 | access to local variable c2 : C2 [parameter o22param] : Object | semmle.label | access to local variable c2 : C2 [parameter o22param] : Object |
+| Constructors.cs:83:14:83:15 | access to local variable c2 : C2 [parameter o22param] : Object | semmle.label | access to local variable c2 : C2 [parameter o22param] : Object |
 | Constructors.cs:83:14:83:21 | access to property Obj22 | semmle.label | access to property Obj22 |
 | Constructors.cs:83:14:83:21 | access to property Obj22 | semmle.label | access to property Obj22 |
 subpaths
@@ -196,16 +196,16 @@ subpaths
 | Constructors.cs:61:25:61:25 | access to local variable o : Object | Constructors.cs:41:26:41:26 | o : Object | Constructors.cs:41:32:41:34 | [post] this access : C1 [field Obj] : Object | Constructors.cs:61:18:61:26 | object creation of type C1 : C1 [field Obj] : Object |
 | Constructors.cs:69:25:69:27 | access to local variable o21 : Object | Constructors.cs:44:28:44:35 | o21param : Object | Constructors.cs:46:23:46:27 | [post] this access : C2 [field Obj21] : Object | Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [field Obj21] : Object |
 | Constructors.cs:69:25:69:27 | access to local variable o21 : Object | Constructors.cs:44:28:44:35 | o21param : Object | Constructors.cs:46:23:46:27 | [post] this access : C2 [field Obj21] : Object | Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [field Obj21] : Object |
-| Constructors.cs:69:30:69:32 | access to local variable o22 : Object | Constructors.cs:44:45:44:52 | o22param : Object | Constructors.cs:44:45:44:52 | o22param : Object | Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [parameter field o22param] : Object |
-| Constructors.cs:69:30:69:32 | access to local variable o22 : Object | Constructors.cs:44:45:44:52 | o22param : Object | Constructors.cs:44:45:44:52 | o22param : Object | Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [parameter field o22param] : Object |
-| Constructors.cs:71:14:71:15 | access to local variable c2 : C2 [parameter field o22param] : Object | Constructors.cs:48:32:48:39 | this : C2 [parameter field o22param] : Object | Constructors.cs:48:32:48:39 | access to parameter o22param : Object | Constructors.cs:71:14:71:21 | access to property Obj22 |
-| Constructors.cs:71:14:71:15 | access to local variable c2 : C2 [parameter field o22param] : Object | Constructors.cs:48:32:48:39 | this : C2 [parameter field o22param] : Object | Constructors.cs:48:32:48:39 | access to parameter o22param : Object | Constructors.cs:71:14:71:21 | access to property Obj22 |
+| Constructors.cs:69:30:69:32 | access to local variable o22 : Object | Constructors.cs:44:45:44:52 | o22param : Object | Constructors.cs:44:45:44:52 | o22param : Object | Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [parameter o22param] : Object |
+| Constructors.cs:69:30:69:32 | access to local variable o22 : Object | Constructors.cs:44:45:44:52 | o22param : Object | Constructors.cs:44:45:44:52 | o22param : Object | Constructors.cs:69:18:69:33 | object creation of type C2 : C2 [parameter o22param] : Object |
+| Constructors.cs:71:14:71:15 | access to local variable c2 : C2 [parameter o22param] : Object | Constructors.cs:48:32:48:39 | this : C2 [parameter o22param] : Object | Constructors.cs:48:32:48:39 | access to parameter o22param : Object | Constructors.cs:71:14:71:21 | access to property Obj22 |
+| Constructors.cs:71:14:71:15 | access to local variable c2 : C2 [parameter o22param] : Object | Constructors.cs:48:32:48:39 | this : C2 [parameter o22param] : Object | Constructors.cs:48:32:48:39 | access to parameter o22param : Object | Constructors.cs:71:14:71:21 | access to property Obj22 |
 | Constructors.cs:72:14:72:15 | access to local variable c2 : C2 [field Obj21] : Object | Constructors.cs:50:32:50:36 | this : C2 [field Obj21] : Object | Constructors.cs:50:32:50:36 | access to field Obj21 : Object | Constructors.cs:72:14:72:21 | access to property Obj23 |
 | Constructors.cs:72:14:72:15 | access to local variable c2 : C2 [field Obj21] : Object | Constructors.cs:50:32:50:36 | this : C2 [field Obj21] : Object | Constructors.cs:50:32:50:36 | access to field Obj21 : Object | Constructors.cs:72:14:72:21 | access to property Obj23 |
-| Constructors.cs:82:19:82:23 | access to local variable taint : Object | Constructors.cs:52:35:52:35 | o : Object | Constructors.cs:54:24:54:24 | access to parameter o : Object | Constructors.cs:82:9:82:10 | [post] access to local variable c2 : C2 [parameter field o22param] : Object |
-| Constructors.cs:82:19:82:23 | access to local variable taint : Object | Constructors.cs:52:35:52:35 | o : Object | Constructors.cs:54:24:54:24 | access to parameter o : Object | Constructors.cs:82:9:82:10 | [post] access to local variable c2 : C2 [parameter field o22param] : Object |
-| Constructors.cs:83:14:83:15 | access to local variable c2 : C2 [parameter field o22param] : Object | Constructors.cs:48:32:48:39 | this : C2 [parameter field o22param] : Object | Constructors.cs:48:32:48:39 | access to parameter o22param : Object | Constructors.cs:83:14:83:21 | access to property Obj22 |
-| Constructors.cs:83:14:83:15 | access to local variable c2 : C2 [parameter field o22param] : Object | Constructors.cs:48:32:48:39 | this : C2 [parameter field o22param] : Object | Constructors.cs:48:32:48:39 | access to parameter o22param : Object | Constructors.cs:83:14:83:21 | access to property Obj22 |
+| Constructors.cs:82:19:82:23 | access to local variable taint : Object | Constructors.cs:52:35:52:35 | o : Object | Constructors.cs:54:24:54:24 | access to parameter o : Object | Constructors.cs:82:9:82:10 | [post] access to local variable c2 : C2 [parameter o22param] : Object |
+| Constructors.cs:82:19:82:23 | access to local variable taint : Object | Constructors.cs:52:35:52:35 | o : Object | Constructors.cs:54:24:54:24 | access to parameter o : Object | Constructors.cs:82:9:82:10 | [post] access to local variable c2 : C2 [parameter o22param] : Object |
+| Constructors.cs:83:14:83:15 | access to local variable c2 : C2 [parameter o22param] : Object | Constructors.cs:48:32:48:39 | this : C2 [parameter o22param] : Object | Constructors.cs:48:32:48:39 | access to parameter o22param : Object | Constructors.cs:83:14:83:21 | access to property Obj22 |
+| Constructors.cs:83:14:83:15 | access to local variable c2 : C2 [parameter o22param] : Object | Constructors.cs:48:32:48:39 | this : C2 [parameter o22param] : Object | Constructors.cs:48:32:48:39 | access to parameter o22param : Object | Constructors.cs:83:14:83:21 | access to property Obj22 |
 #select
 | Constructors.cs:15:18:15:19 | access to field s1 | Constructors.cs:5:29:5:45 | call to method Source<Object> : Object | Constructors.cs:15:18:15:19 | access to field s1 | $@ | Constructors.cs:5:29:5:45 | call to method Source<Object> : Object | call to method Source<Object> : Object |
 | Constructors.cs:15:18:15:19 | access to field s1 | Constructors.cs:5:29:5:45 | call to method Source<Object> : Object | Constructors.cs:15:18:15:19 | access to field s1 | $@ | Constructors.cs:5:29:5:45 | call to method Source<Object> : Object | call to method Source<Object> : Object |