2013-08-27 16:49:13 -06:00
|
|
|
// Copyright 2013 The Go Authors. All rights reserved.
|
|
|
|
// Use of this source code is governed by a BSD-style
|
|
|
|
// license that can be found in the LICENSE file.
|
|
|
|
|
2013-08-27 15:58:26 -06:00
|
|
|
package oracle
|
|
|
|
|
|
|
|
import (
|
2013-09-03 13:29:02 -06:00
|
|
|
"go/token"
|
|
|
|
|
2013-09-24 13:08:14 -06:00
|
|
|
"code.google.com/p/go.tools/oracle/serial"
|
2013-08-27 15:58:26 -06:00
|
|
|
"code.google.com/p/go.tools/pointer"
|
|
|
|
"code.google.com/p/go.tools/ssa"
|
|
|
|
)
|
|
|
|
|
|
|
|
// Callers reports the possible callers of the function
|
|
|
|
// immediately enclosing the specified source location.
|
|
|
|
//
|
|
|
|
// TODO(adonovan): if a caller is a wrapper, show the caller's caller.
|
|
|
|
//
|
go.tools/oracle: refactor Oracle API to allow repeated queries on same scope.
The existing standalone Query function builds an importer, ssa.Program, oracle,
and query position, executes the query and returns the result.
For clients (such as Frederik Zipp's web-based github.com/fzipp/pythia tool)
that wish to load the program once and make several queries, we now expose
these as separate operations too. Here's a client, in pseudocode:
o := oracle.New(...)
for ... {
qpos := o.ParseQueryPos(...)
res := o.Query(mode, qpos)
print result
}
NB: this is a slight deoptimisation in the one-shot case since we have to
build the entire SSA program with debug info, not just the query package,
since we now don't know the query package at that time.
The 'exact' param to ParseQueryPos needs more thought since its
ideal value is a function of the query mode. This will do for now.
Details:
- expose Oracle type, New() func and Query() method.
- expose QueryPos type and ParseQueryPos func.
- improved package doc comment.
- un-exposed the "needs" bits.
- added test.
R=crawshaw
CC=frederik.zipp, golang-dev
https://golang.org/cl/13810043
2013-09-23 13:02:18 -06:00
|
|
|
func callers(o *Oracle, qpos *QueryPos) (queryResult, error) {
|
|
|
|
pkg := o.prog.Package(qpos.info.Pkg)
|
2013-08-27 15:58:26 -06:00
|
|
|
if pkg == nil {
|
go.tools/oracle: refactor Oracle API to allow repeated queries on same scope.
The existing standalone Query function builds an importer, ssa.Program, oracle,
and query position, executes the query and returns the result.
For clients (such as Frederik Zipp's web-based github.com/fzipp/pythia tool)
that wish to load the program once and make several queries, we now expose
these as separate operations too. Here's a client, in pseudocode:
o := oracle.New(...)
for ... {
qpos := o.ParseQueryPos(...)
res := o.Query(mode, qpos)
print result
}
NB: this is a slight deoptimisation in the one-shot case since we have to
build the entire SSA program with debug info, not just the query package,
since we now don't know the query package at that time.
The 'exact' param to ParseQueryPos needs more thought since its
ideal value is a function of the query mode. This will do for now.
Details:
- expose Oracle type, New() func and Query() method.
- expose QueryPos type and ParseQueryPos func.
- improved package doc comment.
- un-exposed the "needs" bits.
- added test.
R=crawshaw
CC=frederik.zipp, golang-dev
https://golang.org/cl/13810043
2013-09-23 13:02:18 -06:00
|
|
|
return nil, o.errorf(qpos.path[0], "no SSA package")
|
2013-08-27 15:58:26 -06:00
|
|
|
}
|
go.tools/oracle: refactor Oracle API to allow repeated queries on same scope.
The existing standalone Query function builds an importer, ssa.Program, oracle,
and query position, executes the query and returns the result.
For clients (such as Frederik Zipp's web-based github.com/fzipp/pythia tool)
that wish to load the program once and make several queries, we now expose
these as separate operations too. Here's a client, in pseudocode:
o := oracle.New(...)
for ... {
qpos := o.ParseQueryPos(...)
res := o.Query(mode, qpos)
print result
}
NB: this is a slight deoptimisation in the one-shot case since we have to
build the entire SSA program with debug info, not just the query package,
since we now don't know the query package at that time.
The 'exact' param to ParseQueryPos needs more thought since its
ideal value is a function of the query mode. This will do for now.
Details:
- expose Oracle type, New() func and Query() method.
- expose QueryPos type and ParseQueryPos func.
- improved package doc comment.
- un-exposed the "needs" bits.
- added test.
R=crawshaw
CC=frederik.zipp, golang-dev
https://golang.org/cl/13810043
2013-09-23 13:02:18 -06:00
|
|
|
if !ssa.HasEnclosingFunction(pkg, qpos.path) {
|
|
|
|
return nil, o.errorf(qpos.path[0], "this position is not inside a function")
|
2013-08-27 15:58:26 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
buildSSA(o)
|
|
|
|
|
go.tools/oracle: refactor Oracle API to allow repeated queries on same scope.
The existing standalone Query function builds an importer, ssa.Program, oracle,
and query position, executes the query and returns the result.
For clients (such as Frederik Zipp's web-based github.com/fzipp/pythia tool)
that wish to load the program once and make several queries, we now expose
these as separate operations too. Here's a client, in pseudocode:
o := oracle.New(...)
for ... {
qpos := o.ParseQueryPos(...)
res := o.Query(mode, qpos)
print result
}
NB: this is a slight deoptimisation in the one-shot case since we have to
build the entire SSA program with debug info, not just the query package,
since we now don't know the query package at that time.
The 'exact' param to ParseQueryPos needs more thought since its
ideal value is a function of the query mode. This will do for now.
Details:
- expose Oracle type, New() func and Query() method.
- expose QueryPos type and ParseQueryPos func.
- improved package doc comment.
- un-exposed the "needs" bits.
- added test.
R=crawshaw
CC=frederik.zipp, golang-dev
https://golang.org/cl/13810043
2013-09-23 13:02:18 -06:00
|
|
|
target := ssa.EnclosingFunction(pkg, qpos.path)
|
2013-08-27 15:58:26 -06:00
|
|
|
if target == nil {
|
go.tools/oracle: refactor Oracle API to allow repeated queries on same scope.
The existing standalone Query function builds an importer, ssa.Program, oracle,
and query position, executes the query and returns the result.
For clients (such as Frederik Zipp's web-based github.com/fzipp/pythia tool)
that wish to load the program once and make several queries, we now expose
these as separate operations too. Here's a client, in pseudocode:
o := oracle.New(...)
for ... {
qpos := o.ParseQueryPos(...)
res := o.Query(mode, qpos)
print result
}
NB: this is a slight deoptimisation in the one-shot case since we have to
build the entire SSA program with debug info, not just the query package,
since we now don't know the query package at that time.
The 'exact' param to ParseQueryPos needs more thought since its
ideal value is a function of the query mode. This will do for now.
Details:
- expose Oracle type, New() func and Query() method.
- expose QueryPos type and ParseQueryPos func.
- improved package doc comment.
- un-exposed the "needs" bits.
- added test.
R=crawshaw
CC=frederik.zipp, golang-dev
https://golang.org/cl/13810043
2013-09-23 13:02:18 -06:00
|
|
|
return nil, o.errorf(qpos.path[0], "no SSA function built for this location (dead code?)")
|
2013-08-27 15:58:26 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
// Run the pointer analysis, recording each
|
|
|
|
// call found to originate from target.
|
2013-09-03 13:29:02 -06:00
|
|
|
var calls []pointer.CallSite
|
|
|
|
o.config.Call = func(site pointer.CallSite, callee pointer.CallGraphNode) {
|
2013-08-27 15:58:26 -06:00
|
|
|
if callee.Func() == target {
|
2013-09-03 13:29:02 -06:00
|
|
|
calls = append(calls, site)
|
2013-08-27 15:58:26 -06:00
|
|
|
}
|
|
|
|
}
|
2013-09-03 13:29:02 -06:00
|
|
|
// TODO(adonovan): sort calls, to ensure test determinism.
|
|
|
|
|
2013-08-27 15:58:26 -06:00
|
|
|
root := ptrAnalysis(o)
|
|
|
|
|
|
|
|
return &callersResult{
|
|
|
|
target: target,
|
|
|
|
root: root,
|
|
|
|
calls: calls,
|
|
|
|
}, nil
|
|
|
|
}
|
|
|
|
|
|
|
|
type callersResult struct {
|
|
|
|
target *ssa.Function
|
|
|
|
root pointer.CallGraphNode
|
2013-09-03 13:29:02 -06:00
|
|
|
calls []pointer.CallSite
|
2013-08-27 15:58:26 -06:00
|
|
|
}
|
|
|
|
|
2013-09-03 13:29:02 -06:00
|
|
|
func (r *callersResult) display(printf printfFunc) {
|
2013-08-27 15:58:26 -06:00
|
|
|
if r.calls == nil {
|
2013-09-03 13:29:02 -06:00
|
|
|
printf(r.target, "%s is not reachable in this program.", r.target)
|
2013-08-27 15:58:26 -06:00
|
|
|
} else {
|
2013-09-03 13:29:02 -06:00
|
|
|
printf(r.target, "%s is called from these %d sites:", r.target, len(r.calls))
|
|
|
|
for _, site := range r.calls {
|
|
|
|
if site.Caller() == r.root {
|
|
|
|
printf(r.target, "the root of the call graph")
|
2013-08-27 15:58:26 -06:00
|
|
|
} else {
|
2013-09-03 13:29:02 -06:00
|
|
|
printf(site, "\t%s from %s", site.Description(), site.Caller().Func())
|
2013-08-27 15:58:26 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2013-09-03 13:29:02 -06:00
|
|
|
}
|
2013-08-27 15:58:26 -06:00
|
|
|
|
2013-09-24 13:08:14 -06:00
|
|
|
func (r *callersResult) toSerial(res *serial.Result, fset *token.FileSet) {
|
|
|
|
var callers []serial.Caller
|
2013-09-03 13:29:02 -06:00
|
|
|
for _, site := range r.calls {
|
2013-09-24 13:08:14 -06:00
|
|
|
var c serial.Caller
|
2013-09-03 13:29:02 -06:00
|
|
|
c.Caller = site.Caller().Func().String()
|
|
|
|
if site.Caller() == r.root {
|
|
|
|
c.Desc = "synthetic call"
|
|
|
|
} else {
|
2013-09-10 12:11:42 -06:00
|
|
|
c.Pos = fset.Position(site.Pos()).String()
|
2013-09-03 13:29:02 -06:00
|
|
|
c.Desc = site.Description()
|
|
|
|
}
|
|
|
|
callers = append(callers, c)
|
|
|
|
}
|
|
|
|
res.Callers = callers
|
2013-08-27 15:58:26 -06:00
|
|
|
}
|