diff --git a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll index 1e8423d012b..91d50ca434d 100644 --- a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll +++ b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll @@ -119,7 +119,7 @@ module SourceSinkInterpretationInput implements DataFlowCallable asCallable() { result.(Function) = this.asElement() } /** Gets the target of this call, if any. */ - Element getCallTarget() { result = this.asCall().getAst().(Call).getTarget() } + Element getCallTarget() { result = this.asCall().getStaticCallTarget() } /** Gets a textual representation of this node. */ string toString() {