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

C#: Only disregard generated summaries in case there is a static call target in source code.

Browse Source
This commit is contained in:
Michael Nebel
2025-02-03 14:57:00 +01:00
parent 7476d9ed6b
commit dde28a1bed
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowDispatch.qll
View File

@@ -364,7 +364,7 @@ class NonDelegateDataFlowCall extends DataFlowCall, TNonDelegateCall {
DispatchCall getDispatchCall() { result = dc }
pragma[nomagic]
private predicate hasSourceTarget() { dc.getADynamicTarget().fromSource() }
private predicate hasSourceTarget() { dc.getAStaticTarget().fromSource() }
pragma[nomagic]
private FlowSummary::SummarizedCallable getASummarizedCallableTarget() {