Uses of Package
joeq.Compiler.Analysis.IPA

Packages that use joeq.Compiler.Analysis.IPA

joeq.Compiler.Analysis.BDD
joeq.Compiler.Analysis.FlowInsensitive
joeq.Compiler.Analysis.IPA
joeq.Compiler.Analysis.IPSSA
joeq.Compiler.Analysis.IPSSA.Utils
joeq.Compiler.Analysis.Primitive
joeq.Compiler.Quad
joeq.Util.IO

Classes in joeq.Compiler.Analysis.IPA used by joeq.Compiler.Analysis.BDD

ProgramLocation.BCProgramLocation

Classes in joeq.Compiler.Analysis.IPA used by joeq.Compiler.Analysis.FlowInsensitive

ProgramLocation
This class provides a general mechanism to describe a location in the code, independent of IR type.

ProgramLocation.QuadProgramLocation

Classes in joeq.Compiler.Analysis.IPA used by joeq.Compiler.Analysis.IPA

ObjectCreationGraph

PA
Pointer analysis using BDDs.

PA.HeapPathSelector

PA.ObjectPathSelector

PA.ToString

PA.VarPathSelector

PAResults
Records results for pointer analysis.

PAResults.HeapLocation

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

ProgramLocation
This class provides a general mechanism to describe a location in the code, independent of IR type.

ProgramLocation.BCProgramLocation

ProgramLocation.PlaceholderParameterProgramLocation

ProgramLocation.QuadProgramLocation

SubtypeHelper

Classes in joeq.Compiler.Analysis.IPA used by joeq.Compiler.Analysis.IPSSA

PA
Pointer analysis using BDDs.

PAResults
Records results for pointer analysis.

Classes in joeq.Compiler.Analysis.IPA used by joeq.Compiler.Analysis.IPSSA.Utils

PAResultSelector
A helper class for PAResults.

Classes in joeq.Compiler.Analysis.IPA used by joeq.Compiler.Analysis.Primitive

ObjectCreationGraph

ProgramLocation
This class provides a general mechanism to describe a location in the code, independent of IR type.

Classes in joeq.Compiler.Analysis.IPA used by joeq.Compiler.Quad

ProgramLocation
This class provides a general mechanism to describe a location in the code, independent of IR type.

Classes in joeq.Compiler.Analysis.IPA used by joeq.Util.IO

ProgramLocation
This class provides a general mechanism to describe a location in the code, independent of IR type.