File tree Expand file tree Collapse file tree
lib/semmle/go/dataflow/internal
test/library-tests/semmle/go/dataflow/CallGraph Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -10,7 +10,7 @@ private predicate isInterfaceCallReceiver(
1010) {
1111 call .getReceiver ( ) = recv and
1212 recv .getType ( ) .getUnderlyingType ( ) = tp and
13- m = call .getCalleeName ( )
13+ m = call .getACalleeIncludingExternals ( ) . asFunction ( ) . getName ( )
1414}
1515
1616/** Gets a data-flow node that may flow into the receiver value of `call`, which is an interface value. */
Original file line number Diff line number Diff line change 11missingCallee
2- | test.go:44:2:44:8 | call to f1 | test.go:17:1:20:1 | function declaration |
3- | test.go:48:2:48:8 | call to f2 | test.go:17:1:20:1 | function declaration |
4- | test.go:48:2:48:8 | call to f2 | test.go:36:1:39:1 | function declaration |
5- | test.go:52:2:52:5 | call to f3 | test.go:11:1:11:28 | function declaration |
62spuriousCallee
You can’t perform that action at this time.
0 commit comments