Package joeq.Compiler.Quad

Interface Summary

BasicBlockVisitor	Interface for the basic block visitor design pattern.
ControlFlowGraphVisitor
FilteredCallGraph.Filter
MethodInline.Oracle
Operand
Operand.Const4Operand
Operand.Const8Operand
Operand.ConstOperand
QuadVisitor

Class Summary

AndersenPointerAnalysis
AndersenPointerAnalysis.AccessPath
AndersenPointerAnalysis.Path
AndersenPointerAnalysis.Visitor
BasicBlock	Represents a basic block in the quad intermediate representation.
BasicBlockVisitor.AllBasicBlockVisitor	Control flow graph visitor that visits all basic blocks in the CFG with a given basic block visitor.
BasicBlockVisitor.EmptyVisitor	Empty basic block visitor for easy subclassing.
BytecodeToQuad	Converts stack-based Java bytecode to Quad intermediate format.
BytecodeToQuad.jq_ReturnAddressType
CachedCallGraph
CalculateSize	CalculateSize
CallGraph	Abstract representation of a call graph.
CallGraph.CallGraphMap
CallGraph.CallSiteMap
CHACallGraph	A simple call graph implementation based on class-hierarchy analysis with optional rapid type analysis.
CodeCache
ControlDependence
ControlFlowGraph	Control flow graph for the Quad format.
ControlFlowGraphNavigator
ControlFlowGraphVisitor.CodeCacheVisitor
DataflowFramework
DataflowFramework.EmptyAnalysis
DeadCode
Dominators
Dominators.DominatorNode
DotGraph
DotGraph.dot	dot - helper class for outputting graphviz specifications for simple cfgs See http://www.research.att.com/sw/tools/graphviz/ Process with, for instance, "dot -Tgif -o graph.gif " or simply "dotgif "
ExceptionHandler	Exception handler for basic blocks.
ExceptionHandlerIterator	Iterator for iterating through exception handlers.
ExceptionHandlerList	Holds a list of exception handlers that protect a basic block.
FilteredCallGraph
FilteredCallGraph.PackageFilter
JSRInfo
LoadedCallGraph	A call graph that is loaded from a file.
LoadedCallGraph.SortedArraySetFactory
MethodInline
MethodInline.DontInline
MethodInline.InlineSelectedCalls	Inline methods whose munged names are read from file methodNameFile (methods.txt).
MethodInline.InlineSmallSingleTargetCalls
MethodInline.InliningDecision
MethodInline.NoCheckInliningDecision
MethodInline.TypeCheckInliningDecision
Operand.AConstOperand
Operand.BasicBlockTableOperand
Operand.ConditionOperand
Operand.DConstOperand
Operand.FConstOperand
Operand.FieldOperand
Operand.IConstOperand
Operand.IntValueTableOperand
Operand.LConstOperand
Operand.MethodOperand
Operand.ParamListOperand
Operand.PConstOperand
Operand.RegisterOperand
Operand.TargetOperand
Operand.TypeOperand
Operand.UnnecessaryGuardOperand
Operand.Util
Operator
Operator.ALength
Operator.ALength.ARRAYLENGTH
Operator.ALoad
Operator.ALoad.ALOAD_A
Operator.ALoad.ALOAD_B
Operator.ALoad.ALOAD_C
Operator.ALoad.ALOAD_D
Operator.ALoad.ALOAD_F
Operator.ALoad.ALOAD_I
Operator.ALoad.ALOAD_L
Operator.ALoad.ALOAD_P
Operator.ALoad.ALOAD_S
Operator.AStore
Operator.AStore.ASTORE_A
Operator.AStore.ASTORE_B
Operator.AStore.ASTORE_C
Operator.AStore.ASTORE_D
Operator.AStore.ASTORE_F
Operator.AStore.ASTORE_I
Operator.AStore.ASTORE_L
Operator.AStore.ASTORE_P
Operator.AStore.ASTORE_S
Operator.Binary
Operator.Binary.ADD_D
Operator.Binary.ADD_F
Operator.Binary.ADD_I
Operator.Binary.ADD_L
Operator.Binary.ADD_P
Operator.Binary.ALIGN_P
Operator.Binary.AND_I
Operator.Binary.AND_L
Operator.Binary.CMP_DG
Operator.Binary.CMP_DL
Operator.Binary.CMP_FG
Operator.Binary.CMP_FL
Operator.Binary.CMP_L
Operator.Binary.CMP_P
Operator.Binary.DIV_D
Operator.Binary.DIV_F
Operator.Binary.DIV_I
Operator.Binary.DIV_L
Operator.Binary.MUL_D
Operator.Binary.MUL_F
Operator.Binary.MUL_I
Operator.Binary.MUL_L
Operator.Binary.OR_I
Operator.Binary.OR_L
Operator.Binary.REM_D
Operator.Binary.REM_F
Operator.Binary.REM_I
Operator.Binary.REM_L
Operator.Binary.SHL_I
Operator.Binary.SHL_L
Operator.Binary.SHR_I
Operator.Binary.SHR_L
Operator.Binary.SUB_D
Operator.Binary.SUB_F
Operator.Binary.SUB_I
Operator.Binary.SUB_L
Operator.Binary.SUB_P
Operator.Binary.USHR_I
Operator.Binary.USHR_L
Operator.Binary.XOR_I
Operator.Binary.XOR_L
Operator.BoundsCheck
Operator.BoundsCheck.BOUNDS_CHECK
Operator.Branch
Operator.CheckCast
Operator.CheckCast.CHECKCAST
Operator.Getfield
Operator.Getfield.GETFIELD_A
Operator.Getfield.GETFIELD_A_DYNLINK
Operator.Getfield.GETFIELD_B
Operator.Getfield.GETFIELD_B_DYNLINK
Operator.Getfield.GETFIELD_C
Operator.Getfield.GETFIELD_C_DYNLINK
Operator.Getfield.GETFIELD_D
Operator.Getfield.GETFIELD_D_DYNLINK
Operator.Getfield.GETFIELD_F
Operator.Getfield.GETFIELD_F_DYNLINK
Operator.Getfield.GETFIELD_I
Operator.Getfield.GETFIELD_I_DYNLINK
Operator.Getfield.GETFIELD_L
Operator.Getfield.GETFIELD_L_DYNLINK
Operator.Getfield.GETFIELD_P
Operator.Getfield.GETFIELD_P_DYNLINK
Operator.Getfield.GETFIELD_S
Operator.Getfield.GETFIELD_S_DYNLINK
Operator.Getfield.GETFIELD_Z
Operator.Getfield.GETFIELD_Z_DYNLINK
Operator.Getstatic
Operator.Getstatic.GETSTATIC_A
Operator.Getstatic.GETSTATIC_A_DYNLINK
Operator.Getstatic.GETSTATIC_B
Operator.Getstatic.GETSTATIC_B_DYNLINK
Operator.Getstatic.GETSTATIC_C
Operator.Getstatic.GETSTATIC_C_DYNLINK
Operator.Getstatic.GETSTATIC_D
Operator.Getstatic.GETSTATIC_D_DYNLINK
Operator.Getstatic.GETSTATIC_F
Operator.Getstatic.GETSTATIC_F_DYNLINK
Operator.Getstatic.GETSTATIC_I
Operator.Getstatic.GETSTATIC_I_DYNLINK
Operator.Getstatic.GETSTATIC_L
Operator.Getstatic.GETSTATIC_L_DYNLINK
Operator.Getstatic.GETSTATIC_P
Operator.Getstatic.GETSTATIC_P_DYNLINK
Operator.Getstatic.GETSTATIC_S
Operator.Getstatic.GETSTATIC_S_DYNLINK
Operator.Getstatic.GETSTATIC_Z
Operator.Getstatic.GETSTATIC_Z_DYNLINK
Operator.Goto
Operator.Goto.GOTO
Operator.InstanceOf
Operator.InstanceOf.INSTANCEOF
Operator.IntIfCmp
Operator.IntIfCmp.IFCMP_A
Operator.IntIfCmp.IFCMP_I
Operator.IntIfCmp.IFCMP_P
Operator.Invoke
Operator.Invoke.InvokeInterface
Operator.Invoke.INVOKEINTERFACE_A
Operator.Invoke.INVOKEINTERFACE_D
Operator.Invoke.INVOKEINTERFACE_F
Operator.Invoke.INVOKEINTERFACE_I
Operator.Invoke.INVOKEINTERFACE_L
Operator.Invoke.INVOKEINTERFACE_P
Operator.Invoke.INVOKEINTERFACE_V
Operator.Invoke.INVOKESPECIAL_A_DYNLINK
Operator.Invoke.INVOKESPECIAL_D_DYNLINK
Operator.Invoke.INVOKESPECIAL_F_DYNLINK
Operator.Invoke.INVOKESPECIAL_I_DYNLINK
Operator.Invoke.INVOKESPECIAL_L_DYNLINK
Operator.Invoke.INVOKESPECIAL_P_DYNLINK
Operator.Invoke.INVOKESPECIAL_V_DYNLINK
Operator.Invoke.InvokeStatic
Operator.Invoke.INVOKESTATIC_A
Operator.Invoke.INVOKESTATIC_A_DYNLINK
Operator.Invoke.INVOKESTATIC_D
Operator.Invoke.INVOKESTATIC_D_DYNLINK
Operator.Invoke.INVOKESTATIC_F
Operator.Invoke.INVOKESTATIC_F_DYNLINK
Operator.Invoke.INVOKESTATIC_I
Operator.Invoke.INVOKESTATIC_I_DYNLINK
Operator.Invoke.INVOKESTATIC_L
Operator.Invoke.INVOKESTATIC_L_DYNLINK
Operator.Invoke.INVOKESTATIC_P
Operator.Invoke.INVOKESTATIC_P_DYNLINK
Operator.Invoke.INVOKESTATIC_V
Operator.Invoke.INVOKESTATIC_V_DYNLINK
Operator.Invoke.InvokeVirtual
Operator.Invoke.INVOKEVIRTUAL_A
Operator.Invoke.INVOKEVIRTUAL_A_DYNLINK
Operator.Invoke.INVOKEVIRTUAL_D
Operator.Invoke.INVOKEVIRTUAL_D_DYNLINK
Operator.Invoke.INVOKEVIRTUAL_F
Operator.Invoke.INVOKEVIRTUAL_F_DYNLINK
Operator.Invoke.INVOKEVIRTUAL_I
Operator.Invoke.INVOKEVIRTUAL_I_DYNLINK
Operator.Invoke.INVOKEVIRTUAL_L
Operator.Invoke.INVOKEVIRTUAL_L_DYNLINK
Operator.Invoke.INVOKEVIRTUAL_P
Operator.Invoke.INVOKEVIRTUAL_P_DYNLINK
Operator.Invoke.INVOKEVIRTUAL_V
Operator.Invoke.INVOKEVIRTUAL_V_DYNLINK
Operator.Jsr
Operator.Jsr.JSR
Operator.LookupSwitch
Operator.LookupSwitch.LOOKUPSWITCH
Operator.MemLoad
Operator.MemLoad.PEEK_1
Operator.MemLoad.PEEK_2
Operator.MemLoad.PEEK_4
Operator.MemLoad.PEEK_8
Operator.MemLoad.PEEK_P
Operator.MemStore
Operator.MemStore.POKE_1
Operator.MemStore.POKE_2
Operator.MemStore.POKE_4
Operator.MemStore.POKE_8
Operator.MemStore.POKE_P
Operator.Monitor
Operator.Monitor.MONITORENTER
Operator.Monitor.MONITOREXIT
Operator.Move
Operator.Move.MOVE_A
Operator.Move.MOVE_D
Operator.Move.MOVE_F
Operator.Move.MOVE_I
Operator.Move.MOVE_L
Operator.Move.MOVE_P
Operator.New
Operator.New.NEW
Operator.New.NEW_DYNLINK
Operator.NewArray
Operator.NewArray.NEWARRAY
Operator.NullCheck
Operator.NullCheck.NULL_CHECK
Operator.Phi
Operator.Phi.PHI
Operator.Putfield
Operator.Putfield.PUTFIELD_A
Operator.Putfield.PUTFIELD_A_DYNLINK
Operator.Putfield.PUTFIELD_B
Operator.Putfield.PUTFIELD_B_DYNLINK
Operator.Putfield.PUTFIELD_C
Operator.Putfield.PUTFIELD_C_DYNLINK
Operator.Putfield.PUTFIELD_D
Operator.Putfield.PUTFIELD_D_DYNLINK
Operator.Putfield.PUTFIELD_F
Operator.Putfield.PUTFIELD_F_DYNLINK
Operator.Putfield.PUTFIELD_I
Operator.Putfield.PUTFIELD_I_DYNLINK
Operator.Putfield.PUTFIELD_L
Operator.Putfield.PUTFIELD_L_DYNLINK
Operator.Putfield.PUTFIELD_P
Operator.Putfield.PUTFIELD_P_DYNLINK
Operator.Putfield.PUTFIELD_S
Operator.Putfield.PUTFIELD_S_DYNLINK
Operator.Putfield.PUTFIELD_Z
Operator.Putfield.PUTFIELD_Z_DYNLINK
Operator.Putstatic
Operator.Putstatic.PUTSTATIC_A
Operator.Putstatic.PUTSTATIC_A_DYNLINK
Operator.Putstatic.PUTSTATIC_B
Operator.Putstatic.PUTSTATIC_B_DYNLINK
Operator.Putstatic.PUTSTATIC_C
Operator.Putstatic.PUTSTATIC_C_DYNLINK
Operator.Putstatic.PUTSTATIC_D
Operator.Putstatic.PUTSTATIC_D_DYNLINK
Operator.Putstatic.PUTSTATIC_F
Operator.Putstatic.PUTSTATIC_F_DYNLINK
Operator.Putstatic.PUTSTATIC_I
Operator.Putstatic.PUTSTATIC_I_DYNLINK
Operator.Putstatic.PUTSTATIC_L
Operator.Putstatic.PUTSTATIC_L_DYNLINK
Operator.Putstatic.PUTSTATIC_P
Operator.Putstatic.PUTSTATIC_P_DYNLINK
Operator.Putstatic.PUTSTATIC_S
Operator.Putstatic.PUTSTATIC_S_DYNLINK
Operator.Putstatic.PUTSTATIC_Z
Operator.Putstatic.PUTSTATIC_Z_DYNLINK
Operator.Ret
Operator.Ret.RET
Operator.Return
Operator.Return.RETURN_A
Operator.Return.RETURN_D
Operator.Return.RETURN_F
Operator.Return.RETURN_I
Operator.Return.RETURN_L
Operator.Return.RETURN_P
Operator.Return.RETURN_V
Operator.Return.THROW_A
Operator.Special
Operator.Special.ALLOCA
Operator.Special.ATOMICADD_I
Operator.Special.ATOMICAND_I
Operator.Special.ATOMICCAS4
Operator.Special.ATOMICCAS8
Operator.Special.ATOMICSUB_I
Operator.Special.GET_BASE_POINTER
Operator.Special.GET_EAX
Operator.Special.GET_EXCEPTION
Operator.Special.GET_STACK_POINTER
Operator.Special.GET_THREAD_BLOCK
Operator.Special.INVOKE_L
Operator.Special.INVOKE_P
Operator.Special.ISEQ
Operator.Special.ISGE
Operator.Special.LONG_JUMP
Operator.Special.NOP
Operator.Special.POP_FP32
Operator.Special.POP_FP64
Operator.Special.PUSH_FP32
Operator.Special.PUSH_FP64
Operator.Special.PUSHARG_I
Operator.Special.PUSHARG_P
Operator.Special.SET_THREAD_BLOCK
Operator.StoreCheck
Operator.StoreCheck.ASTORE_CHECK
Operator.TableSwitch
Operator.TableSwitch.TABLESWITCH
Operator.Unary
Operator.Unary.ADDRESS_2INT
Operator.Unary.ADDRESS_2OBJECT
Operator.Unary.DOUBLE_2FLOAT
Operator.Unary.DOUBLE_2INT
Operator.Unary.DOUBLE_2LONG
Operator.Unary.DOUBLE_2LONGBITS
Operator.Unary.FLOAT_2DOUBLE
Operator.Unary.FLOAT_2INT
Operator.Unary.FLOAT_2INTBITS
Operator.Unary.FLOAT_2LONG
Operator.Unary.INT_2ADDRESS
Operator.Unary.INT_2BYTE
Operator.Unary.INT_2CHAR
Operator.Unary.INT_2DOUBLE
Operator.Unary.INT_2FLOAT
Operator.Unary.INT_2LONG
Operator.Unary.INT_2SHORT
Operator.Unary.INTBITS_2FLOAT
Operator.Unary.ISNULL_P
Operator.Unary.LONG_2DOUBLE
Operator.Unary.LONG_2FLOAT
Operator.Unary.LONG_2INT
Operator.Unary.LONGBITS_2DOUBLE
Operator.Unary.NEG_D
Operator.Unary.NEG_F
Operator.Unary.NEG_I
Operator.Unary.NEG_L
Operator.Unary.OBJECT_2ADDRESS
Operator.ZeroCheck
Operator.ZeroCheck.ZERO_CHECK_I
Operator.ZeroCheck.ZERO_CHECK_L
PointerExplorer
PointerExplorer.InlineSet
PointerExplorer.Specialization
PointerExplorer.SpecializationParameter
PrintCFG
Quad
QuadIterator
QuadVisitor.AllQuadVisitor
QuadVisitor.EmptyVisitor
RegisterFactory
RegisterFactory.Register
RegisterNumberVisitor	RegisterNumberVisitor
RootedCHACallGraph