HeapVM (evosuite-client 1.0.5 API)

java.lang.Object
- org.evosuite.dse.AbstractVM
- - org.evosuite.symbolic.vm.HeapVM

All Implemented Interfaces:

IVM
```
public final class HeapVM
extends AbstractVM
```
Static area (static fields) and heap (instance fields) FIXME: reset static state before each execution.

Author:

csallner@uta.edu (Christoph Csallner)

Field Summary
- Fields inherited from class org.evosuite.dse.AbstractVM
  conf

Constructor Summary

Constructors
Constructor and Description

HeapVM(SymbolicEnvironment env, PathConditionCollector pc, ConcolicInstrumentingClassLoader classLoader)

Constructors
Constructor and Description
`HeapVM(SymbolicEnvironment env, PathConditionCollector pc, ConcolicInstrumentingClassLoader classLoader)`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`AALOAD(Object conc_array, int conc_index)`
`void`	`AASTORE(Object conc_array, int conc_index)` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.doc .html#aastore
`void`	`ANEWARRAY(int conc_array_length, String componentTypeName)` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.doc .html#anewarray
`void`	`ARRAYLENGTH(Object conc_array)`
`void`	`BALOAD(Object conc_array, int conc_index)` retrieve byte/boolean from array
`void`	`BASTORE(Object conc_array, int conc_index)`
`void`	`CALOAD(Object conc_array, int conc_index)`
`void`	`CASTORE(Object conc_array, int conc_index)`
`void`	`CHECKCAST(Object conc_ref, String typeName)` Explicit type cast:
`void`	`DALOAD(Object conc_array, int conc_index)` Load double from array ..., arrayref, index ==> ..., value http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`void`	`DASTORE(Object conc_array, int conc_index)`
`void`	`FALOAD(Object conc_array, int conc_index)`
`void`	`FASTORE(Object conc_array, int conc_index)`
`void`	`GETFIELD(Object conc_receiver, String className, String fieldName, String desc)` Retrieve the value of an instance field
`void`	`GETSTATIC(String owner, String fieldName, String desc)` GetStatic mypackage/MyClass fieldName FieldType
`void`	`IALOAD(Object conc_array, int conc_index)` Load an int value from an array and push it on the stack ..., arrayref, index ==> ..., value http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`void`	`IASTORE(Object conc_array, int conc_index)` Store the top operand stack value into an array http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`void`	`INSTANCEOF(Object conc_ref, String typeName)` Dynamic type check:
`void`	`LALOAD(Object conc_array, int conc_index)`
`void`	`LASTORE(Object conc_array, int conc_index)`
`void`	`MULTIANEWARRAY(String arrayTypeDesc, int nrDimensions)` MULTIANEWARRAY
`void`	`NEW(String className)` Allocate space on the heap and push a reference ref to it onto the stack.
`void`	`NEWARRAY(int conc_array_length, Class<?> componentType)` Create a (one-dimensional) array of primitive componenet type, e.g., new int[3] Allocate space on the heap and push a reference ref to it onto the stack.
`void`	`PUTFIELD(Object conc_receiver, String className, String fieldName, String desc)` Store a value in an instance field.
`void`	`PUTSTATIC(String owner, String name, String desc)` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`static Field`	`resolveField(Class<?> claz, String name)` Resolve (static or instance) field
`void`	`SALOAD(Object conc_array, int conc_index)`
`void`	`SASTORE(Object conc_array, int conc_index)`

