Uses of Package
org.evosuite.symbolic.vm

Packages that use org.evosuite.symbolic.vm

Package	Description
org.evosuite.symbolic
org.evosuite.symbolic.vm
org.evosuite.symbolic.vm.apache.regex
org.evosuite.symbolic.vm.bigint
org.evosuite.symbolic.vm.math
org.evosuite.symbolic.vm.regex
org.evosuite.symbolic.vm.string
org.evosuite.symbolic.vm.string.buffer
org.evosuite.symbolic.vm.string.builder
org.evosuite.symbolic.vm.string.reader
org.evosuite.symbolic.vm.string.tokenizer
org.evosuite.symbolic.vm.wrappers

Classes in org.evosuite.symbolic.vm used by org.evosuite.symbolic

Class and Description
SymbolicEnvironment

Classes in org.evosuite.symbolic.vm used by org.evosuite.symbolic.vm

Class and Description
DoubleWordOperand
Frame Invocation frame.
IntegerOperand
Operand
OperandStack
PathConditionCollector Collects a path condition during concolic execution
RealOperand
SingleWordOperand
SymbolicEnvironment
SymbolicHeap

Classes in org.evosuite.symbolic.vm used by org.evosuite.symbolic.vm.apache.regex

Class and Description
SymbolicEnvironment
SymbolicFunction This class represents the execution of a concrete method (Math.abs(), new Integer(), etc.) at the symbolic level.

Classes in org.evosuite.symbolic.vm used by org.evosuite.symbolic.vm.bigint

Class and Description
SymbolicEnvironment
SymbolicFunction This class represents the execution of a concrete method (Math.abs(), new Integer(), etc.) at the symbolic level.

Classes in org.evosuite.symbolic.vm used by org.evosuite.symbolic.vm.math

Class and Description
SymbolicEnvironment
SymbolicFunction This class represents the execution of a concrete method (Math.abs(), new Integer(), etc.) at the symbolic level.

Classes in org.evosuite.symbolic.vm used by org.evosuite.symbolic.vm.regex

Class and Description
SymbolicEnvironment
SymbolicFunction This class represents the execution of a concrete method (Math.abs(), new Integer(), etc.) at the symbolic level.

Classes in org.evosuite.symbolic.vm used by org.evosuite.symbolic.vm.string

Class and Description
SymbolicEnvironment
SymbolicFunction This class represents the execution of a concrete method (Math.abs(), new Integer(), etc.) at the symbolic level.

Classes in org.evosuite.symbolic.vm used by org.evosuite.symbolic.vm.string.buffer

Class and Description
SymbolicEnvironment
SymbolicFunction This class represents the execution of a concrete method (Math.abs(), new Integer(), etc.) at the symbolic level.

Classes in org.evosuite.symbolic.vm used by org.evosuite.symbolic.vm.string.builder

Class and Description
SymbolicEnvironment
SymbolicFunction This class represents the execution of a concrete method (Math.abs(), new Integer(), etc.) at the symbolic level.

Classes in org.evosuite.symbolic.vm used by org.evosuite.symbolic.vm.string.reader

Class and Description
SymbolicEnvironment
SymbolicFunction This class represents the execution of a concrete method (Math.abs(), new Integer(), etc.) at the symbolic level.

Classes in org.evosuite.symbolic.vm used by org.evosuite.symbolic.vm.string.tokenizer

Class and Description
SymbolicEnvironment
SymbolicFunction This class represents the execution of a concrete method (Math.abs(), new Integer(), etc.) at the symbolic level.

Classes in org.evosuite.symbolic.vm used by org.evosuite.symbolic.vm.wrappers

Class and Description
SymbolicEnvironment
SymbolicFunction This class represents the execution of a concrete method (Math.abs(), new Integer(), etc.) at the symbolic level.