hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-22 23:35:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Chop dataflow of spread into smaller steps and make sure to only propagate element flow for the spread operator.

Browse Source
This commit is contained in:
Michael Nebel
2024-01-29 14:34:57 +01:00
parent b6f94ea44a
commit 63c06b72b1
1 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -250,7 +250,12 @@ module LocalFlow {
scope = e2 and
isSuccessor = true
or
e1 = e2.(CollectionExpression).getAnElement().(SpreadElementExpr).getExpr() and
e1 = e2.(CollectionExpression).getAnElement() and
e1 instanceof SpreadElementExpr and
scope = e2 and
isSuccessor = true
or
e1 = e2.(SpreadElementExpr).getExpr() and
scope = e2 and
isSuccessor = true
or
@@ -2018,6 +2023,8 @@ predicate clearsContent(Node n, ContentSet c) {
*/
predicate expectsContent(Node n, ContentSet c) {
FlowSummaryImpl::Private::Steps::summaryExpectsContent(n.(FlowSummaryNode).getSummaryNode(), c)
or
n.asExpr() instanceof SpreadElementExpr and c instanceof ElementContent
}
/**