Methods inherited from class org.evosuite.dse.AbstractVM
ACONST_NULL, ALOAD_0, ALOAD_1, ALOAD_2, ALOAD_3, ALOAD, ARETURN, ASTORE_0, ASTORE_1, ASTORE_2, ASTORE_3, ASTORE, ATHROW, BB_BEGIN, BIPUSH, CALL_RESULT, CALL_RESULT, CALL_RESULT, CALL_RESULT, CALL_RESULT, CALL_RESULT, CALL_RESULT, 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, D2F, D2I, D2L, DADD, DCMPG, DCMPL, DCONST_0, DCONST_1, DDIV, DLOAD_0, DLOAD_1, DLOAD_2, DLOAD_3, DLOAD, DMUL, DNEG, DREM, DRETURN, DSTORE_0, DSTORE_1, DSTORE_2, DSTORE_3, DSTORE, DSUB, DUP_X1, DUP_X2, DUP, DUP2_X1, DUP2_X2, DUP2, F2D, F2I, F2L, FADD, FCMPG, FCMPL, FCONST_0, FCONST_1, FCONST_2, FDIV, FLOAD_0, FLOAD_1, FLOAD_2, FLOAD_3, FLOAD, FMUL, FNEG, FREM, FRETURN, FSTORE_0, FSTORE_1, FSTORE_2, FSTORE_3, FSTORE, FSUB, GOTO_W, GOTO, HANDLER_BEGIN, I2B, I2C, I2D, I2F, I2L, I2S, IADD, IAND, ICONST_0, ICONST_1, ICONST_2, ICONST_3, ICONST_4, ICONST_5, ICONST_M1, IDIV, IF_ACMPEQ, IF_ACMPNE, IF_ICMPEQ, IF_ICMPGE, IF_ICMPGT, IF_ICMPLE, IF_ICMPLT, IF_ICMPNE, IFEQ, IFGE, IFGT, IFLE, IFLT, IFNE, IFNONNULL, IFNULL, IINC, ILOAD_0, ILOAD_1, ILOAD_2, ILOAD_3, ILOAD, IMUL, INEG, INVOKEINTERFACE, INVOKESPECIAL, INVOKESPECIAL, INVOKESTATIC, INVOKEVIRTUAL, IOR, IREM, IRETURN, ISHL, ISHR, ISTORE_0, ISTORE_1, ISTORE_2, ISTORE_3, ISTORE, ISUB, IUSHR, IXOR, JSR_W, JSR, L2D, L2F, L2I, LADD, LAND, LCMP, LCONST_0, LCONST_1, LDC_W, LDC, LDC, LDC, LDC, LDC2_W, LDC2_W, LDIV, LLOAD_0, LLOAD_1, LLOAD_2, LLOAD_3, LLOAD, LMUL, LNEG, LOOKUPSWITCH, LOR, LREM, LRETURN, LSHL, LSHR, LSTORE_0, LSTORE_1, LSTORE_2, LSTORE_3, LSTORE, LSUB, LUSHR, LXOR, 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, METHOD_BEGIN, METHOD_MAXS, MONITORENTER, MONITOREXIT, NOP, POP, POP2, RET, RETURN, SIPUSH, SRC_LINE_NUMBER, SWAP, TABLESWITCH, UNUSED, WIDE

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

- Constructor Detail
  - HeapVM
```
public HeapVM(SymbolicEnvironment env,
              PathConditionCollector pc,
              ConcolicInstrumentingClassLoader classLoader)
```
- Method Detail
  - resolveField
```
public static Field resolveField(Class<?> claz,
                                 String name)
```
    Resolve (static or instance) field
    JVM Specification, Section 5.4.3.2: Field Resolution: http://java.sun.com/ docs/books/jvms/second_edition/html/ConstantPool.doc.html#71685 TODO: Resolve field once and for all, then cache it.
  - GETSTATIC
```
public void GETSTATIC(String owner,
                      String fieldName,
                      String desc)
```
    GetStatic mypackage/MyClass fieldName FieldType
    
    Specified by:
    
    GETSTATIC in interface IVM
    
    Overrides:
    
    GETSTATIC in class AbstractVM
    
    Parameters:
    
    owner - name of a class or interface.
    
    fieldName - name of the field to be read. The owner class or interface itself my have declared this field. If owner is a class, then this field may also be declared by a - super-class of the owner class, or by a - interface implemented by (a super-class of) the owner class. http://java.sun.com/docs/books/jvms/second_edition/html/ Instructions2.doc5.html#getstatic
  - PUTSTATIC
```
public void PUTSTATIC(String owner,
                      String name,
                      String desc)
```
    http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc11.html#putstatic
    
    Specified by:
    
    PUTSTATIC in interface IVM
    
    Overrides:
    
    PUTSTATIC in class AbstractVM
  - NEW
```
public void NEW(String className)
```
    Allocate space on the heap and push a reference ref to it onto the stack. For each instance field declared by class className, we add a tuple (ref, default value) to the field's map. http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc10.html#new
    
    Specified by:
    
    NEW in interface IVM
    
    Overrides:
    
    NEW in class AbstractVM
  - GETFIELD
