| Interface | Description |
|---|---|
| DoubleWordOperand | |
| IntegerOperand | |
| Operand | |
| RealOperand | |
| SingleWordOperand |
| Class | Description |
|---|---|
| ArithmeticVM |
ByteCode instructions that pop operands off the stack, perform some
computation, and optionally push the result back onto the stack.
|
| Bv32Operand | |
| Bv64Operand | |
| CallVM |
Explicit inter-procedural control transfer: InvokeXXX, Return, etc.
|
| ConstraintFactory | |
| ConstraintNormalizer |
Transforms an IntegerConstraint into its corresponding StringConstriant,
RealConstraint or IntegerConstraint
|
| ConstructorFrame |
Frame for a constructor invocation (
|
| ExpressionFactory | |
| FakeBottomFrame |
Frame at the bottom of the invocation stack.
|
| FakeMainCallerFrame |
Fake Stack Frame for simulating the invokation from the command line to
the main(String[] a) method with no arguments.
|
| Fp32Operand | |
| Fp64Operand | |
| Frame |
Invocation frame.
|
| HeapVM |
Static area (static fields) and heap (instance fields)
FIXME: reset static state before each execution.
|
| JumpVM |
Java byte codes we group together as "jump-related"
Explicit intra-procedural control transfer, conditional or unconditional:
Goto, jump, etc.
|
| LocalsTable | |
| LocalsVM | |
| MethodFrame |
Frame for a method invocation
|
| OperandStack | |
| OtherVM | |
| PathConditionCollector |
Collects a path condition during concolic execution
|
| ReferenceOperand | |
| SymbolicEnvironment | |
| SymbolicFunction |
This class represents the execution of a concrete method (Math.abs(), new
Integer(), etc.) at the symbolic level.
|
| SymbolicFunctionVM | |
| SymbolicHeap |
Copyright © 2010–2017 EvoSuite. All rights reserved.