VM (evosuite-client 1.0.5 API)

java.lang.Object
- org.evosuite.dse.VM

```
public final class VM
extends Object
```
Entry-point The instrumentation inserted into user code is hard-coded to call static methods of this class. Here we just multiplex these incoming calls to a list of registered listeners.

Author:

csallner@uta.edu (Christoph Csallner)

Field Summary

Fields
Modifier and Type	Field and Description
`protected List<IVM>`	`appendListeners`
`protected IVM[]`	`listeners`
`protected int`	`nrCallbacksMethodExploration`
`protected int`	`nrCallbacksPath`
`protected List<IVM>`	`prependListeners`

Constructor Summary

Constructors
Constructor and Description

VM()

Constructors
Constructor and Description
`VM()`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`static void`	`AALOAD(Object receiver, int index)`
`static void`	`AASTORE(Object receiver, int index)`
`static void`	`ACONST_NULL()`
`static void`	`ALOAD_0()` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.doc .
`static void`	`ALOAD_1()`
`static void`	`ALOAD_2()`
`static void`	`ALOAD_3()`
`static void`	`ALOAD(int i)`
`static void`	`ANEWARRAY(int length, String componentTypeName)`
`void`	`appendListener(IVM ivm)` This method should be called before `setListeners(java.util.List<org.evosuite.dse.IVM>)`.
`static void`	`ARETURN()`
`static void`	`ARRAYLENGTH(Object reference)`
`static void`	`ASTORE_0()` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.doc .
`static void`	`ASTORE_1()`
`static void`	`ASTORE_2()`
`static void`	`ASTORE_3()`
`static void`	`ASTORE(int i)`
`static void`	`ATHROW(Object throwable)`
`static void`	`BALOAD(Object receiver, int index)`
`static void`	`BASTORE(Object receiver, int index)`
`static void`	`BB_BEGIN()` New basic block that is not the start of an exception handler
`static void`	`BIPUSH(int value)`
`static void`	`CALL_RESULT(boolean res, String owner, String name, String desc)`
`static void`	`CALL_RESULT(double res, String owner, String name, String desc)`
`static void`	`CALL_RESULT(float res, String owner, String name, String desc)`
`static void`	`CALL_RESULT(int res, String owner, String name, String desc)`
`static void`	`CALL_RESULT(long res, String owner, String name, String desc)`
`static void`	`CALL_RESULT(Object res, String owner, String name, String desc)`
`static void`	`CALL_RESULT(String owner, String name, String desc)`
`static void`	`CALLER_STACK_PARAM(boolean value, int nr, int calleeLocalsIndex)`
`static void`	`CALLER_STACK_PARAM(byte value, int nr, int calleeLocalsIndex)`
`static void`	`CALLER_STACK_PARAM(char value, int nr, int calleeLocalsIndex)`
`static void`	`CALLER_STACK_PARAM(double value, int nr, int calleeLocalsIndex)`
`static void`	`CALLER_STACK_PARAM(float value, int nr, int calleeLocalsIndex)`
`static void`	`CALLER_STACK_PARAM(int value, int nr, int calleeLocalsIndex)`
`static void`	`CALLER_STACK_PARAM(long value, int nr, int calleeLocalsIndex)`
`static void`	`CALLER_STACK_PARAM(Object value, int nr, int calleeLocalsIndex)`
`static void`	`CALLER_STACK_PARAM(short value, int nr, int calleeLocalsIndex)`
`static void`	`CALOAD(Object receiver, int index)`
`static void`	`CASTORE(Object receiver, int index)`
`static void`	`CHECKCAST(Object reference, String typeName)`
`static void`	`clearInstance()`
`protected void`	`countCallback()`
`static void`	`D2F()`
`static void`	`D2I()`
`static void`	`D2L()`
`static void`	`DADD()`
`static void`	`DALOAD(Object receiver, int index)`
`static void`	`DASTORE(Object receiver, int index)`
`static void`	`DCMPG()`
`static void`	`DCMPL()`
`static void`	`DCONST_0()`
`static void`	`DCONST_1()`
`static void`	`DDIV(double rhs)`
`static void`	`disableCallBacks()`
`static void`	`DLOAD_0()` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`DLOAD_1()`
`static void`	`DLOAD_2()`
`static void`	`DLOAD_3()`
`static void`	`DLOAD(int i)`
`static void`	`DMUL()`
`static void`	`DNEG()`
`static void`	`DREM(double rhs)`
`static void`	`DRETURN()`
`static void`	`DSTORE_0()` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`DSTORE_1()`
`static void`	`DSTORE_2()`
`static void`	`DSTORE_3()`
`static void`	`DSTORE(int i)`
`static void`	`DSUB()`
`static void`	`DUP_X1()`
`static void`	`DUP_X2()`
`static void`	`DUP()`
`static void`	`DUP2_X1()`
`static void`	`DUP2_X2()`
`static void`	`DUP2()`
`static void`	`enableCallBacks()`
`static void`	`F2D()`
`static void`	`F2I()`
`static void`	`F2L()`
`static void`	`FADD()`
`static void`	`FALOAD(Object receiver, int index)`
`static void`	`FASTORE(Object receiver, int index)`
`static void`	`FCMPG()`
`static void`	`FCMPL()`
`static void`	`FCONST_0()`
`static void`	`FCONST_1()`
`static void`	`FCONST_2()`
`static void`	`FDIV(float rhs)`
`static void`	`FLOAD_0()` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`FLOAD_1()`
`static void`	`FLOAD_2()`
`static void`	`FLOAD_3()`
`static void`	`FLOAD(int i)`
`static void`	`FMUL()`
`static void`	`FNEG()`
`static void`	`FREM(float rhs)`
`static void`	`FRETURN()`
`static void`	`FSTORE_0()` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`FSTORE_1()`
`static void`	`FSTORE_2()`
`static void`	`FSTORE_3()`
`static void`	`FSTORE(int i)`
`static void`	`FSUB()`
`protected static Class<?>`	`getArrayComponentType(int componentTypeInt)`
`static void`	`GETFIELD(Object receiver, String owner, String name, String desc)`
`static VM`	`getInstance()`
`static void`	`GETSTATIC(String owner, String name, String desc)`
`static void`	`GOTO_W()`
`static void`	`GOTO()`
`protected static void`	`handleException(Throwable t)`
`static void`	`HANDLER_BEGIN(int access, String className, String methName, String methDesc)` New basic block that is the start of an exception handler
`static void`	`I2B()`
`static void`	`I2C()`
`static void`	`I2D()`
`static void`	`I2F()`
`static void`	`I2L()`
`static void`	`I2S()`
`static void`	`IADD()` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`IALOAD(Object receiver, int index)`
`static void`	`IAND()`
`static void`	`IASTORE(Object receiver, int index)`
`static void`	`ICONST_0()` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`ICONST_1()` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`ICONST_2()` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`ICONST_3()` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`ICONST_4()` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`ICONST_5()` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`ICONST_M1()` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`IDIV(int rhs)`
`static void`	`IF_ACMPEQ(Object left, Object right, String className, String methName, int branchIndex)`
`static void`	`IF_ACMPNE(Object left, Object right, String className, String methName, int branchIndex)`
`static void`	`IF_ICMPEQ(int left, int right, String className, String methName, int branchIndex)`
`static void`	`IF_ICMPGE(int left, int right, String className, String methName, int branchIndex)`
`static void`	`IF_ICMPGT(int left, int right, String className, String methName, int branchIndex)`
`static void`	`IF_ICMPLE(int left, int right, String className, String methName, int branchIndex)`
`static void`	`IF_ICMPLT(int left, int right, String className, String methName, int branchIndex)`
`static void`	`IF_ICMPNE(int left, int right, String className, String methName, int branchIndex)`
`static void`	`IFEQ(int param, String className, String methName, int branchIndex)`
`static void`	`IFGE(int param, String className, String methName, int branchIndex)`
`static void`	`IFGT(int param, String className, String methName, int branchIndex)`
`static void`	`IFLE(int param, String className, String methName, int branchIndex)`
`static void`	`IFLT(int param, String className, String methName, int branchIndex)`
`static void`	`IFNE(int param, String className, String methName, int branchIndex)`
`static void`	`IFNONNULL(Object param, String className, String methName, int branchIndex)`
`static void`	`IFNULL(Object param, String className, String methName, int branchIndex)`
`static void`	`IINC(int i, int value)`
`static void`	`ILOAD_0()` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`ILOAD_1()`
`static void`	`ILOAD_2()`
`static void`	`ILOAD_3()`
`static void`	`ILOAD(int i)` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`IMUL()` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`INEG()`
`static void`	`INSTANCEOF(Object reference, String typeName)`
`static void`	`INVOKEINTERFACE(Object receiver, String owner, String name, String desc)`
`static void`	`INVOKESPECIAL(Object receiver, String owner, String name, String desc)`
`static void`	`INVOKESPECIAL(String owner, String name, String desc)`
`static void`	`INVOKESTATIC(String owner, String name, String desc)`
`static void`	`INVOKEVIRTUAL(Object receiver, String owner, String name, String desc)`
`static void`	`IOR()`
`static void`	`IREM(int rhs)`
`static void`	`IRETURN()`
`static void`	`ISHL()`
`static void`	`ISHR()`
`boolean`	`isStopped()`
`static void`	`ISTORE_0()` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`ISTORE_1()`
`static void`	`ISTORE_2()`
`static void`	`ISTORE_3()`
`static void`	`ISTORE(int i)` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`ISUB()`
`static void`	`IUSHR()`
`static void`	`IXOR()`
`static void`	`JSR_W()`
`static void`	`JSR()`
`static void`	`L2D()`
`static void`	`L2F()`
`static void`	`L2I()`
`static void`	`LADD()`
`static void`	`LALOAD(Object receiver, int index)`
`static void`	`LAND()`
`static void`	`LASTORE(Object receiver, int index)`
`static void`	`LCMP()`
`static void`	`LCONST_0()`
`static void`	`LCONST_1()`
`static void`	`LDC_W()` Handled by LDC
`static void`	`LDC(Class<?> x)` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`LDC(float x)` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`LDC(int x)` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`LDC(String x)` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`LDC2_W(double x)` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`LDC2_W(long x)` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`LDIV(long rhs)`
`static void`	`LLOAD_0()` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`LLOAD_1()`
`static void`	`LLOAD_2()`
`static void`	`LLOAD_3()`
`static void`	`LLOAD(int i)`
`static void`	`LMUL()`
`static void`	`LNEG()`
`static void`	`LOOKUPSWITCH(int target, int[] goals, String className, String methName, int branchIndex)`
`static void`	`LOR()`
`static void`	`LREM(long rhs)`
`static void`	`LRETURN()`
`static void`	`LSHL()`
`static void`	`LSHR()`
`static void`	`LSTORE_0()` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static void`	`LSTORE_1()`
`static void`	`LSTORE_2()`
`static void`	`LSTORE_3()`
`static void`	`LSTORE(int i)`
`static void`	`LSUB()`
`static void`	`LUSHR()`
`static void`	`LXOR()`
`static void`	`METHOD_BEGIN_PARAM(boolean value, int nr, int calleeLocalsIndex)`
`static void`	`METHOD_BEGIN_PARAM(byte value, int nr, int calleeLocalsIndex)`
`static void`	`METHOD_BEGIN_PARAM(char value, int nr, int calleeLocalsIndex)`
`static void`	`METHOD_BEGIN_PARAM(double value, int nr, int calleeLocalsIndex)`
`static void`	`METHOD_BEGIN_PARAM(float value, int nr, int calleeLocalsIndex)`
`static void`	`METHOD_BEGIN_PARAM(int value, int nr, int calleeLocalsIndex)` Pass concrete values that the caller passed into a method call, before first instruction of called method is executed.
`static void`	`METHOD_BEGIN_PARAM(long value, int nr, int calleeLocalsIndex)`
`static void`	`METHOD_BEGIN_PARAM(Object value, int nr, int calleeLocalsIndex)`
`static void`	`METHOD_BEGIN_PARAM(short value, int nr, int calleeLocalsIndex)`
`static void`	`METHOD_BEGIN_RECEIVER(Object value)`
`static void`	`METHOD_BEGIN(int access, String className, String methName, String methDesc)` New method frame, before first instruction
`static void`	`METHOD_MAXS(String className, String methName, String methDesc, int maxStack, int maxLocals)` Max values of a method
`static void`	`MONITORENTER()`
`static void`	`MONITOREXIT()`
`static void`	`MULTIANEWARRAY(String arrayTypeDesc, int nrDimensions)`
`static void`	`NEW(String typeName)`
`static void`	`NEWARRAY(int length, int componentTypeInt)`
`static void`	`NOP()`
`static void`	`POP()`
`static void`	`POP2()`
`void`	`prepareConcolicExecution()` Dsc calls this method just before invoking the current entry method.
`void`	`prependListener(IVM ivm)` This method should be called before `setListeners(java.util.List<org.evosuite.dse.IVM>)`.
`static void`	`PUTFIELD(Object receiver, String owner, String name, String desc)`
`static void`	`PUTSTATIC(String owner, String name, String desc)`
`static void`	`RET()`
`static void`	`RETURN()`
`static void`	`SALOAD(Object receiver, int index)`
`static void`	`SASTORE(Object receiver, int index)`
`void`	`setListeners(List<IVM> paramListeners)` Registers paramListeners and any listernes previously queued via prependListeners and appendListeners.
`static void`	`SIPUSH(int value)`
`static void`	`SRC_LINE_NUMBER(int lineNr)` Line number in the Java source code.
`static void`	`SWAP()`
`static void`	`TABLESWITCH(int target, int min, int max, String className, String methName, int branchIndex)`
`static void`	`UNUSED()`
`static void`	`WIDE()`
`protected void`	`zeroAllCallbacks()` To be called before exploring a new method.
`protected void`	`zeroPathCallbacks()` To be called before executing a new path through a method.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

nrCallbacksPath
```
protected int nrCallbacksPath
```

nrCallbacksMethodExploration

protected int nrCallbacksMethodExploration

listeners
```
protected IVM[] listeners
```

prependListeners
```
protected List<IVM> prependListeners
```

appendListeners
```
protected List<IVM> appendListeners
```

Constructor Detail
- VM
```
public VM()
```

Method Detail

disableCallBacks
```
public static void disableCallBacks()
```

enableCallBacks
```
public static void enableCallBacks()
```

zeroPathCallbacks
```
protected void zeroPathCallbacks()
```
To be called before executing a new path through a method.

zeroAllCallbacks
```
protected void zeroAllCallbacks()
```
To be called before exploring a new method.

countCallback
```
protected void countCallback()
```

isStopped
```
public boolean isStopped()
```

setListeners
```
public void setListeners(List<IVM> paramListeners)
```
Registers paramListeners and any listernes previously queued via prependListeners and appendListeners. The listeners are registered to be called in the following order: (prependListeners, paramListeners, appendListeners).

prependListener
```
public void prependListener(IVM ivm)
```
This method should be called before setListeners(java.util.List<org.evosuite.dse.IVM>). This method queues listener ivm to be added to the list of listeners by setListeners.

appendListener
```
public void appendListener(IVM ivm)
```
This method should be called before setListeners(java.util.List<org.evosuite.dse.IVM>). This method queues listener ivm to be added to the list of listeners by setListeners.

prepareConcolicExecution
```
public void prepareConcolicExecution()
```
Dsc calls this method just before invoking the current entry method.

NEW

public static void NEW(String typeName)

handleException

protected static void handleException(Throwable t)

CALLER_STACK_PARAM

public static void CALLER_STACK_PARAM(int value,
                                      int nr,
                                      int calleeLocalsIndex)

CALLER_STACK_PARAM

public static void CALLER_STACK_PARAM(boolean value,
                                      int nr,
                                      int calleeLocalsIndex)

CALLER_STACK_PARAM

public static void CALLER_STACK_PARAM(byte value,
                                      int nr,
                                      int calleeLocalsIndex)

CALLER_STACK_PARAM

public static void CALLER_STACK_PARAM(char value,
                                      int nr,
                                      int calleeLocalsIndex)

CALLER_STACK_PARAM

public static void CALLER_STACK_PARAM(short value,
                                      int nr,
                                      int calleeLocalsIndex)

CALLER_STACK_PARAM

public static void CALLER_STACK_PARAM(long value,
                                      int nr,
                                      int calleeLocalsIndex)

CALLER_STACK_PARAM

public static void CALLER_STACK_PARAM(float value,
                                      int nr,
                                      int calleeLocalsIndex)

CALLER_STACK_PARAM

public static void CALLER_STACK_PARAM(double value,
                                      int nr,
                                      int calleeLocalsIndex)

CALLER_STACK_PARAM

public static void CALLER_STACK_PARAM(Object value,
                                      int nr,
                                      int calleeLocalsIndex)

SRC_LINE_NUMBER
```
public static void SRC_LINE_NUMBER(int lineNr)
```
Line number in the Java source code.

METHOD_BEGIN

public static void METHOD_BEGIN(int access,
                                String className,
                                String methName,
                                String methDesc)

New method frame, before first instruction

METHOD_MAXS

public static void METHOD_MAXS(String className,
                               String methName,
                               String methDesc,
                               int maxStack,
                               int maxLocals)

Max values of a method

METHOD_BEGIN_PARAM

public static void METHOD_BEGIN_PARAM(int value,
                                      int nr,
                                      int calleeLocalsIndex)

Pass concrete values that the caller passed into a method call, before first instruction of called method is executed.

METHOD_BEGIN_PARAM

public static void METHOD_BEGIN_PARAM(boolean value,
                                      int nr,
                                      int calleeLocalsIndex)

METHOD_BEGIN_PARAM

public static void METHOD_BEGIN_PARAM(byte value,
                                      int nr,
                                      int calleeLocalsIndex)

METHOD_BEGIN_PARAM

public static void METHOD_BEGIN_PARAM(char value,
                                      int nr,
                                      int calleeLocalsIndex)

METHOD_BEGIN_PARAM

public static void METHOD_BEGIN_PARAM(short value,
                                      int nr,
                                      int calleeLocalsIndex)

METHOD_BEGIN_PARAM

public static void METHOD_BEGIN_PARAM(long value,
                                      int nr,
                                      int calleeLocalsIndex)

METHOD_BEGIN_PARAM

public static void METHOD_BEGIN_PARAM(float value,
                                      int nr,
                                      int calleeLocalsIndex)

METHOD_BEGIN_PARAM

public static void METHOD_BEGIN_PARAM(double value,
                                      int nr,
                                      int calleeLocalsIndex)

METHOD_BEGIN_PARAM

public static void METHOD_BEGIN_PARAM(Object value,
                                      int nr,
                                      int calleeLocalsIndex)

METHOD_BEGIN_RECEIVER

public static void METHOD_BEGIN_RECEIVER(Object value)

CALL_RESULT

public static void CALL_RESULT(String owner,
                               String name,
                               String desc)

CALL_RESULT

public static void CALL_RESULT(boolean res,
                               String owner,
                               String name,
                               String desc)

CALL_RESULT

public static void CALL_RESULT(int res,
                               String owner,
                               String name,
                               String desc)

CALL_RESULT

public static void CALL_RESULT(long res,
                               String owner,
                               String name,
                               String desc)

CALL_RESULT

public static void CALL_RESULT(double res,
                               String owner,
                               String name,
                               String desc)

CALL_RESULT

public static void CALL_RESULT(float res,
                               String owner,
                               String name,
                               String desc)

CALL_RESULT

public static void CALL_RESULT(Object res,
                               String owner,
                               String name,
                               String desc)

BB_BEGIN
```
public static void BB_BEGIN()
```
New basic block that is not the start of an exception handler

HANDLER_BEGIN

public static void HANDLER_BEGIN(int access,
                                 String className,
                                 String methName,
                                 String methDesc)

New basic block that is the start of an exception handler

NOP
```
public static void NOP()
```

ACONST_NULL
```
public static void ACONST_NULL()
```

ICONST_M1
```
public static void ICONST_M1()
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6. html#iconst_i

