hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

C#: Fix lambda flow.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-12-05 10:58:01 +01:00
parent e4ee7c95c5
commit 28e9420476
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
View File

@@ -3050,8 +3050,11 @@ predicate additionalLambdaFlowStep(Node nodeFrom, Node nodeTo, boolean preserves
exists(AssignableDefinition def | exists(AssignableDefinition def |
def.getTargetAccess() = fa and def.getTargetAccess() = fa and
nodeFrom.asExpr() = def.getSource() and nodeFrom.asExpr() = def.getSource() and
nodeTo = TFlowInsensitiveFieldNode(f) and nodeTo = TFlowInsensitiveFieldNode(f)
|
nodeFrom.getEnclosingCallable() instanceof Constructor nodeFrom.getEnclosingCallable() instanceof Constructor
or
nodeFrom.getEnclosingCallable() instanceof ObjectInitMethod
) )
or or
nodeFrom = TFlowInsensitiveFieldNode(f) and nodeFrom = TFlowInsensitiveFieldNode(f) and