CallVM (evosuite-client 1.0.5 API)

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

All Implemented Interfaces:

IVM
```
public final class CallVM
extends AbstractVM
```
Explicit inter-procedural control transfer: InvokeXXX, Return, etc. We ignore the CALLER_STACK_PARAM calls here, as we have maintained the operand stack during the caller's execution, so we already know the operand stack values and therefore the parameter values to be used for a given method invocation.

Author:

csallner@uta.edu (Christoph Csallner)

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

Constructor Summary

Constructors
Constructor and Description

CallVM(SymbolicEnvironment env, ConcolicInstrumentingClassLoader classLoader)
Constructor

Constructors
Constructor and Description
`CallVM(SymbolicEnvironment env, ConcolicInstrumentingClassLoader classLoader)` Constructor

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`ARETURN()`
`void`	`CALL_RESULT(boolean res, String owner, String name, String desc)` Our chance to capture the value returned by a native or un-instrumented method.
`void`	`CALL_RESULT(double res, String owner, String name, String desc)`
`void`	`CALL_RESULT(float res, String owner, String name, String desc)`
`void`	`CALL_RESULT(int res, String owner, String name, String desc)` int, short, byte all map to a BitVec32 TODO: Will this work for char?
`void`	`CALL_RESULT(long res, String owner, String name, String desc)`
`void`	`CALL_RESULT(Object res, String owner, String name, String desc)`
`void`	`CALL_RESULT(String owner, String name, String desc)` No actual return value.
`void`	`CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, boolean value)`
`void`	`CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, byte value)`
`void`	`CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, char value)`
`void`	`CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, double value)`
`void`	`CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, float value)`
`void`	`CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, int value)` Pass a caller's nr-th concrete method argument value (which is sitting on the caller's operand stack).
`void`	`CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, long value)`
`void`	`CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, Object conc_ref)`
`void`	`CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, short value)`
`void`	`DRETURN()`
`void`	`FRETURN()`
`void`	`HANDLER_BEGIN(int access, String className, String methName, String methDesc)` Begin of a basic block that is the begin of an exception handler.
`void`	`INVOKEINTERFACE(Object conc_receiver, String className, String methName, String methDesc)` We get this callback right before the user code makes the corresponding call to interface method className.methName(methDesc).
`void`	`INVOKESPECIAL(Object conc_receiver, String className, String methName, String methDesc)`
`void`	`INVOKESPECIAL(String className, String methName, String methDesc)` Used to invoke any instance initialization method = (constructor + field init) private method method of a superclass of the current class No dynamic dispatch (unlike InvokeVirtual) http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`void`	`INVOKESTATIC(String className, String methName, String methDesc)` http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
`void`	`INVOKEVIRTUAL(Object conc_receiver, String className, String methName, String methDesc)` We get this callback right before the user code makes the corresponding virtual call to method className.methName(methDesc).
`void`	`IRETURN()` Dispose our frame and transfer the return value back.
`void`	`LRETURN()`
`void`	`METHOD_BEGIN_PARAM(int nr, int index, boolean value)`
`void`	`METHOD_BEGIN_PARAM(int nr, int index, byte value)`
`void`	`METHOD_BEGIN_PARAM(int nr, int index, char value)`
`void`	`METHOD_BEGIN_PARAM(int nr, int index, double value)`
`void`	`METHOD_BEGIN_PARAM(int nr, int index, float value)`
`void`	`METHOD_BEGIN_PARAM(int nr, int index, int value)` Pass index-th concrete parameter of the just called method.
`void`	`METHOD_BEGIN_PARAM(int nr, int index, long value)`
`void`	`METHOD_BEGIN_PARAM(int nr, int index, Object conc_ref)`
`void`	`METHOD_BEGIN_PARAM(int nr, int index, short value)`
`void`	`METHOD_BEGIN_RECEIVER(Object value)` METHOD_BEGIN_PARAM for the receiver instance ("this"), if this method is a non-constructor instance method.
`void`	`METHOD_BEGIN(int access, String className, String methName, String methDesc)` Pop operands off caller stack Method methName is about to start execution.
`void`	`METHOD_MAXS(String className, String methName, String methDesc, int maxStack, int maxLocals)` Cache max values for this method, except for static initializers.
`void`	`RETURN()` Dispose our frame, we have no value to return.

