Skip to content

Commit b6d5efe

Browse files
committed
C#: Cater for the dynamic member access call special case.
1 parent 8b5038f commit b6d5efe

File tree

1 file changed

+10
-0
lines changed

1 file changed

+10
-0
lines changed

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

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1579,6 +1579,16 @@ private module ArgumentNodes {
15791579
scope = def.getExpr()
15801580
)
15811581
else scope = e2
1582+
or
1583+
e1.(Argument).isArgumentOf(e2, _) and
1584+
e2 instanceof DynamicMemberAccess and
1585+
exists(AssignableDefinitions::AssignOperationDefinition def |
1586+
def.getTargetAccess() = e2 and
1587+
def.getExpr() = e1
1588+
) and
1589+
exactScope = false and
1590+
isSuccessor = false and
1591+
scope = e1
15821592
}
15831593
}
15841594

0 commit comments

Comments
 (0)