ICONST_0
```
public static void ICONST_0()
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6. html#iconst_i

ICONST_1
```
public static void ICONST_1()
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6. html#iconst_i

ICONST_2
```
public static void ICONST_2()
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6. html#iconst_i

ICONST_3
```
public static void ICONST_3()
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6. html#iconst_i

ICONST_4
```
public static void ICONST_4()
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6. html#iconst_i

ICONST_5
```
public static void ICONST_5()
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6. html#iconst_i

LCONST_0
```
public static void LCONST_0()
```

LCONST_1
```
public static void LCONST_1()
```

FCONST_0
```
public static void FCONST_0()
```

FCONST_1
```
public static void FCONST_1()
```

FCONST_2
```
public static void FCONST_2()
```

DCONST_0
```
public static void DCONST_0()
```

DCONST_1
```
public static void DCONST_1()
```

BIPUSH
```
public static void BIPUSH(int value)
```

SIPUSH
```
public static void SIPUSH(int value)
```

LDC
```
public static void LDC(String x)
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc8. html#ldc

LDC
```
public static void LDC(Class<?> x)
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc8. html#ldc

LDC
```
public static void LDC(int x)
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc8. html#ldc

LDC
```
public static void LDC(float x)
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc8. html#ldc

LDC_W
```
public static void LDC_W()
```
Handled by LDC

