hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 17:25:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Simplify the ForEachCapture query.

Browse Source 
Co-authored-by: Tom Hvitved <hvitved@github.com>
This commit is contained in:
Michael Nebel
2021-12-22 13:34:44 +01:00
parent fef6770a21
commit 748b2d2507
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
csharp/ql/src/Language Abuse/ForeachCapture.ql
View File

@@ -75,10 +75,9 @@ Element getAssignmentTarget(Expr e) {
Element getCollectionAssignmentTarget(Expr e) {
// Store into collection via method
exists(DataFlow::Node postNode, Expr nodeExp |
exists(DataFlowPrivate::PostUpdateNode postNode |
FlowSummaryImpl::Private::Steps::summarySetterStep(DataFlow::exprNode(e), _, postNode) and
nodeExp = postNode.(DataFlowPrivate::PostUpdateNode).getPreUpdateNode().asExpr() and
result.(Variable).getAnAccess() = nodeExp
result.(Variable).getAnAccess() = postNode.getPreUpdateNode().asExpr()
)
or
// Array initializer