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

C#: Restrict some call-back flow summaries

Browse Source
This commit is contained in:
Tom Hvitved
2021-12-10 10:27:37 +01:00
parent 0c9ca4546c
commit c13d83ce40
1 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
csharp/ql/lib/semmle/code/csharp/dataflow/LibraryTypeDataFlow.qll
View File

@@ -585,7 +585,7 @@ class IEnumerableFlow extends LibraryTypeDataFlow, RefType {
sink = getDelegateFlowSinkArg(m, 1, 1) and
sinkAp = AccessPath::empty()
or
source = TCallableFlowSourceDelegateArg(1) and
source = getDelegateFlowSourceArg(m, 1) and
sourceAp = AccessPath::empty() and
sink = TCallableFlowSinkReturn() and
sinkAp = AccessPath::empty()
@@ -603,7 +603,7 @@ class IEnumerableFlow extends LibraryTypeDataFlow, RefType {
sink = getDelegateFlowSinkArg(m, 2, 0) and
sinkAp = AccessPath::empty()
or
source = TCallableFlowSourceDelegateArg(2) and
source = getDelegateFlowSourceArg(m, 2) and
sourceAp = AccessPath::empty() and
sink = TCallableFlowSinkReturn() and
sinkAp = AccessPath::empty()
@@ -621,12 +621,12 @@ class IEnumerableFlow extends LibraryTypeDataFlow, RefType {
sink = getDelegateFlowSinkArg(m, 2, 0) and
sinkAp = AccessPath::empty()
or
source = TCallableFlowSourceDelegateArg(2) and
source = getDelegateFlowSourceArg(m, 2) and
sourceAp = AccessPath::empty() and
sink = getDelegateFlowSinkArg(m, 3, 0) and
sinkAp = AccessPath::empty()
or
source = TCallableFlowSourceDelegateArg(3) and
source = getDelegateFlowSourceArg(m, 3) and
sourceAp = AccessPath::empty() and
sink = TCallableFlowSinkReturn() and
sinkAp = AccessPath::empty()
@@ -841,7 +841,7 @@ class IEnumerableFlow extends LibraryTypeDataFlow, RefType {
sink = getDelegateFlowSinkArg(m, 4, 1) and
sinkAp = AccessPath::empty()
or
source = TCallableFlowSourceDelegateArg(4) and
source = getDelegateFlowSourceArg(m, 4) and
sourceAp = AccessPath::empty() and
sink = TCallableFlowSinkReturn() and
sinkAp = AccessPath::element()
@@ -924,7 +924,7 @@ class IEnumerableFlow extends LibraryTypeDataFlow, RefType {
sink = getDelegateFlowSinkArg(m, 1, 0) and
sinkAp = AccessPath::empty()
or
source = TCallableFlowSourceDelegateArg(1) and
source = getDelegateFlowSourceArg(m, 1) and
sourceAp = AccessPath::empty() and
sink = TCallableFlowSinkReturn() and
sinkAp = AccessPath::element()
@@ -943,12 +943,12 @@ class IEnumerableFlow extends LibraryTypeDataFlow, RefType {
sink = getDelegateFlowSinkArg(m, 2, 0) and
sinkAp = AccessPath::empty()
or
source = TCallableFlowSourceDelegateArg(1) and
source = getDelegateFlowSourceArg(m, 1) and
sourceAp = AccessPath::element() and
sink = getDelegateFlowSinkArg(m, 2, 1) and
sinkAp = AccessPath::empty()
or
source = TCallableFlowSourceDelegateArg(2) and
source = getDelegateFlowSourceArg(m, 2) and
sourceAp = AccessPath::empty() and
sink = TCallableFlowSinkReturn() and
sinkAp = AccessPath::element()