diff --git a/oracle/callers.go b/oracle/callers.go index 9633a0c7..dcf34c39 100644 --- a/oracle/callers.go +++ b/oracle/callers.go @@ -59,6 +59,10 @@ func callers(q *Query) error { return fmt.Errorf("no SSA function built for this location (dead code?)") } + // TODO(adonovan): opt: if function is never address-taken, skip + // the pointer analysis. Just look for direct calls. This can + // be done in a single pass over the SSA. + // Run the pointer analysis, recording each // call found to originate from target. ptaConfig.BuildCallGraph = true