Methods inherited from class org.evosuite.dse.AbstractVM
AALOAD, AASTORE, ACONST_NULL, ALOAD_0, ALOAD_1, ALOAD_2, ALOAD_3, ALOAD, ANEWARRAY, ARRAYLENGTH, ASTORE_0, ASTORE_1, ASTORE_2, ASTORE_3, ASTORE, ATHROW, BALOAD, BASTORE, BB_BEGIN, BIPUSH, CALOAD, CASTORE, CHECKCAST, D2F, D2I, D2L, DADD, DALOAD, DASTORE, DCMPG, DCMPL, DCONST_0, DCONST_1, DDIV, DLOAD_0, DLOAD_1, DLOAD_2, DLOAD_3, DLOAD, DMUL, DNEG, DREM, DSTORE_0, DSTORE_1, DSTORE_2, DSTORE_3, DSTORE, DSUB, DUP_X1, DUP_X2, DUP, DUP2_X1, DUP2_X2, DUP2, F2D, F2I, F2L, FADD, FALOAD, FASTORE, FCMPG, FCMPL, FCONST_0, FCONST_1, FCONST_2, FDIV, FLOAD_0, FLOAD_1, FLOAD_2, FLOAD_3, FLOAD, FMUL, FNEG, FREM, FSTORE_0, FSTORE_1, FSTORE_2, FSTORE_3, FSTORE, FSUB, GETFIELD, GETSTATIC, GOTO_W, GOTO, I2B, I2C, I2D, I2F, I2L, I2S, IADD, IALOAD, IAND, IASTORE, 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, INSTANCEOF, IOR, IREM, ISHL, ISHR, ISTORE_0, ISTORE_1, ISTORE_2, ISTORE_3, ISTORE, ISUB, IUSHR, IXOR, JSR_W, JSR, L2D, L2F, L2I, LADD, LALOAD, LAND, LASTORE, 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, LSHL, LSHR, LSTORE_0, LSTORE_1, LSTORE_2, LSTORE_3, LSTORE, LSUB, LUSHR, LXOR, MONITORENTER, MONITOREXIT, MULTIANEWARRAY, NEW, NEWARRAY, NOP, POP, POP2, PUTFIELD, PUTSTATIC, RET, SALOAD, SASTORE, 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
  - CallVM
```
public CallVM(SymbolicEnvironment env,
              ConcolicInstrumentingClassLoader classLoader)
```
    Constructor
- Method Detail
  - HANDLER_BEGIN
```
public void HANDLER_BEGIN(int access,
                          String className,
                          String methName,
                          String methDesc)
```
    Begin of a basic block that is the begin of an exception handler. We could be in an entirely different invocation frame than the previous instruction was in. TODO: Account for different call sites in the same method. This may lead to the need to discard frames although they are of the same function as indicated by the parameters.
    
    Specified by:
    
    HANDLER_BEGIN in interface IVM
    
    Overrides:
    
    HANDLER_BEGIN in class AbstractVM
  - METHOD_MAXS
```
public void METHOD_MAXS(String className,
                        String methName,
                        String methDesc,
                        int maxStack,
                        int maxLocals)
```
    Cache max values for this method, except for static initializers.
    
    Specified by:
    
    METHOD_MAXS in interface IVM
    
    Overrides:
    
    METHOD_MAXS in class AbstractVM
  - METHOD_BEGIN
```
public void METHOD_BEGIN(int access,
                         String className,
                         String methName,
                         String methDesc)
```
    Pop operands off caller stack Method methName is about to start execution. At this point we have either already seen (observed InvokeXXX) or missed this invocation of the methName method. We miss any of the following: - invoke (as there are no such statements) - invoke (as we do not add instrumentation code for these) User code cannot call the () method directly. Instead, the JVM invokes a class's initializer implicitly, upon the first use of the class. http://java.sun.com/docs/books/jvms/second_edition/html/Concepts.doc.html #32316 http://java.sun.com/docs/books/jvms/second_edition/html/Concepts.doc .html#19075 http://java.sun.com/docs/books/jvms/second_edition/html/Overview .doc.html#16262
    
    Specified by:
    
    METHOD_BEGIN in interface IVM
    
    Overrides:
    
    METHOD_BEGIN in class AbstractVM
  - METHOD_BEGIN_RECEIVER