LDC2_W
```
public static void LDC2_W(long x)
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc8. html#ldc2_w

LDC2_W
```
public static void LDC2_W(double x)
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc8. html#ldc2_w

ILOAD
```
public static void ILOAD(int i)
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6. html#iload

LLOAD
```
public static void LLOAD(int i)
```

FLOAD
```
public static void FLOAD(int i)
```

DLOAD
```
public static void DLOAD(int i)
```

ALOAD
```
public static void ALOAD(int i)
```

ILOAD_0
```
public static void ILOAD_0()
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6. html#iload_n

ILOAD_1
```
public static void ILOAD_1()
```

ILOAD_2
```
public static void ILOAD_2()
```

ILOAD_3
```
public static void ILOAD_3()
```

LLOAD_0
```
public static void LLOAD_0()
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc8. html#lload_n

LLOAD_1
```
public static void LLOAD_1()
```

LLOAD_2
```
public static void LLOAD_2()
```

LLOAD_3
```
public static void LLOAD_3()
```

FLOAD_0
```
public static void FLOAD_0()
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc4. html#fload_n

FLOAD_1
```
public static void FLOAD_1()
```

FLOAD_2
```
public static void FLOAD_2()
```

FLOAD_3
```
public static void FLOAD_3()
```

DLOAD_0
```
public static void DLOAD_0()
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc3. html#dload_n

DLOAD_1
```
public static void DLOAD_1()
```

DLOAD_2
```
public static void DLOAD_2()
```

DLOAD_3
```
public static void DLOAD_3()
```

ALOAD_0
```
public static void ALOAD_0()
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.doc . html#aload_n

