org.evosuite.symbolic.vm

Interfaces

• DoubleWordOperand
• IntegerOperand
• Operand
• RealOperand
• SingleWordOperand

Classes

• ArithmeticVM
• Bv32Operand
• Bv64Operand
• CallVM
• ConstraintFactory
• ConstraintNormalizer
• ConstructorFrame
• ExpressionFactory
• FakeBottomFrame
• FakeMainCallerFrame
• Fp32Operand
• Fp64Operand
• Frame
• HeapVM
• JumpVM
• LocalsTable
• LocalsVM
• MethodFrame
• OperandStack
• OtherVM
• PathConditionCollector
• ReferenceOperand
• SymbolicEnvironment
• SymbolicFunction
• SymbolicFunctionVM
• SymbolicHeap