```
public void METHOD_BEGIN_RECEIVER(Object value)
```
    Description copied from interface: IVM
    
    METHOD_BEGIN_PARAM for the receiver instance ("this"), if this method is a non-constructor instance method.
    
    Specified by:
    
    METHOD_BEGIN_RECEIVER in interface IVM
    
    Overrides:
    
    METHOD_BEGIN_RECEIVER in class AbstractVM
  - METHOD_BEGIN_PARAM
```
public void METHOD_BEGIN_PARAM(int nr,
                               int index,
                               int value)
```
    Description copied from interface: IVM
    
    Pass index-th concrete parameter of the just called method. There will be no such call for a potentially present receiver instance ("this" parameter).
    
    Specified by:
    
    METHOD_BEGIN_PARAM in interface IVM
    
    Overrides:
    
    METHOD_BEGIN_PARAM in class AbstractVM
    
    Parameters:
    
    nr - index of the parameter, not counting the receiver and ignoring the additional width of category-2 parameters. E.g., in foo(double a, int b) parameter b would always have nr 1, regardless of foo being an instance method or not.
    
    index - is the index in which this value is stored in the receiver frame. In contrast to nr, this accounts for the receiver and the different widths of category-1 and category-2 parameter types.
  - METHOD_BEGIN_PARAM
```
public void METHOD_BEGIN_PARAM(int nr,
                               int index,
                               boolean value)
```
    Specified by:
    
    METHOD_BEGIN_PARAM in interface IVM
    
    Overrides:
    
    METHOD_BEGIN_PARAM in class AbstractVM
  - METHOD_BEGIN_PARAM
```
public void METHOD_BEGIN_PARAM(int nr,
                               int index,
                               byte value)
```
    Specified by:
    
    METHOD_BEGIN_PARAM in interface IVM
    
    Overrides:
    
    METHOD_BEGIN_PARAM in class AbstractVM
  - METHOD_BEGIN_PARAM
```
public void METHOD_BEGIN_PARAM(int nr,
                               int index,
                               char value)
```
    Specified by:
    
    METHOD_BEGIN_PARAM in interface IVM
    
    Overrides:
    
    METHOD_BEGIN_PARAM in class AbstractVM
  - METHOD_BEGIN_PARAM
```
public void METHOD_BEGIN_PARAM(int nr,
                               int index,
                               short value)
```
    Specified by:
    
    METHOD_BEGIN_PARAM in interface IVM
    
    Overrides:
    
    METHOD_BEGIN_PARAM in class AbstractVM
  - METHOD_BEGIN_PARAM
```
public void METHOD_BEGIN_PARAM(int nr,
                               int index,
                               long value)
```
    Specified by:
    
    METHOD_BEGIN_PARAM in interface IVM
    
    Overrides:
    
    METHOD_BEGIN_PARAM in class AbstractVM
  - METHOD_BEGIN_PARAM
```
public void METHOD_BEGIN_PARAM(int nr,
                               int index,
                               double value)
```
    Specified by:
    
    METHOD_BEGIN_PARAM in interface IVM
    
    Overrides:
    
    METHOD_BEGIN_PARAM in class AbstractVM
  - METHOD_BEGIN_PARAM
```
public void METHOD_BEGIN_PARAM(int nr,
                               int index,
                               float value)
```
    Specified by:
    
    METHOD_BEGIN_PARAM in interface IVM
    
    Overrides:
    
    METHOD_BEGIN_PARAM in class AbstractVM
  - METHOD_BEGIN_PARAM
```
public void METHOD_BEGIN_PARAM(int nr,
                               int index,
                               Object conc_ref)
```
    Specified by:
    
    METHOD_BEGIN_PARAM in interface IVM
    
    Overrides:
    
    METHOD_BEGIN_PARAM in class AbstractVM
  - INVOKESTATIC
```
public void INVOKESTATIC(String className,
                         String methName,
                         String methDesc)
```
    http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#invokestatic
    
    Specified by:
    
    INVOKESTATIC in interface IVM
    
    Overrides:
    
    INVOKESTATIC in class AbstractVM
  - INVOKESPECIAL
```
public void INVOKESPECIAL(String className,
                          String methName,
                          String methDesc)
```
    Used to invoke any
    - instance initialization method = (constructor + field init)
    - private method
    - method of a superclass of the current class
    No dynamic dispatch (unlike InvokeVirtual) http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#invokespecial http://java.sun.com/docs/books/jvms/second_edition /html/Overview.doc.html#12174 http://java.sun.com/docs/books/jvms/second_edition /html/Concepts.doc.html#33032
    Specified by:
    
    INVOKESPECIAL in interface IVM
    
    Overrides:
    
    INVOKESPECIAL in class AbstractVM
  - INVOKESPECIAL
