Uses of Class
joeq.Compiler.Analysis.IPSSA.ContextSet

Packages that use ContextSet

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

Uses of ContextSet in joeq.Compiler.Analysis.IPA

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

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.

Uses of ContextSet in joeq.Compiler.Analysis.IPSSA

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

protected ContextSet

ContextSet.ContextLocationPair._context

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

ContextSet	ContextSet.ContextLocationPair.getContext()
protected ContextSet	SSAValue.SigmaPhi.getContext()

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

protected void

SSAValue.SigmaPhi.setContext(ContextSet _context)

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

SSAValue.SigmaPhi(ContextSet context, SSADefinition newDef, SSADefinition oldDef)