```
public void GETFIELD(Object conc_receiver,
                     String className,
                     String fieldName,
                     String desc)
```
    Retrieve the value of an instance field
    Before actually retrieving the value, the JVM will check if the instance is null. If the receiver instance is null, the JVM will throw a null pointer exception.
    
    Specified by:
    
    GETFIELD in interface IVM
    
    Overrides:
    
    GETFIELD in class AbstractVM
    
    See Also:
    
    ://java.sun.com/docs/books/jvms/second_edition/html/Instructions2 .doc5.html#getfield
  - PUTFIELD
```
public void PUTFIELD(Object conc_receiver,
                     String className,
                     String fieldName,
                     String desc)
```
    Store a value in an instance field. Before actually retrieving the value, the JVM will check if the instance is null. If the receiver instance is null, the JVM will throw a null pointer exception.
    
    Specified by:
    
    PUTFIELD in interface IVM
    
    Overrides:
    
    PUTFIELD in class AbstractVM
  - NEWARRAY
```
public void NEWARRAY(int conc_array_length,
                     Class<?> componentType)
```
    Create a (one-dimensional) array of primitive componenet type, e.g., new int[3] Allocate space on the heap and push a reference ref to it onto the stack. http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc10.html#newarray
    
    Specified by:
    
    NEWARRAY in interface IVM
    
    Overrides:
    
    NEWARRAY in class AbstractVM
  - ANEWARRAY
```
public void ANEWARRAY(int conc_array_length,
                      String componentTypeName)
```
    http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.doc .html#anewarray
    
    Specified by:
    
    ANEWARRAY in interface IVM
    
    Overrides:
    
    ANEWARRAY in class AbstractVM
  - MULTIANEWARRAY
```
public void MULTIANEWARRAY(String arrayTypeDesc,
                           int nrDimensions)
```
    MULTIANEWARRAY
```
 boolean[] b1 = new boolean[1]; // NEWARRAY T_BOOLEAN
 Boolean[] B1 = new Boolean[1]; // ANEWARRAY java/lang/Boolean
 boolean[][] b2 = new boolean[1][2]; // MULTIANEWARRAY [[Z 2
 Boolean[][] B2 = new Boolean[1][2]; // MULTIANEWARRAY [[Ljava/lang/Boolean; 2
 
```
    Specified by:
    
    MULTIANEWARRAY in interface IVM
    
    Overrides:
    
    MULTIANEWARRAY in class AbstractVM
  - ARRAYLENGTH
```
public void ARRAYLENGTH(Object conc_array)
```
    Specified by:
    
    ARRAYLENGTH in interface IVM
    
    Overrides:
    
    ARRAYLENGTH in class AbstractVM
  - IALOAD
```
public void IALOAD(Object conc_array,
                   int conc_index)
```
    Load an int value from an array and push it on the stack ..., arrayref, index ==> ..., value http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#iaload
    
    Specified by:
    
    IALOAD in interface IVM
    
    Overrides:
    
    IALOAD in class AbstractVM
  - LALOAD
```
public void LALOAD(Object conc_array,
                   int conc_index)
```
    Specified by:
    
    LALOAD in interface IVM
    
    Overrides:
    
    LALOAD in class AbstractVM
  - FALOAD
```
public void FALOAD(Object conc_array,
                   int conc_index)
```
    Specified by:
    
    FALOAD in interface IVM
    
    Overrides:
    
    FALOAD in class AbstractVM
  - DALOAD
```
public void DALOAD(Object conc_array,
                   int conc_index)
```
    Load double from array ..., arrayref, index ==> ..., value http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc3.html#daload
    
    Specified by:
    
    DALOAD in interface IVM
    
    Overrides:
    
    DALOAD in class AbstractVM
  - AALOAD
```
public void AALOAD(Object conc_array,
                   int conc_index)
```
    Specified by:
    
    AALOAD in interface IVM
    
    Overrides:
    
    AALOAD in class AbstractVM
  - BALOAD
```
public void BALOAD(Object conc_array,
                   int conc_index)
```
    retrieve byte/boolean from array
    
    Specified by:
    
    BALOAD in interface IVM
    
    Overrides:
    
    BALOAD in class AbstractVM
  - CALOAD
