org.evosuite.symbolic.vm

Class SymbolicFunctionVM

java.lang.Object

org.evosuite.dse.AbstractVM

org.evosuite.symbolic.vm.SymbolicFunctionVM

All Implemented Interfaces:

IVM

public final class SymbolicFunctionVM
extends AbstractVM

Author:

galeotti

Field Summary

Fields inherited from class org.evosuite.dse.AbstractVM

conf

Constructor Summary

Constructors

Constructor and Description
SymbolicFunctionVM(SymbolicEnvironment env, PathConditionCollector pc)

Method Summary

Modifier and Type	Method and Description
void	CALL_RESULT(boolean conc_ret_val, String owner, String name, String desc)
void	CALL_RESULT(double conc_ret_val, String owner, String name, String desc)
void	CALL_RESULT(float conc_ret_val, String owner, String name, String desc)
void	CALL_RESULT(int conc_ret_val, String owner, String name, String desc)
void	CALL_RESULT(long conc_ret_val, String owner, String name, String desc)
void	CALL_RESULT(Object conc_ret_val, String owner, String name, String desc)
void	CALL_RESULT(String owner, String name, String desc) Value returned by the just completed method call
void	CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, boolean conc_arg)
void	CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, byte conc_arg)
void	CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, char conc_arg)
void	CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, double conc_arg)
void	CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, float conc_arg)
void	CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, int conc_arg) 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 conc_arg)
void	CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, Object conc_arg)
void	CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, short conc_arg)
void	INVOKEINTERFACE(Object conc_receiver, String owner, String name, String desc)
void	INVOKESPECIAL(Object conc_receiver, String owner, String name, String desc)
void	INVOKESPECIAL(String owner, String name, String desc)
void	INVOKESTATIC(String owner, String name, String desc)
void	INVOKEVIRTUAL(Object conc_receiver, String owner, String name, String desc)

Methods inherited from class org.evosuite.dse.AbstractVM

AALOAD, AASTORE, ACONST_NULL, ALOAD_0, ALOAD_1, ALOAD_2, ALOAD_3, ALOAD, ANEWARRAY, ARETURN, 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, 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, FALOAD, FASTORE, 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, GETFIELD, GETSTATIC, GOTO_W, GOTO, HANDLER_BEGIN, 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, IRETURN, 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, 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, MULTIANEWARRAY, NEW, NEWARRAY, NOP, POP, POP2, PUTFIELD, PUTSTATIC, RET, RETURN, 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

SymbolicFunctionVM

public SymbolicFunctionVM(SymbolicEnvironment env,
                          PathConditionCollector pc)

Method Detail

INVOKESTATIC

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

Specified by:

INVOKESTATIC in interface IVM

Overrides:

INVOKESTATIC in class AbstractVM

INVOKEVIRTUAL

public void INVOKEVIRTUAL(Object conc_receiver,
                          String owner,
                          String name,
                          String desc)

Specified by:

INVOKEVIRTUAL in interface IVM

Overrides:

INVOKEVIRTUAL in class AbstractVM

CALL_RESULT

public void CALL_RESULT(int conc_ret_val,
                        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(Object conc_ret_val,
                        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(String owner,
                        String name,
                        String desc)

Description copied from interface: IVM

Value returned by the just completed method call

Specified by:

CALL_RESULT in interface IVM

Overrides:

CALL_RESULT in class AbstractVM

CALL_RESULT

public void CALL_RESULT(boolean conc_ret_val,
                        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 conc_ret_val,
                        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 conc_ret_val,
                        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 conc_ret_val,
                        String owner,
                        String name,
                        String desc)

Specified by:

CALL_RESULT in interface IVM

Overrides:

CALL_RESULT in class AbstractVM

INVOKESPECIAL

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

Specified by:

INVOKESPECIAL in interface IVM

Overrides:

INVOKESPECIAL in class AbstractVM

INVOKESPECIAL

public void INVOKESPECIAL(Object conc_receiver,
                          String owner,
                          String name,
                          String desc)

Specified by:

INVOKESPECIAL in interface IVM

Overrides:

INVOKESPECIAL in class AbstractVM

INVOKEINTERFACE

public void INVOKEINTERFACE(Object conc_receiver,
                            String owner,
                            String name,
                            String desc)

Specified by:

INVOKEINTERFACE in interface IVM

Overrides:

INVOKEINTERFACE in class AbstractVM

CALLER_STACK_PARAM

public void CALLER_STACK_PARAM(int nr,
                               int calleeLocalsIndex,
                               int conc_arg)

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 conc_arg)

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 conc_arg)

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 conc_arg)

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 conc_arg)

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 conc_arg)

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 conc_arg)

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 conc_arg)

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_arg)

Specified by:

CALLER_STACK_PARAM in interface IVM

Overrides:

CALLER_STACK_PARAM in class AbstractVM