Skip to content

Commit 9606816

Browse files
committed
Fix missing summarizedCallable case
1 parent a1c38b7 commit 9606816

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowDispatch.qll

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,7 @@ private import DataFlowPublic
66
private import DataFlowPrivate
77
private import FlowSummaryImpl as FlowSummaryImpl
88
private import semmle.code.csharp.dataflow.FlowSummary
9+
private import semmle.code.csharp.dataflow.ExternalFlow
910
private import semmle.code.csharp.dispatch.Dispatch
1011
private import semmle.code.csharp.frameworks.system.Collections
1112
private import semmle.code.csharp.frameworks.system.collections.Generic
@@ -14,6 +15,8 @@ private predicate summarizedCallable(DataFlowCallable c) {
1415
c instanceof SummarizedCallable
1516
or
1617
FlowSummaryImpl::Private::summaryReturnNode(_, TJumpReturnKind(c, _))
18+
or
19+
c = interpretElement(_, _, _, _, _, _)
1720
}
1821

1922
/**

0 commit comments

Comments
 (0)