Package korat.instrumentation.bytecode

Interface Summary

BytecodeVisitor

Class Summary

ArrayBytecodesVisitor	Visitor that handles each bytecode instruction in order to instrument all accesses to array fields.
BytecodeInstruction
BytecodeUtils
JavassistInstructionVisitor
OperandStack
OperandStack.StackElem	Memento class that stores needed informations about stack elements
StackTracerVisitor	This class is intended to be used for tracing the types of values on the operand stack during the traversal of the instructions of a single method.
VisitorSupport

Enum Summary

OperandStack.ConsumedByKind
OperandStack.ElemKind