```
public void INVOKESPECIAL(Object conc_receiver,
                          String className,
                          String methName,
                          String methDesc)
```
    Specified by:
    
    INVOKESPECIAL in interface IVM
    
    Overrides:
    
    INVOKESPECIAL in class AbstractVM
  - INVOKEVIRTUAL
```
public void INVOKEVIRTUAL(Object conc_receiver,
                          String className,
                          String methName,
                          String methDesc)
```
    We get this callback right before the user code makes the corresponding virtual call to method className.methName(methDesc). See: ConcolicMethodAdapter.visitMethodInsn(int, java.lang.String, java.lang.String, java.lang.String)
    The current instrumentation system only calls this version of INVOKEVIRTUAL for methods that take two or fewer parameters. http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#invokevirtual
    
    Specified by:
    
    INVOKEVIRTUAL in interface IVM
    
    Overrides:
    
    INVOKEVIRTUAL in class AbstractVM
  - INVOKEINTERFACE
```
public void INVOKEINTERFACE(Object conc_receiver,
                            String className,
                            String methName,
                            String methDesc)
```
    We get this callback right before the user code makes the corresponding call to interface method className.methName(methDesc). See: ConcolicMethodAdapter.visitMethodInsn(int, java.lang.String, java.lang.String, java.lang.String)
    http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#invokeinterface
    
    Specified by:
    
    INVOKEINTERFACE in interface IVM
    
    Overrides:
    
    INVOKEINTERFACE in class AbstractVM
  - RETURN
```
public void RETURN()
```
    Dispose our frame, we have no value to return.
    
    Specified by:
    
    RETURN in interface IVM
    
    Overrides:
    
    RETURN in class AbstractVM
  - IRETURN
```
public void IRETURN()
```
    Dispose our frame and transfer the return value back.
    
    Specified by:
    
    IRETURN in interface IVM
    
    Overrides:
    
    IRETURN in class AbstractVM
  - LRETURN
```
public void LRETURN()
```
    Specified by:
    
    LRETURN in interface IVM
    
    Overrides:
    
    LRETURN in class AbstractVM
  - FRETURN
```
public void FRETURN()
```
    Specified by:
    
    FRETURN in interface IVM
    
    Overrides:
    
    FRETURN in class AbstractVM
  - DRETURN
```
public void DRETURN()
```
    Specified by:
    
    DRETURN in interface IVM
    
    Overrides:
    
    DRETURN in class AbstractVM
  - ARETURN
```
public void ARETURN()
```
    Specified by:
    
    ARETURN in interface IVM
    
    Overrides:
    
    ARETURN in class AbstractVM
  - CALL_RESULT
```
public void CALL_RESULT(String owner,
                        String name,
                        String desc)
```
    No actual return value. If we invoked uninstrumented code, then throw away the parameters passed to that uninstrumented code.
    
    Specified by:
    
    CALL_RESULT in interface IVM
    
    Overrides:
    
    CALL_RESULT in class AbstractVM
  - CALL_RESULT
```
public void CALL_RESULT(boolean res,
                        String owner,
                        String name,
                        String desc)
```
    Our chance to capture the value returned by a native or un-instrumented method.
    
    Specified by:
    
    CALL_RESULT in interface IVM
    
    Overrides:
    
    CALL_RESULT in class AbstractVM
  - CALL_RESULT
```
public void CALL_RESULT(int res,
                        String owner,
                        String name,
                        String desc)
```
    int, short, byte all map to a BitVec32 TODO: Will this work for char?
    
    Specified by:
    
    CALL_RESULT in interface IVM
    
    Overrides:
    
    CALL_RESULT in class AbstractVM
  - CALL_RESULT
```
public void CALL_RESULT(Object res,
                        String owner,
                        String name,
                        String desc)
```
    Specified by:
    
    CALL_RESULT in interface IVM
    
    Overrides:
    
    CALL_RESULT in class AbstractVM
  - CALL_RESULT
```
public void CALL_RESULT(long res,
                        String owner,
                        String name,
                        String desc)
```
    Specified by:
    
    CALL_RESULT in interface IVM
    
    Overrides:
    
    CALL_RESULT in class AbstractVM
  - CALL_RESULT
