We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0895853 commit dbc6868Copy full SHA for dbc6868
go/ql/lib/semmle/go/dataflow/internal/DataFlowNodes.qll
@@ -507,8 +507,7 @@ module Public {
507
FuncDef getACallee() { result = this.getACalleeIncludingExternals().getFuncDef() }
508
509
/**
510
- * As `getACalleeIncludingExternals`, except excluding external functions (those for which
511
- * 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.
512
*/
513
Callable getACalleeWithoutVirtualDispatch() {
514
result.asFunction() = this.getTarget()
0 commit comments