ALOAD_1
```
public static void ALOAD_1()
```

ALOAD_2
```
public static void ALOAD_2()
```

ALOAD_3
```
public static void ALOAD_3()
```

IALOAD

public static void IALOAD(Object receiver,
                          int index)

LALOAD

public static void LALOAD(Object receiver,
                          int index)

FALOAD

public static void FALOAD(Object receiver,
                          int index)

DALOAD

public static void DALOAD(Object receiver,
                          int index)

AALOAD

public static void AALOAD(Object receiver,
                          int index)

BALOAD

public static void BALOAD(Object receiver,
                          int index)

CALOAD

public static void CALOAD(Object receiver,
                          int index)

SALOAD

public static void SALOAD(Object receiver,
                          int index)

ISTORE
```
public static void ISTORE(int i)
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6. html#istore

LSTORE
```
public static void LSTORE(int i)
```

FSTORE
```
public static void FSTORE(int i)
```

DSTORE
```
public static void DSTORE(int i)
```

ASTORE
```
public static void ASTORE(int i)
```

ISTORE_0
```
public static void ISTORE_0()
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6. html#istore_n

ISTORE_1
```
public static void ISTORE_1()
```

ISTORE_2
```
public static void ISTORE_2()
```

ISTORE_3
```
public static void ISTORE_3()
```

