Uses of Interface
joeq.Compiler.Analysis.IPSSA.SSALocation

Packages that use SSALocation

joeq.Compiler.Analysis.IPA
joeq.Compiler.Analysis.IPSSA

Uses of SSALocation in joeq.Compiler.Analysis.IPA

Classes in joeq.Compiler.Analysis.IPA that implement SSALocation

static class

PAResults.HeapLocation

Methods in joeq.Compiler.Analysis.IPA with parameters of type SSALocation

Set	PAResults.getAliases(jq_Method method, SSALocation loc)
Set	PointerAnalysisResults.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.
boolean	PAResults.hasAliases(jq_Method method, SSALocation loc)
boolean	PointerAnalysisResults.hasAliases(jq_Method method, SSALocation loc) Returns whether the given location may have aliases in any context.
boolean	PAResults.hasAliases(jq_Method method, SSALocation loc, ContextSet contextSet)
boolean	PointerAnalysisResults.hasAliases(jq_Method method, SSALocation loc, ContextSet contextSet) Returns whether the given location may have aliases in the given set of contexts.
boolean	PAResults.isAliased(SSALocation a, SSALocation b)

Uses of SSALocation in joeq.Compiler.Analysis.IPSSA

Classes in joeq.Compiler.Analysis.IPSSA that implement SSALocation

static class	SSALocation.LocalLocation These locations represent local variables.
static class	SSALocation.Temporary We need to have "abstract" temporary locations for IPSSA construction purposes that do not necessarily correspond to anything tangible.
static class	SSALocation.Unique

Fields in joeq.Compiler.Analysis.IPSSA declared as SSALocation

protected SSALocation	ContextSet.ContextLocationPair._location
protected SSALocation	SSADefinition._location

Methods in joeq.Compiler.Analysis.IPSSA that return SSALocation

SSALocation	ContextSet.ContextLocationPair.getLocation()
SSALocation	SSADefinition.getLocation()

Methods in joeq.Compiler.Analysis.IPSSA with parameters of type SSALocation

static SSADefinition	SSAProcInfo.Helper.create_ssa_definition(SSALocation loc, Quad quad, jq_Method method)
SSADefinition	SSAProcInfo.Query.getDefinitionFor(SSALocation loc, Quad q)
SSADefinition	SSAProcInfo.Query.getLastDefinitionFor(SSALocation loc, Quad q, boolean strict)

Constructors in joeq.Compiler.Analysis.IPSSA with parameters of type SSALocation

SSABinding(Quad quad, SSALocation loc, SSAValue value, jq_Method method)