```
public void CALL_RESULT(double res,
                        String owner,
                        String name,
                        String desc)
```
    Specified by:
    
    CALL_RESULT in interface IVM
    
    Overrides:
    
    CALL_RESULT in class AbstractVM
  - CALL_RESULT
```
public void CALL_RESULT(float res,
                        String owner,
                        String name,
                        String desc)
```
    Specified by:
    
    CALL_RESULT in interface IVM
    
    Overrides:
    
    CALL_RESULT in class AbstractVM
  - CALLER_STACK_PARAM
```
public void CALLER_STACK_PARAM(int nr,
                               int calleeLocalsIndex,
                               int value)
```
    Description copied from interface: IVM
    
    Pass a caller's nr-th concrete method argument value (which is sitting on the caller's operand stack). There will be no such call for a potentially present receiver instance ("this" parameter).
    There is no CALLER_STACK_RECEIVER, as the receiver is already passed by the corresponding INVOKE.
    
    Specified by:
    
    CALLER_STACK_PARAM in interface IVM
    
    Overrides:
    
    CALLER_STACK_PARAM in class AbstractVM
    
    Parameters:
    
    nr - index of the parameter, not counting the receiver and ignoring the additional width of category-2 parameters. E.g., in foo(double a, int b) parameter b would always have nr 1, regardless of foo being an instance method or not.
    
    calleeLocalsIndex - is the index in which this value is stored in the receiver frame. In contrast to nr, this accounts for the receiver and the different widths of category-1 and category-2 parameter types.
  - CALLER_STACK_PARAM
```
public void CALLER_STACK_PARAM(int nr,
                               int calleeLocalsIndex,
                               boolean value)
```
    Specified by:
    
    CALLER_STACK_PARAM in interface IVM
    
    Overrides:
    
    CALLER_STACK_PARAM in class AbstractVM
  - CALLER_STACK_PARAM
```
public void CALLER_STACK_PARAM(int nr,
                               int calleeLocalsIndex,
                               short value)
```
    Specified by:
    
    CALLER_STACK_PARAM in interface IVM
    
    Overrides:
    
    CALLER_STACK_PARAM in class AbstractVM
  - CALLER_STACK_PARAM
```
public void CALLER_STACK_PARAM(int nr,
                               int calleeLocalsIndex,
                               byte value)
```
    Specified by:
    
    CALLER_STACK_PARAM in interface IVM
    
    Overrides:
    
    CALLER_STACK_PARAM in class AbstractVM
  - CALLER_STACK_PARAM
```
public void CALLER_STACK_PARAM(int nr,
                               int calleeLocalsIndex,
                               char value)
```
    Specified by:
    
    CALLER_STACK_PARAM in interface IVM
    
    Overrides:
    
    CALLER_STACK_PARAM in class AbstractVM
  - CALLER_STACK_PARAM
```
public void CALLER_STACK_PARAM(int nr,
                               int calleeLocalsIndex,
                               long value)
```
    Specified by:
    
    CALLER_STACK_PARAM in interface IVM
    
    Overrides:
    
    CALLER_STACK_PARAM in class AbstractVM
  - CALLER_STACK_PARAM
```
public void CALLER_STACK_PARAM(int nr,
                               int calleeLocalsIndex,
                               float value)
```
    Specified by:
    
    CALLER_STACK_PARAM in interface IVM
    
    Overrides:
    
    CALLER_STACK_PARAM in class AbstractVM
  - CALLER_STACK_PARAM
```
public void CALLER_STACK_PARAM(int nr,
                               int calleeLocalsIndex,
                               double value)
```
    Specified by:
    
    CALLER_STACK_PARAM in interface IVM
    
    Overrides:
    
    CALLER_STACK_PARAM in class AbstractVM
  - CALLER_STACK_PARAM
```
public void CALLER_STACK_PARAM(int nr,
                               int calleeLocalsIndex,
                               Object conc_ref)
```
    Specified by:
    
    CALLER_STACK_PARAM in interface IVM
    
    Overrides:
    
    CALLER_STACK_PARAM in class AbstractVM

Class CallVM

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

CallVM

Method Detail

HANDLER_BEGIN

METHOD_MAXS

METHOD_BEGIN

METHOD_BEGIN_RECEIVER

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

INVOKESTATIC

INVOKESPECIAL

INVOKESPECIAL

INVOKEVIRTUAL

INVOKEINTERFACE

RETURN

IRETURN

LRETURN

FRETURN

DRETURN

ARETURN

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