LSTORE_0
```
public static void LSTORE_0()
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc8. html#lstore_n

LSTORE_1
```
public static void LSTORE_1()
```

LSTORE_2
```
public static void LSTORE_2()
```

LSTORE_3
```
public static void LSTORE_3()
```

FSTORE_0
```
public static void FSTORE_0()
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc4. html#fstore_n

FSTORE_1
```
public static void FSTORE_1()
```

FSTORE_2
```
public static void FSTORE_2()
```

FSTORE_3
```
public static void FSTORE_3()
```

DSTORE_0
```
public static void DSTORE_0()
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc3. html#dstore_n

DSTORE_1
```
public static void DSTORE_1()
```

DSTORE_2
```
public static void DSTORE_2()
```

DSTORE_3
```
public static void DSTORE_3()
```

ASTORE_0
```
public static void ASTORE_0()
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.doc . html#aSTORE_n

ASTORE_1
```
public static void ASTORE_1()
```

ASTORE_2
```
public static void ASTORE_2()
```

ASTORE_3
```
public static void ASTORE_3()
```

IASTORE

public static void IASTORE(Object receiver,
                           int index)

LASTORE

public static void LASTORE(Object receiver,
                           int index)

FASTORE

public static void FASTORE(Object receiver,
                           int index)

DASTORE

