Update go/ql/lib/semmle/go/dataflow/internal/DataFlowNodes.qll

Co-authored-by: Chris Smowton <smowton@github.com>
This commit is contained in:
Owen Mansel-Chan
2023-08-01 12:23:49 +01:00
committed by GitHub
parent 0895853a23
commit dbc6868bc1

View File

@@ -507,8 +507,7 @@ module Public {
FuncDef getACallee() { result = this.getACalleeIncludingExternals().getFuncDef() }
/**
* As `getACalleeIncludingExternals`, except excluding external functions (those for which
* we lack a definition, such as standard library functions).
* Gets the definition of a possible target of this call, excluding targets reachable via virtual dispatch.
*/
Callable getACalleeWithoutVirtualDispatch() {
result.asFunction() = this.getTarget()