Skip to content

Commit dde28a1

Browse files
committed
C#: Only disregard generated summaries in case there is a static call target in source code.
1 parent 7476d9e commit dde28a1

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -364,7 +364,7 @@ class NonDelegateDataFlowCall extends DataFlowCall, TNonDelegateCall {
364364
DispatchCall getDispatchCall() { result = dc }
365365

366366
pragma[nomagic]
367-
private predicate hasSourceTarget() { dc.getADynamicTarget().fromSource() }
367+
private predicate hasSourceTarget() { dc.getAStaticTarget().fromSource() }
368368

369369
pragma[nomagic]
370370
private FlowSummary::SummarizedCallable getASummarizedCallableTarget() {

0 commit comments

Comments
 (0)