public static void DASTORE(Object receiver,
                           int index)

AASTORE

public static void AASTORE(Object receiver,
                           int index)

BASTORE

public static void BASTORE(Object receiver,
                           int index)

CASTORE

public static void CASTORE(Object receiver,
                           int index)

SASTORE

public static void SASTORE(Object receiver,
                           int index)

POP
```
public static void POP()
```

POP2
```
public static void POP2()
```

DUP
```
public static void DUP()
```

DUP_X1
```
public static void DUP_X1()
```

DUP_X2
```
public static void DUP_X2()
```

DUP2
```
public static void DUP2()
```

DUP2_X1
```
public static void DUP2_X1()
```

DUP2_X2
```
public static void DUP2_X2()
```

SWAP
```
public static void SWAP()
```

IADD
```
public static void IADD()
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6. html#iadd

LADD
```
public static void LADD()
```

FADD
```
public static void FADD()
```

DADD
```
public static void DADD()
```

ISUB
```
public static void ISUB()
```

LSUB
```
public static void LSUB()
```

FSUB
```
public static void FSUB()
```

DSUB
```
public static void DSUB()
```

IMUL
```
public static void IMUL()
```
http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6. html#imul

LMUL
```
public static void LMUL()
```

FMUL
```
public static void FMUL()
```

DMUL
```
public static void DMUL()
```

IDIV
```
public static void IDIV(int rhs)
```

LDIV
```
public static void LDIV(long rhs)
```

FDIV
```
public static void FDIV(float rhs)
```

DDIV
```
public static void DDIV(double rhs)
```

IREM
```
public static void IREM(int rhs)
```

LREM
```
public static void LREM(long rhs)
```

FREM
```
public static void FREM(float rhs)
```

DREM
```
public static void DREM(double rhs)
```

INEG
```
public static void INEG()
```

LNEG
```
public static void LNEG()
```

FNEG
```
public static void FNEG()
```

DNEG
```
public static void DNEG()
```

ISHL
```
public static void ISHL()
```

LSHL
```
public static void LSHL()
```

ISHR
```
public static void ISHR()
```

LSHR
```
public static void LSHR()
```

IUSHR
```
public static void IUSHR()
```

LUSHR
```
public static void LUSHR()
```

IAND
```
public static void IAND()
```

LAND
```
public static void LAND()
```

IOR
```
public static void IOR()
```

LOR
```
public static void LOR()
```

IXOR
```
public static void IXOR()
```

LXOR
```
public static void LXOR()
```

IINC

public static void IINC(int i,
                        int value)

I2L
```
public static void I2L()
```

I2F
```
public static void I2F()
```

I2D
```
public static void I2D()
```

L2I
```
public static void L2I()
```

L2F
```
public static void L2F()
```

L2D
```
public static void L2D()
```

F2I
```
public static void F2I()
```

F2L
```
public static void F2L()
```

F2D
```
public static void F2D()
```

D2I
```
public static void D2I()
```

D2L
```
public static void D2L()
```

D2F
```
public static void D2F()
```

I2B
```
public static void I2B()
```

I2C
```
public static void I2C()
```

I2S
```
public static void I2S()
```

LCMP
```
public static void LCMP()
```

FCMPL
```
public static void FCMPL()
```

FCMPG
```
public static void FCMPG()
```

DCMPL
```
public static void DCMPL()
```

DCMPG
```
public static void DCMPG()
```

IFEQ

public static void IFEQ(int param,
                        String className,
                        String methName,
                        int branchIndex)

IFNE

public static void IFNE(int param,
                        String className,
                        String methName,
                        int branchIndex)

IFLT

public static void IFLT(int param,
                        String className,
                        String methName,
                        int branchIndex)

IFGE

public static void IFGE(int param,
                        String className,
                        String methName,
                        int branchIndex)

IFGT

public static void IFGT(int param,
                        String className,
                        String methName,
                        int branchIndex)

IFLE

public static void IFLE(int param,
                        String className,
                        String methName,
                        int branchIndex)

IF_ICMPEQ

public static void IF_ICMPEQ(int left,
                             int right,
                             String className,
                             String methName,
                             int branchIndex)

IF_ICMPNE

public static void IF_ICMPNE(int left,
                             int right,
                             String className,
                             String methName,
                             int branchIndex)

IF_ICMPLT

public static void IF_ICMPLT(int left,
                             int right,
                             String className,
                             String methName,
                             int branchIndex)

IF_ICMPGE

public static void IF_ICMPGE(int left,
                             int right,
                             String className,
                             String methName,
                             int branchIndex)

IF_ICMPGT

public static void IF_ICMPGT(int left,
                             int right,
                             String className,
                             String methName,
                             int branchIndex)

IF_ICMPLE

public static void IF_ICMPLE(int left,
                             int right,
                             String className,
                             String methName,
                             int branchIndex)

IF_ACMPEQ

public static void IF_ACMPEQ(Object left,
                             Object right,
                             String className,
                             String methName,
                             int branchIndex)

IF_ACMPNE

public static void IF_ACMPNE(Object left,
                             Object right,
                             String className,
                             String methName,
                             int branchIndex)

GOTO
```
public static void GOTO()
```

JSR
```
public static void JSR()
```

RET
```
public static void RET()
```

TABLESWITCH

public static void TABLESWITCH(int target,
                               int min,
                               int max,
                               String className,
                               String methName,
                               int branchIndex)

LOOKUPSWITCH

public static void LOOKUPSWITCH(int target,
                                int[] goals,
                                String className,
                                String methName,
                                int branchIndex)

IRETURN
```
public static void IRETURN()
```

LRETURN
```
public static void LRETURN()
```

FRETURN
```
public static void FRETURN()
```

DRETURN
```
public static void DRETURN()
```

ARETURN
```
public static void ARETURN()
```

RETURN
```
public static void RETURN()
```

GETSTATIC

public static void GETSTATIC(String owner,
                             String name,
                             String desc)

PUTSTATIC

public static void PUTSTATIC(String owner,
                             String name,
                             String desc)

GETFIELD

public static void GETFIELD(Object receiver,
                            String owner,
                            String name,
                            String desc)

PUTFIELD

public static void PUTFIELD(Object receiver,
                            String owner,
                            String name,
                            String desc)

INVOKESTATIC

public static void INVOKESTATIC(String owner,
                                String name,
                                String desc)

INVOKESPECIAL

public static void INVOKESPECIAL(String owner,
                                 String name,
                                 String desc)

INVOKEVIRTUAL

public static void INVOKEVIRTUAL(Object receiver,
                                 String owner,
                                 String name,
                                 String desc)

INVOKESPECIAL

public static void INVOKESPECIAL(Object receiver,
                                 String owner,
                                 String name,
                                 String desc)

INVOKEINTERFACE

public static void INVOKEINTERFACE(Object receiver,
                                   String owner,
                                   String name,
                                   String desc)

UNUSED
```
public static void UNUSED()
```

getArrayComponentType

protected static Class<?> getArrayComponentType(int componentTypeInt)

NEWARRAY

public static void NEWARRAY(int length,
                            int componentTypeInt)

ANEWARRAY

public static void ANEWARRAY(int length,
                             String componentTypeName)

ARRAYLENGTH

public static void ARRAYLENGTH(Object reference)

ATHROW

public static void ATHROW(Object throwable)

CHECKCAST

public static void CHECKCAST(Object reference,
                             String typeName)

INSTANCEOF

public static void INSTANCEOF(Object reference,
                              String typeName)

MONITORENTER
```
public static void MONITORENTER()
```

MONITOREXIT
```
public static void MONITOREXIT()
```

WIDE
```
public static void WIDE()
```

MULTIANEWARRAY

public static void MULTIANEWARRAY(String arrayTypeDesc,
                                  int nrDimensions)

IFNULL

public static void IFNULL(Object param,
                          String className,
                          String methName,
                          int branchIndex)

IFNONNULL

public static void IFNONNULL(Object param,
                             String className,
                             String methName,
                             int branchIndex)

GOTO_W
```
public static void GOTO_W()
```

JSR_W
```
public static void JSR_W()
```

getInstance
```
public static VM getInstance()
```

clearInstance
```
public static void clearInstance()
```

Class VM

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

nrCallbacksPath

nrCallbacksMethodExploration

listeners

prependListeners

appendListeners

Constructor Detail

VM

Method Detail

disableCallBacks

enableCallBacks

zeroPathCallbacks

zeroAllCallbacks

countCallback

isStopped

setListeners

prependListener

appendListener

prepareConcolicExecution

NEW

handleException

CALLER_STACK_PARAM

CALLER_STACK_PARAM

CALLER_STACK_PARAM

CALLER_STACK_PARAM

CALLER_STACK_PARAM

CALLER_STACK_PARAM

CALLER_STACK_PARAM

CALLER_STACK_PARAM

CALLER_STACK_PARAM

SRC_LINE_NUMBER

METHOD_BEGIN

METHOD_MAXS

METHOD_BEGIN_PARAM

METHOD_BEGIN_PARAM

METHOD_BEGIN_PARAM

METHOD_BEGIN_PARAM

METHOD_BEGIN_PARAM

METHOD_BEGIN_PARAM

METHOD_BEGIN_PARAM

METHOD_BEGIN_PARAM

METHOD_BEGIN_PARAM

METHOD_BEGIN_RECEIVER

CALL_RESULT

CALL_RESULT

CALL_RESULT

CALL_RESULT

CALL_RESULT

CALL_RESULT

CALL_RESULT

BB_BEGIN

HANDLER_BEGIN

NOP

ACONST_NULL

ICONST_M1

ICONST_0

ICONST_1

ICONST_2

ICONST_3

ICONST_4

ICONST_5

LCONST_0

LCONST_1

FCONST_0

FCONST_1

FCONST_2

DCONST_0

DCONST_1

BIPUSH

SIPUSH

LDC

LDC

LDC

LDC

LDC_W