Package joeq.Compiler.Analysis.IPSSA

Interface Summary
DefinitionGraph.EdgeInfo  
DominatorQuery  
SSALocation  
 

Class Summary
ContextSet  
DefinitionGraph This is a graph consisting of definitions that uses as much sharing as possible.
IPSSABuilder This is where the main action pertaining to IPSSA construction happens.
IPSSABuilder.Application This is something we typically run afte the IPSSABuilder.
IPSSABuilder.ApplicationLaunchingPad This class allows to specify applications to be run after IPSSA has been constructed.
IPSSABuilder.Main This is an entry point for IPSSABuilder with a main(...) function.
SSABinding An SSABinding is an assignment of an SSAValue to to an SSADefinition.
SSABindingVisitor Goes over all bindings in a method.
SSABindingVisitor.EmptySSABindingVisitor  
SSABindingVisitor.SSABindingPrinter  
SSADefinition This is a definition in the SSA sense, meaning it's unique.
SSADefinition.Helper  
SSAIterator  
SSAIterator.BindingIterator  
SSAIterator.DefinitionIterator  
SSAIterator.ValueIterator  
SSALocation.LocalLocation These locations represent local variables.
SSALocation.LocalLocation.FACTORY  
SSALocation.Temporary We need to have "abstract" temporary locations for IPSSA construction purposes that do not necessarily correspond to anything tangible.
SSALocation.Temporary.FACTORY  
SSALocation.Unique  
SSALocation.Unique.FACTORY  
SSAProcInfo  
SSAProcInfo.Helper This class is used to make modifications to the IPSSA representation.
SSAProcInfo.Query This class is used to get information about the IPSSA representation.
SSAValue The RHS of a binding.
SSAValue.ActualOut  
SSAValue.Alloc  
SSAValue.Alloc.FACTORY  
SSAValue.Constant  
SSAValue.Copy This value is just a reference to a definition.
SSAValue.Copy.FACTORY  
SSAValue.FormalIn  
SSAValue.Gamma  
SSAValue.IPPhi  
SSAValue.Normal  
SSAValue.NullConstant  
SSAValue.NullConstant.FACTORY  
SSAValue.OmegaPhi This represents a merge of definitions but without any further information such as predicates.
SSAValue.Phi  
SSAValue.Predicate The representation of predicates is yet to be determined.
SSAValue.Predicated  
SSAValue.SigmaPhi  
SSAValue.Terminal  
SSAValue.UnknownConstant  
SSAValue.UnknownConstant.FACTORY  
SSAValue.UseCollection  
SSAValue.UseCollection.FACTORY  
 



Copyright © 2001-2008 John Whaley. All Rights Reserved.