joeq.Compiler.Analysis.IPA
Interface PointerAnalysisResults

All Known Implementing Classes:

PAResults

public interface PointerAnalysisResults

This interface summarizes all the relevant results of the external pointer analysis in one convenient place.

Version:

$Id: PointerAnalysisResults.java 1931 2004-09-22 22:17:47Z joewhaley $

Author:

Vladimir Livshits, John Whaley

Method Summary

Set	getAliases(jq_Method method, SSALocation loc) Returns a set of location/contextset pairs of locations that may be aliased with the given location, along with the set of contexts under which each alias can occur.
CallGraph	getCallGraph()
Set	getCallTargets(ProgramLocation.QuadProgramLocation loc)
PA	getPAResults()
boolean	hasAliases(jq_Method method, SSALocation loc) Returns whether the given location may have aliases in any context.
boolean	hasAliases(jq_Method method, SSALocation loc, ContextSet contextSet) Returns whether the given location may have aliases in the given set of contexts.
Set	mod(ProgramLocation.QuadProgramLocation loc, BasicBlock bb) Returns the set of potentially-modified locations of the given call (and transitively any calls the target may make).
Set	ref(ProgramLocation.QuadProgramLocation loc, BasicBlock block) Returns the set of potentially-referenced locations of the given call (and transitively any calls the target may make).

Method Detail

mod

Set mod(ProgramLocation.QuadProgramLocation loc,
        BasicBlock bb)

Returns the set of potentially-modified locations of the given call (and transitively any calls the target may make). Each location is represented by an SSALocation. a.f = b; everything that 'a.f' can point to loc must be in the basic block

ref

Set ref(ProgramLocation.QuadProgramLocation loc,
        BasicBlock block)

Returns the set of potentially-referenced locations of the given call (and transitively any calls the target may make). Each location is represented by an SSALocation. a = b.f; everything that 'b.f' can point to loc must be in the basic block

getAliases

Set getAliases(jq_Method method,
               SSALocation loc)

Returns a set of location/contextset pairs of locations that may be aliased with the given location, along with the set of contexts under which each alias can occur.

hasAliases

boolean hasAliases(jq_Method method,
                   SSALocation loc,
                   ContextSet contextSet)

Returns whether the given location may have aliases in the given set of contexts.

hasAliases

boolean hasAliases(jq_Method method,
                   SSALocation loc)

Returns whether the given location may have aliases in any context.

getPAResults

PA getPAResults()

getCallTargets

Set getCallTargets(ProgramLocation.QuadProgramLocation loc)

getCallGraph

CallGraph getCallGraph()