joeq.Compiler.Analysis.IPSSA

Interfaces  DefinitionGraph.EdgeInfo DominatorQuery SSALocation

Classes  ContextSet DefinitionGraph IPSSABuilder IPSSABuilder.Application IPSSABuilder.ApplicationLaunchingPad IPSSABuilder.Main SSABinding SSABindingVisitor SSABindingVisitor.EmptySSABindingVisitor SSABindingVisitor.SSABindingPrinter SSADefinition SSADefinition.Helper SSAIterator SSAIterator.BindingIterator SSAIterator.DefinitionIterator SSAIterator.ValueIterator SSALocation.LocalLocation SSALocation.LocalLocation.FACTORY SSALocation.Temporary SSALocation.Temporary.FACTORY SSALocation.Unique SSALocation.Unique.FACTORY SSAProcInfo SSAProcInfo.Helper SSAProcInfo.Query SSAValue SSAValue.ActualOut SSAValue.Alloc SSAValue.Alloc.FACTORY SSAValue.Constant SSAValue.Copy SSAValue.Copy.FACTORY SSAValue.FormalIn SSAValue.Gamma SSAValue.IPPhi SSAValue.Normal SSAValue.NullConstant SSAValue.NullConstant.FACTORY SSAValue.OmegaPhi SSAValue.Phi SSAValue.Predicate SSAValue.Predicated SSAValue.SigmaPhi SSAValue.Terminal SSAValue.UnknownConstant SSAValue.UnknownConstant.FACTORY SSAValue.UseCollection SSAValue.UseCollection.FACTORY