```
public void CALOAD(Object conc_array,
                   int conc_index)
```
    Specified by:
    
    CALOAD in interface IVM
    
    Overrides:
    
    CALOAD in class AbstractVM
  - SALOAD
```
public void SALOAD(Object conc_array,
                   int conc_index)
```
    Specified by:
    
    SALOAD in interface IVM
    
    Overrides:
    
    SALOAD in class AbstractVM
  - IASTORE
```
public void IASTORE(Object conc_array,
                    int conc_index)
```
    Store the top operand stack value into an array http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#iastore
    
    Specified by:
    
    IASTORE in interface IVM
    
    Overrides:
    
    IASTORE in class AbstractVM
  - LASTORE
```
public void LASTORE(Object conc_array,
                    int conc_index)
```
    Specified by:
    
    LASTORE in interface IVM
    
    Overrides:
    
    LASTORE in class AbstractVM
  - FASTORE
```
public void FASTORE(Object conc_array,
                    int conc_index)
```
    Specified by:
    
    FASTORE in interface IVM
    
    Overrides:
    
    FASTORE in class AbstractVM
  - DASTORE
```
public void DASTORE(Object conc_array,
                    int conc_index)
```
    Specified by:
    
    DASTORE in interface IVM
    
    Overrides:
    
    DASTORE in class AbstractVM
  - AASTORE
```
public void AASTORE(Object conc_array,
                    int conc_index)
```
    http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.doc .html#aastore
    
    Specified by:
    
    AASTORE in interface IVM
    
    Overrides:
    
    AASTORE in class AbstractVM
  - BASTORE
```
public void BASTORE(Object conc_array,
                    int conc_index)
```
    Specified by:
    
    BASTORE in interface IVM
    
    Overrides:
    
    BASTORE in class AbstractVM
  - CASTORE
```
public void CASTORE(Object conc_array,
                    int conc_index)
```
    Specified by:
    
    CASTORE in interface IVM
    
    Overrides:
    
    CASTORE in class AbstractVM
  - SASTORE
```
public void SASTORE(Object conc_array,
                    int conc_index)
```
    Specified by:
    
    SASTORE in interface IVM
    
    Overrides:
    
    SASTORE in class AbstractVM
  - CHECKCAST
```
public void CHECKCAST(Object conc_ref,
                      String typeName)
```
    Explicit type cast:
```
 RefTypeX x = (RefTypeX) ref;
 
```
    null is treated as (can be cast to) any reference type. This is consistent with the null type being a subtype of every reference type. Note the different treatment in INSTANCEOF(java.lang.Object, java.lang.String). http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc2.html#checkcast
    Specified by:
    
    CHECKCAST in interface IVM
    
    Overrides:
    
    CHECKCAST in class AbstractVM
  - INSTANCEOF
```
public void INSTANCEOF(Object conc_ref,
                       String typeName)
```
    Dynamic type check:
```
 (variable instanceof TypeName)
 
```
    null is not treated as (is not an instance of) any reference type. This requires non-standard treatment of null. Note the different treatment in CHECKCAST(java.lang.Object, java.lang.String).
    If the jvm has not loaded the class/interface named TypeName before, then we load it. TODO: Is this a problem? http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#instanceof
    Specified by:
    
    INSTANCEOF in interface IVM
    
    Overrides:
    
    INSTANCEOF in class AbstractVM

Class HeapVM

Field Summary

Fields inherited from class org.evosuite.dse.AbstractVM

Constructor Summary

Method Summary

Methods inherited from class org.evosuite.dse.AbstractVM

Methods inherited from class java.lang.Object

Constructor Detail

HeapVM

Method Detail

resolveField

GETSTATIC

PUTSTATIC

NEW

GETFIELD

PUTFIELD

NEWARRAY

ANEWARRAY

MULTIANEWARRAY

ARRAYLENGTH

IALOAD

LALOAD

FALOAD

DALOAD

AALOAD

BALOAD

CALOAD

SALOAD

IASTORE

LASTORE

FASTORE

DASTORE

AASTORE

BASTORE

CASTORE

SASTORE

CHECKCAST

INSTANCEOF