WIP.

Author: michaelnebel

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll

@@ -2308,6 +2308,30 @@ private predicate readStepDelegateCall(Node node1, ContentSet c, OutNode node2)
   )
 }
 
+private predicate fieldOrPropertyPatternRead(Node node1, ContentSet c, Node node2) {
+  exists(PatternExpr pattern, LabeledPatternExpr label, FieldOrProperty f |
+    node1.asExpr() = pattern and
+    (
+      pattern.(RecursivePatternExpr).getPropertyPatterns().getPattern(_) = label
+      or
+      pattern.(PropertyPatternExpr).getPattern(_) = label
+    ) and
+    c = f.getContentSet() and
+    // TODO: Should this be undecorated name to work for
+    f.getName() = label.getLabel()
+  |
+    node2.asExpr() = label.(RecursivePatternExpr)
+    or
+    node2.asExpr() = label.(PropertyPatternExpr)
+    or
+    // TODO: Should be extended to cover binding patterns as well. Add a test for it.
+    exists(AssignableDefinitions::PatternDefinition lvd |
+      node2.(AssignableDefinitionNode).getDefinition() = lvd and
+      label = lvd.getDeclaration()
+    )
+  )
+}
+
 /**
  * Holds if data can flow from `node1` to `node2` via a read of content `c`.
  */
@@ -2319,6 +2343,8 @@ predicate readStep(Node node1, ContentSet c, Node node2) {
   or
   fieldOrPropertyRead(node1.asExpr(), c, node2.asExpr())
   or
+  fieldOrPropertyPatternRead(node1, c, node2)
+  or
   dynamicPropertyRead(node1.asExpr(), c, node2.asExpr())
   or
   node2.asExpr().(AwaitExpr).getExpr() = node1.asExpr() and