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 @@ -470,6 +470,8 @@ module Public {
470470 exists ( DataFlow:: Node calleeSource | calleeSource = this .getACalleeSource ( ) |
471471 result .asFuncLit ( ) = calleeSource .asExpr ( )
472472 or
473+ calleeSource = result .asFunction ( ) .getARead ( )
474+ or
473475 exists ( Method declared , Method actual |
474476 calleeSource = declared .getARead ( ) and
475477 actual .implements ( declared ) and
Original file line number Diff line number Diff line change 11missingCallee
2- | test.go:58:2:58:8 | call to f | test.go:41:1:53:1 | function declaration |
32spuriousCallee
43| main.go:44:3:44:7 | call to m | main.go:17:1:17:17 | function declaration |
54| main.go:44:3:44:7 | call to m | main.go:21:1:21:20 | function declaration |
Original file line number Diff line number Diff line change @@ -3,5 +3,4 @@ missingCallee
33| test.go:48:2:48:8 | call to f2 | test.go:17:1:20:1 | function declaration |
44| test.go:48:2:48:8 | call to f2 | test.go:36:1:39:1 | function declaration |
55| test.go:52:2:52:5 | call to f3 | test.go:11:1:11:28 | function declaration |
6- | test.go:58:2:58:8 | call to f | test.go:41:1:53:1 | function declaration |
76spuriousCallee
You can’t perform that action at this time.
0 commit comments