Package de.uzl.its.swat.symbolic

Class SymbolicInstructionDispatcher

java.lang.Object

de.uzl.its.swat.symbolic.SymbolicInstructionDispatcher

public final class SymbolicInstructionDispatcher
extends Object

Method Summary

Modifier and Type	Method	Description
static void	AALOAD(int iid)	Method used to interact between the concrete and symbolic execution.
static void	AALOAD(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	AASTORE(int iid)	Method used to interact between the concrete and symbolic execution.
static void	AASTORE(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	ACONST_NULL()	Method used to interact between the concrete and symbolic execution.
static void	ACONST_NULL(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	ALOAD(int var)	Method used to interact between the concrete and symbolic execution.
static void	ALOAD(int iid, int mid, int var)	Method used to interact between the concrete and symbolic execution.
static void	ANEWARRAY(int iid, int mid, String type)	Method used to interact between the concrete and symbolic execution.
static void	ANEWARRAY(int iid, String type)	Method used to interact between the concrete and symbolic execution.
static void	ARETURN(int iid)	Method used to interact between the concrete and symbolic execution.
static void	ARETURN(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	ARRAYLENGTH(int iid)	Method used to interact between the concrete and symbolic execution.
static void	ARRAYLENGTH(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	ASTORE(int var)	Method used to interact between the concrete and symbolic execution.
static void	ASTORE(int iid, int mid, int var)	Method used to interact between the concrete and symbolic execution.
static void	ATHROW(int iid)	Method used to interact between the concrete and symbolic execution.
static void	ATHROW(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	BALOAD(int iid)	Method used to interact between the concrete and symbolic execution.
static void	BALOAD(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	BASTORE(int iid)	Method used to interact between the concrete and symbolic execution.
static void	BASTORE(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	BIPUSH(int value)	Method used to interact between the concrete and symbolic execution.
static void	BIPUSH(int iid, int mid, int value)	Method used to interact between the concrete and symbolic execution.
static void	CALOAD(int iid)	Method used to interact between the concrete and symbolic execution.
static void	CALOAD(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	CASTORE(int iid)	Method used to interact between the concrete and symbolic execution.
static void	CASTORE(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	CHECKCAST(int iid, int mid, String type)	Method used to interact between the concrete and symbolic execution.
static void	CHECKCAST(int iid, String type)	Method used to interact between the concrete and symbolic execution.
static void	D2F()	Method used to interact between the concrete and symbolic execution.
static void	D2F(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	D2I()	Method used to interact between the concrete and symbolic execution.
static void	D2I(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	D2L()	Method used to interact between the concrete and symbolic execution.
static void	D2L(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	DADD()	Method used to interact between the concrete and symbolic execution.
static void	DADD(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	DALOAD(int iid)	Method used to interact between the concrete and symbolic execution.
static void	DALOAD(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	DASTORE(int iid)	Method used to interact between the concrete and symbolic execution.
static void	DASTORE(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	DCMPG()	Method used to interact between the concrete and symbolic execution.
static void	DCMPG(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	DCMPL()	Method used to interact between the concrete and symbolic execution.
static void	DCMPL(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	DCONST_0()	Method used to interact between the concrete and symbolic execution.
static void	DCONST_0(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	DCONST_1()	Method used to interact between the concrete and symbolic execution.
static void	DCONST_1(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	DDIV()	Method used to interact between the concrete and symbolic execution.
static void	DDIV(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	DLOAD(int var)	Method used to interact between the concrete and symbolic execution.
static void	DLOAD(int iid, int mid, int var)	Method used to interact between the concrete and symbolic execution.
static void	DMUL()	Method used to interact between the concrete and symbolic execution.
static void	DMUL(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	DNEG()	Method used to interact between the concrete and symbolic execution.
static void	DNEG(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	DREM()	Method used to interact between the concrete and symbolic execution.
static void	DREM(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	DRETURN(int iid)	Method used to interact between the concrete and symbolic execution.
static void	DRETURN(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	DSTORE(int var)	Method used to interact between the concrete and symbolic execution.
static void	DSTORE(int iid, int mid, int var)	Method used to interact between the concrete and symbolic execution.
static void	DSUB()	Method used to interact between the concrete and symbolic execution.
static void	DSUB(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	DUP()	Method used to interact between the concrete and symbolic execution.
static void	DUP(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	DUP_X1()	Method used to interact between the concrete and symbolic execution.
static void	DUP_X1(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	DUP_X2()	Method used to interact between the concrete and symbolic execution.
static void	DUP_X2(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	DUP2()	Method used to interact between the concrete and symbolic execution.
static void	DUP2(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	DUP2_X1()	Method used to interact between the concrete and symbolic execution.
static void	DUP2_X1(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	DUP2_X2()	Method used to interact between the concrete and symbolic execution.
static void	DUP2_X2(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	F2D()	Method used to interact between the concrete and symbolic execution.
static void	F2D(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	F2I()	Method used to interact between the concrete and symbolic execution.
static void	F2I(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	F2L()	Method used to interact between the concrete and symbolic execution.
static void	F2L(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	FADD()	Method used to interact between the concrete and symbolic execution.
static void	FADD(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	FALOAD(int iid)	Method used to interact between the concrete and symbolic execution.
static void	FALOAD(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	FASTORE(int iid)	Method used to interact between the concrete and symbolic execution.
static void	FASTORE(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	FCMPG()	Method used to interact between the concrete and symbolic execution.
static void	FCMPG(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	FCMPL()	Method used to interact between the concrete and symbolic execution.
static void	FCMPL(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	FCONST_0()	Method used to interact between the concrete and symbolic execution.
static void	FCONST_0(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	FCONST_1()	Method used to interact between the concrete and symbolic execution.
static void	FCONST_1(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	FCONST_2()	Method used to interact between the concrete and symbolic execution.
static void	FCONST_2(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	FDIV()	Method used to interact between the concrete and symbolic execution.
static void	FDIV(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	FLOAD(int var)	Method used to interact between the concrete and symbolic execution.
static void	FLOAD(int iid, int mid, int var)	Method used to interact between the concrete and symbolic execution.
static void	flush()	Method used to interact between the concrete and symbolic execution.
static void	FMUL()	Method used to interact between the concrete and symbolic execution.
static void	FMUL(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	FNEG()	Method used to interact between the concrete and symbolic execution.
static void	FNEG(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	FREM()	Method used to interact between the concrete and symbolic execution.
static void	FREM(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	FRETURN(int iid)	Method used to interact between the concrete and symbolic execution.
static void	FRETURN(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	FSTORE(int var)	Method used to interact between the concrete and symbolic execution.
static void	FSTORE(int iid, int mid, int var)	Method used to interact between the concrete and symbolic execution.
static void	FSUB()	Method used to interact between the concrete and symbolic execution.
static void	FSUB(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	GETFIELD(int iid, int mid, int cIdx, int fIdx, String desc)	Method used to interact between the concrete and symbolic execution.
static void	GETFIELD(int iid, int cIdx, int fIdx, String desc)	Method used to interact between the concrete and symbolic execution.
static void	GETSTATIC(int iid, int mid, int cIdx, int fIdx, String desc)	Method used to interact between the concrete and symbolic execution.
static void	GETSTATIC(int iid, int cIdx, int fIdx, String desc)	Method used to interact between the concrete and symbolic execution.
static void	GETVALUE_boolean(boolean v, int i)	Method used to interact between the concrete and symbolic execution.
static void	GETVALUE_byte(byte v, int i)	Method used to interact between the concrete and symbolic execution.
static void	GETVALUE_char(char v, int i)	Method used to interact between the concrete and symbolic execution.
static void	GETVALUE_double(double v, int i)	Method used to interact between the concrete and symbolic execution.
static void	GETVALUE_float(float v, int i)	Method used to interact between the concrete and symbolic execution.
static void	GETVALUE_int(int v, int i)	Method used to interact between the concrete and symbolic execution.
static void	GETVALUE_long(long v, int i)	Method used to interact between the concrete and symbolic execution.
static void	GETVALUE_Object(Object v, int i)	Method used to interact between the concrete and symbolic execution.
static void	GETVALUE_short(short v, int i)	Method used to interact between the concrete and symbolic execution.
static void	GETVALUE_void()	Method used to interact between the concrete and symbolic execution.
static void	GOTO(int iid, int label)	Method used to interact between the concrete and symbolic execution.
static void	GOTO(int iid, int mid, int label)	Method used to interact between the concrete and symbolic execution.
static void	I2B()	Method used to interact between the concrete and symbolic execution.
static void	I2B(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	I2C()	Method used to interact between the concrete and symbolic execution.
static void	I2C(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	I2D()	Method used to interact between the concrete and symbolic execution.
static void	I2D(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	I2F()	Method used to interact between the concrete and symbolic execution.
static void	I2F(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	I2L()	Method used to interact between the concrete and symbolic execution.
static void	I2L(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	I2S()	Method used to interact between the concrete and symbolic execution.
static void	I2S(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	IADD()	Method used to interact between the concrete and symbolic execution.
static void	IADD(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	IALOAD(int iid)	Method used to interact between the concrete and symbolic execution.
static void	IALOAD(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	IAND()	Method used to interact between the concrete and symbolic execution.
static void	IAND(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	IASTORE(int iid)	Method used to interact between the concrete and symbolic execution.
static void	IASTORE(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	ICONST_0()	Method used to interact between the concrete and symbolic execution.
static void	ICONST_0(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	ICONST_1()	Method used to interact between the concrete and symbolic execution.
static void	ICONST_1(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	ICONST_2()	Method used to interact between the concrete and symbolic execution.
static void	ICONST_2(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	ICONST_3()	Method used to interact between the concrete and symbolic execution.
static void	ICONST_3(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	ICONST_4()	Method used to interact between the concrete and symbolic execution.
static void	ICONST_4(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	ICONST_5()	Method used to interact between the concrete and symbolic execution.
static void	ICONST_5(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	ICONST_M1()	Method used to interact between the concrete and symbolic execution.
static void	ICONST_M1(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	IDIV(int iid)	Method used to interact between the concrete and symbolic execution.
static void	IDIV(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	IF_ACMPEQ(int iid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IF_ACMPEQ(int iid, int mid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IF_ACMPNE(int iid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IF_ACMPNE(int iid, int mid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IF_ICMPEQ(int iid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IF_ICMPEQ(int iid, int mid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IF_ICMPGE(int iid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IF_ICMPGE(int iid, int mid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IF_ICMPGT(int iid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IF_ICMPGT(int iid, int mid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IF_ICMPLE(int iid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IF_ICMPLE(int iid, int mid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IF_ICMPLT(int iid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IF_ICMPLT(int iid, int mid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IF_ICMPNE(int iid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IF_ICMPNE(int iid, int mid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IFEQ(int iid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IFEQ(int iid, int mid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IFGE(int iid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IFGE(int iid, int mid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IFGT(int iid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IFGT(int iid, int mid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IFLE(int iid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IFLE(int iid, int mid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IFLT(int iid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IFLT(int iid, int mid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IFNE(int iid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IFNE(int iid, int mid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IFNONNULL(int iid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IFNONNULL(int iid, int mid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IFNULL(int iid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IFNULL(int iid, int mid, int label)	Method used to interact between the concrete and symbolic execution.
static void	IINC(int var, int increment)	Method used to interact between the concrete and symbolic execution.
static void	IINC(int iid, int mid, int var, int increment)	Method used to interact between the concrete and symbolic execution.
static void	ILOAD(int var)	Method used to interact between the concrete and symbolic execution.
static void	ILOAD(int iid, int mid, int var)	Method used to interact between the concrete and symbolic execution.
static void	IMUL()	Method used to interact between the concrete and symbolic execution.
static void	IMUL(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	INEG()	Method used to interact between the concrete and symbolic execution.
static void	INEG(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	INSTANCEOF(int iid, int mid, String type)	Method used to interact between the concrete and symbolic execution.
static void	INSTANCEOF(int iid, String type)	Method used to interact between the concrete and symbolic execution.
static void	INVOKEDYNAMIC(int iid, int mid, String owner, String name, String desc, String lambda)	Method used to interact between the concrete and symbolic execution.
static void	INVOKEDYNAMIC(int iid, String owner, String name, String desc, String lambda)	Method used to interact between the concrete and symbolic execution.
static void	INVOKEINTERFACE(int iid, int mid, String owner, String name, String desc)	Method used to interact between the concrete and symbolic execution.
static void	INVOKEINTERFACE(int iid, String owner, String name, String desc)	Method used to interact between the concrete and symbolic execution.
static void	INVOKEMETHOD_END()	Method used to interact between the concrete and symbolic execution.
static void	INVOKEMETHOD_EXCEPTION()	Method used to interact between the concrete and symbolic execution.
static void	INVOKESPECIAL(int iid, int mid, String owner, String name, String desc)	Method used to interact between the concrete and symbolic execution.
static void	INVOKESPECIAL(int iid, String owner, String name, String desc)	Method used to interact between the concrete and symbolic execution.
static void	INVOKESTATIC(int iid, int mid, String owner, String name, String desc)	Method used to interact between the concrete and symbolic execution.
static void	INVOKESTATIC(int iid, String owner, String name, String desc)	Method used to interact between the concrete and symbolic execution.
static void	INVOKEVIRTUAL(int iid, int mid, String owner, String name, String desc)	Method used to interact between the concrete and symbolic execution.
static void	INVOKEVIRTUAL(int iid, String owner, String name, String desc)	Method used to interact between the concrete and symbolic execution.
static void	IOR()	Method used to interact between the concrete and symbolic execution.
static void	IOR(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	IREM(int iid)	Method used to interact between the concrete and symbolic execution.
static void	IREM(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	IRETURN(int iid)	Method used to interact between the concrete and symbolic execution.
static void	IRETURN(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	ISHL()	Method used to interact between the concrete and symbolic execution.
static void	ISHL(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	ISHR()	Method used to interact between the concrete and symbolic execution.
static void	ISHR(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	ISTORE(int var)	Method used to interact between the concrete and symbolic execution.
static void	ISTORE(int iid, int mid, int var)	Method used to interact between the concrete and symbolic execution.
static void	ISUB()	Method used to interact between the concrete and symbolic execution.
static void	ISUB(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	IUSHR()	Method used to interact between the concrete and symbolic execution.
static void	IUSHR(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	IXOR()	Method used to interact between the concrete and symbolic execution.
static void	IXOR(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	JSR(int iid, int label)	Method used to interact between the concrete and symbolic execution.
static void	JSR(int iid, int mid, int label)	Method used to interact between the concrete and symbolic execution.
static void	L2D()	Method used to interact between the concrete and symbolic execution.
static void	L2D(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	L2F()	Method used to interact between the concrete and symbolic execution.
static void	L2F(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	L2I()	Method used to interact between the concrete and symbolic execution.
static void	L2I(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	LADD()	Method used to interact between the concrete and symbolic execution.
static void	LADD(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	LALOAD(int iid)	Method used to interact between the concrete and symbolic execution.
static void	LALOAD(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	LAND()	Method used to interact between the concrete and symbolic execution.
static void	LAND(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	LASTORE(int iid)	Method used to interact between the concrete and symbolic execution.
static void	LASTORE(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	LCMP()	Method used to interact between the concrete and symbolic execution.
static void	LCMP(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	LCONST_0()	Method used to interact between the concrete and symbolic execution.
static void	LCONST_0(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	LCONST_1()	Method used to interact between the concrete and symbolic execution.
static void	LCONST_1(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	LDC(int iid, double c)	Method used to interact between the concrete and symbolic execution.
static void	LDC(int iid, float c)	Method used to interact between the concrete and symbolic execution.
static void	LDC(int iid, int c)	Method used to interact between the concrete and symbolic execution.
static void	LDC(int iid, int mid, double c)	Method used to interact between the concrete and symbolic execution.
static void	LDC(int iid, int mid, float c)	Method used to interact between the concrete and symbolic execution.
static void	LDC(int iid, int mid, int c)	Method used to interact between the concrete and symbolic execution.
static void	LDC(int iid, int mid, long c)	Method used to interact between the concrete and symbolic execution.
static void	LDC(int iid, int mid, Object c)	Method used to interact between the concrete and symbolic execution.
static void	LDC(int iid, int mid, String c)	Method used to interact between the concrete and symbolic execution.
static void	LDC(int iid, long c)	Method used to interact between the concrete and symbolic execution.
static void	LDC(int iid, Object c)	Method used to interact between the concrete and symbolic execution.
static void	LDC(int iid, String c)	Method used to interact between the concrete and symbolic execution.
static void	LDIV(int iid)	Method used to interact between the concrete and symbolic execution.
static void	LDIV(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	LLOAD(int var)	Method used to interact between the concrete and symbolic execution.
static void	LLOAD(int iid, int mid, int var)	Method used to interact between the concrete and symbolic execution.
static void	LMUL()	Method used to interact between the concrete and symbolic execution.
static void	LMUL(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	LNEG()	Method used to interact between the concrete and symbolic execution.
static void	LNEG(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	LOOKUPSWITCH(int iid, int dflt, int[] keys, int[] labels)	Method used to interact between the concrete and symbolic execution.
static void	LOOKUPSWITCH(int iid, int mid, int dflt, int[] keys, int[] labels)	Method used to interact between the concrete and symbolic execution.
static void	LOOP_BEGIN(int iid)	Method used to interact between the concrete and symbolic execution.
static void	LOOP_END(int iid)	Method used to interact between the concrete and symbolic execution.
static void	LOR()	Method used to interact between the concrete and symbolic execution.
static void	LOR(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	LREM(int iid)	Method used to interact between the concrete and symbolic execution.
static void	LREM(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	LRETURN(int iid)	Method used to interact between the concrete and symbolic execution.
static void	LRETURN(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	LSHL()	Method used to interact between the concrete and symbolic execution.
static void	LSHL(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	LSHR()	Method used to interact between the concrete and symbolic execution.
static void	LSHR(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	LSTORE(int var)	Method used to interact between the concrete and symbolic execution.
static void	LSTORE(int iid, int mid, int var)	Method used to interact between the concrete and symbolic execution.
static void	LSUB()	Method used to interact between the concrete and symbolic execution.
static void	LSUB(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	LUSHR()	Method used to interact between the concrete and symbolic execution.
static void	LUSHR(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	LXOR()	Method used to interact between the concrete and symbolic execution.
static void	LXOR(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	MAKE_SYMBOLIC()	Method used to interact between the concrete and symbolic execution.
static void	MONITORENTER(int iid)	Method used to interact between the concrete and symbolic execution.
static void	MONITORENTER(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	MONITOREXIT(int iid)	Method used to interact between the concrete and symbolic execution.
static void	MONITOREXIT(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	MULTIANEWARRAY(int iid, int mid, String desc, int dims)	Method used to interact between the concrete and symbolic execution.
static void	MULTIANEWARRAY(int iid, String desc, int dims)	Method used to interact between the concrete and symbolic execution.
static void	NEW(int iid, int mid, String type, int cIdx)	Method used to interact between the concrete and symbolic execution.
static void	NEW(int iid, String type, int cIdx)	Method used to interact between the concrete and symbolic execution.
static void	NEWARRAY(int iid, int atype)	Method used to interact between the concrete and symbolic execution.
static void	NEWARRAY(int iid, int mid, int atype)	Method used to interact between the concrete and symbolic execution.
static void	NOP()	Method used to interact between the concrete and symbolic execution.
static void	NOP(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	POP()	Method used to interact between the concrete and symbolic execution.
static void	POP(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	POP2()	Method used to interact between the concrete and symbolic execution.
static void	POP2(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	PUTFIELD(int iid, int mid, int cIdx, int fIdx, String desc)	Method used to interact between the concrete and symbolic execution.
static void	PUTFIELD(int iid, int cIdx, int fIdx, String desc)	Method used to interact between the concrete and symbolic execution.
static void	PUTSTATIC(int iid, int mid, int cIdx, int fIdx, String desc)	Method used to interact between the concrete and symbolic execution.
static void	PUTSTATIC(int iid, int cIdx, int fIdx, String desc)	Method used to interact between the concrete and symbolic execution.
static void	RET(int var)	Method used to interact between the concrete and symbolic execution.
static void	RET(int iid, int mid, int var)	Method used to interact between the concrete and symbolic execution.
static void	RETURN(int iid)	Method used to interact between the concrete and symbolic execution.
static void	RETURN(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	SALOAD(int iid)	Method used to interact between the concrete and symbolic execution.
static void	SALOAD(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	SASTORE(int iid)	Method used to interact between the concrete and symbolic execution.
static void	SASTORE(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	SIPUSH(int value)	Method used to interact between the concrete and symbolic execution.
static void	SIPUSH(int iid, int mid, int value)	Method used to interact between the concrete and symbolic execution.
static void	SPECIAL(int i)	Method used to interact between the concrete and symbolic execution.
static void	SWAP()	Method used to interact between the concrete and symbolic execution.
static void	SWAP(int iid, int mid)	Method used to interact between the concrete and symbolic execution.
static void	TABLESWITCH(int iid, int min, int max, int dflt, int[] labels, int[] values)	Method used to interact between the concrete and symbolic execution.
static void	TABLESWITCH(int iid, int mid, int min, int max, int dflt, int[] labels, int[] values)	Method used to interact between the concrete and symbolic execution.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

LDC

public static void LDC(int iid,
 int c)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LDC_int instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LDC_int. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLDC_int(LDC_int)

Parameters:

iid - The unique instruction ID set during instrumentation.

c - The constant to load

LDC

public static void LDC(int iid,
 int mid,
 int c)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LDC_int instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LDC_int. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLDC_int(LDC_int)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

c - The constant to load

LDC

public static void LDC(int iid,
 long c)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LDC_long instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LDC_long. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLDC_long(LDC_long)

Parameters:

iid - The unique instruction ID set during instrumentation.

c - The constant to load.

LDC

public static void LDC(int iid,
 int mid,
 long c)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LDC_long instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LDC_long. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLDC_long(LDC_long)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

c - The constant to load.

LDC

public static void LDC(int iid,
 float c)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LDC_float instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LDC_float. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLDC_float(LDC_float)

Parameters:

iid - The unique instruction ID set during instrumentation.

c - The constant to load.

LDC

public static void LDC(int iid,
 int mid,
 float c)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LDC_float instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LDC_float. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLDC_float(LDC_float)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

c - The constant to load

LDC

public static void LDC(int iid,
 double c)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LDC_double instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LDC_double. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLDC_double(LDC_double)

Parameters:

iid - The unique instruction ID set during instrumentation.

c - The constant to load.

LDC

public static void LDC(int iid,
 int mid,
 double c)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LDC_double instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LDC_double. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLDC_double(LDC_double)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

c - The constant to load.

LDC

public static void LDC(int iid,
 String c)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LDC_String instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LDC_String. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLDC_String(LDC_String)

Parameters:

iid - The unique instruction ID set during instrumentation.

c - The constant to load

LDC

public static void LDC(int iid,
 int mid,
 String c)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LDC_String instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LDC_String. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLDC_String(LDC_String)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

c - the address of the object that's loaded

LDC

public static void LDC(int iid,
 Object c)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LDC_Object instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LDC_Object. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLDC_Object(LDC_Object)

Parameters:

iid - The unique instruction ID set during instrumentation.

c - the address of the object that's loaded

LDC

public static void LDC(int iid,
 int mid,
 Object c)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LDC_Object instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LDC_Object. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLDC_Object(LDC_Object)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

c - the address of the object that's loaded

IINC

public static void IINC(int var,
 int increment)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IINC instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IINC. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIINC(IINC)

Parameters:

var - the local variable index.

increment - the increment amount.

IINC

public static void IINC(int iid,
 int mid,
 int var,
 int increment)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IINC instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IINC. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIINC(IINC)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

var - the local variable index.

increment - the increment amount.

MULTIANEWARRAY

public static void MULTIANEWARRAY(int iid,
 String desc,
 int dims)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the MULTIANEWARRAY instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: MULTIANEWARRAY. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitMULTIANEWARRAY(MULTIANEWARRAY)

Parameters:

iid - The unique instruction ID set during instrumentation.

desc - the descriptor of the array

dims - the number of dimensions

MULTIANEWARRAY

public static void MULTIANEWARRAY(int iid,
 int mid,
 String desc,
 int dims)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the MULTIANEWARRAY instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: MULTIANEWARRAY. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitMULTIANEWARRAY(MULTIANEWARRAY)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

desc - the descriptor of the array

dims - the number of dimensions

LOOKUPSWITCH

public static void LOOKUPSWITCH(int iid,
 int dflt,
 int[] keys,
 int[] labels)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LOOKUPSWITCH instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LOOKUPSWITCH. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLOOKUPSWITCH(LOOKUPSWITCH)

Parameters:

iid - The unique instruction ID set during instrumentation.

dflt - beginning of the default handler block.

keys - the values of the keys.

labels - beginnings of the handler blocks.

LOOKUPSWITCH

public static void LOOKUPSWITCH(int iid,
 int mid,
 int dflt,
 int[] keys,
 int[] labels)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LOOKUPSWITCH instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LOOKUPSWITCH. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLOOKUPSWITCH(LOOKUPSWITCH)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

dflt - beginning of the default handler block.

keys - the values of the keys.

labels - beginnings of the handler blocks.

TABLESWITCH

public static void TABLESWITCH(int iid,
 int min,
 int max,
 int dflt,
 int[] labels,
 int[] values)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the TABLESWITCH instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: TABLESWITCH. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitTABLESWITCH(TABLESWITCH)

Parameters:

iid - The unique instruction ID set during instrumentation.

min - min value.

max - max value.

dflt - beginning of the default handler block.

labels - beginnings of the handler blocks.

values - the conditions.

TABLESWITCH

public static void TABLESWITCH(int iid,
 int mid,
 int min,
 int max,
 int dflt,
 int[] labels,
 int[] values)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the TABLESWITCH instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: TABLESWITCH. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitTABLESWITCH(TABLESWITCH)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

min - min value.

max - max value.

dflt - beginning of the default handler block.

labels - beginnings of the handler blocks.

values - the conditions.

IFEQ

public static void IFEQ(int iid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IFEQ instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IFEQ. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIFEQ(IFEQ)

Parameters:

iid - The unique instruction ID set during instrumentation.

label - the jump destination

IFEQ

public static void IFEQ(int iid,
 int mid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IFEQ instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IFEQ. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIFEQ(IFEQ)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

label - the jump destination

IFNE

public static void IFNE(int iid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IFNE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IFNE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIFNE(IFNE)

Parameters:

iid - The unique instruction ID set during instrumentation.

label - the jump destination

IFNE

public static void IFNE(int iid,
 int mid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IFNE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IFNE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIFNE(IFNE)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

label - the jump destination

IFLT

public static void IFLT(int iid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IFLT instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IFLT. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIFLT(IFLT)

Parameters:

iid - The unique instruction ID set during instrumentation.

label - the jump destination

IFLT

public static void IFLT(int iid,
 int mid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IFLT instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IFLT. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIFLT(IFLT)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

label - the jump destination

IFGE

public static void IFGE(int iid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IFGE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IFGE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIFGE(IFGE)

Parameters:

iid - The unique instruction ID set during instrumentation.

label - the jump destination

IFGE

public static void IFGE(int iid,
 int mid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IFGE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IFGE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIFGE(IFGE)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

label - the jump destination

IFGT

public static void IFGT(int iid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IFGT instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IFGT. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIFGT(IFGT)

Parameters:

iid - The unique instruction ID set during instrumentation.

label - the jump destination

IFGT

public static void IFGT(int iid,
 int mid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IFGT instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IFGT. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIFGT(IFGT)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

label - the jump destination

IFLE

public static void IFLE(int iid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IFLE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IFLE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIFLE(IFLE)

Parameters:

iid - The unique instruction ID set during instrumentation.

label - the jump destination

IFLE

public static void IFLE(int iid,
 int mid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IFLE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IFLE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIFLE(IFLE)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

label - the jump destination

IF_ICMPEQ

public static void IF_ICMPEQ(int iid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IF_ICMPEQ instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IF_ICMPEQ. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIF_ICMPEQ(IF_ICMPEQ)

Parameters:

iid - The unique instruction ID set during instrumentation.

label - the jump destination

IF_ICMPEQ

public static void IF_ICMPEQ(int iid,
 int mid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IF_ICMPEQ instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IF_ICMPEQ. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIF_ICMPEQ(IF_ICMPEQ)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

label - the jump destination

IF_ICMPNE

public static void IF_ICMPNE(int iid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IF_ICMPNE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IF_ICMPNE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIF_ICMPNE(IF_ICMPNE)

Parameters:

iid - The unique instruction ID set during instrumentation.

label - the jump destination

IF_ICMPNE

public static void IF_ICMPNE(int iid,
 int mid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IF_ICMPNE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IF_ICMPNE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIF_ICMPNE(IF_ICMPNE)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

label - the jump destination

IF_ICMPLT

public static void IF_ICMPLT(int iid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IF_ICMPLT instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IF_ICMPLT. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIF_ICMPLT(IF_ICMPLT)

Parameters:

iid - The unique instruction ID set during instrumentation.

label - the jump destination

IF_ICMPLT

public static void IF_ICMPLT(int iid,
 int mid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IF_ICMPLT instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IF_ICMPLT. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIF_ICMPLT(IF_ICMPLT)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

label - the jump destination

IF_ICMPGE

public static void IF_ICMPGE(int iid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IF_ICMPGE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IF_ICMPGE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIF_ICMPGE(IF_ICMPGE)

Parameters:

iid - The unique instruction ID set during instrumentation.

label - the jump destination

IF_ICMPGE

public static void IF_ICMPGE(int iid,
 int mid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IF_ICMPGE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IF_ICMPGE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIF_ICMPGE(IF_ICMPGE)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

label - the jump destination

IF_ICMPGT

public static void IF_ICMPGT(int iid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IF_ICMPGT instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IF_ICMPGT. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIF_ICMPGT(IF_ICMPGT)

Parameters:

iid - The unique instruction ID set during instrumentation.

label - the jump destination

IF_ICMPGT

public static void IF_ICMPGT(int iid,
 int mid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IF_ICMPGT instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IF_ICMPGT. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIF_ICMPGT(IF_ICMPGT)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

label - the jump destination

IF_ICMPLE

public static void IF_ICMPLE(int iid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IF_ICMPLE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IF_ICMPLE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIF_ICMPLE(IF_ICMPLE)

Parameters:

iid - The unique instruction ID set during instrumentation.

label - the jump destination

IF_ICMPLE

public static void IF_ICMPLE(int iid,
 int mid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IF_ICMPLE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IF_ICMPLE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIF_ICMPLE(IF_ICMPLE)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

label - the jump destination

IF_ACMPEQ

public static void IF_ACMPEQ(int iid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IF_ACMPEQ instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IF_ACMPEQ. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIF_ACMPEQ(IF_ACMPEQ)

Parameters:

iid - The unique instruction ID set during instrumentation.

label - the jump destination

IF_ACMPEQ

public static void IF_ACMPEQ(int iid,
 int mid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IF_ACMPEQ instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IF_ACMPEQ. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIF_ACMPEQ(IF_ACMPEQ)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

label - the jump destination

IF_ACMPNE

public static void IF_ACMPNE(int iid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IF_ACMPNE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IF_ACMPNE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIF_ACMPNE(IF_ACMPNE)

Parameters:

iid - The unique instruction ID set during instrumentation.

label - the jump destination

IF_ACMPNE

public static void IF_ACMPNE(int iid,
 int mid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IF_ACMPNE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IF_ACMPNE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIF_ACMPNE(IF_ACMPNE)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

GOTO

public static void GOTO(int iid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the GOTO instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: GOTO. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitGOTO(GOTO)

Parameters:

iid - The unique instruction ID set during instrumentation.

label - the jump destination

GOTO

public static void GOTO(int iid,
 int mid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the GOTO instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: GOTO. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitGOTO(GOTO)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

label - the jump destination

JSR

public static void JSR(int iid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the JSR instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: JSR. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitJSR(JSR)

Parameters:

iid - The unique instruction ID set during instrumentation.

label - the jump destination

JSR

public static void JSR(int iid,
 int mid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the JSR instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: JSR. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitJSR(JSR)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

label - the jump destination

IFNULL

public static void IFNULL(int iid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IFNULL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IFNULL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIFNULL(IFNULL)

Parameters:

iid - The unique instruction ID set during instrumentation.

label - the jump destination

IFNULL

public static void IFNULL(int iid,
 int mid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IFNULL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IFNULL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIFNULL(IFNULL)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

label - the jump destination

IFNONNULL

public static void IFNONNULL(int iid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IFNONNULL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IFNONNULL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIFNONNULL(IFNONNULL)

Parameters:

iid - The unique instruction ID set during instrumentation.

label - the jump destination

IFNONNULL

public static void IFNONNULL(int iid,
 int mid,
 int label)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IFNONNULL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IFNONNULL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIFNONNULL(IFNONNULL)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

label - the jump destination

INVOKEVIRTUAL

public static void INVOKEVIRTUAL(int iid,
 String owner,
 String name,
 String desc)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the INVOKEVIRTUAL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: INVOKEVIRTUAL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitINVOKEVIRTUAL(INVOKEVIRTUAL)

Parameters:

iid - The unique instruction ID set during instrumentation.

owner - the owner of the method

name - the name of the method

desc - the descriptor of the method

INVOKEVIRTUAL

public static void INVOKEVIRTUAL(int iid,
 int mid,
 String owner,
 String name,
 String desc)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the INVOKEVIRTUAL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: INVOKEVIRTUAL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitINVOKEVIRTUAL(INVOKEVIRTUAL)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

owner - the owner of the method

name - the name of the method

desc - the descriptor of the method

INVOKESPECIAL

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

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the INVOKESPECIAL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: INVOKESPECIAL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitINVOKESPECIAL(INVOKESPECIAL)

Parameters:

iid - The unique instruction ID set during instrumentation.

owner - the owner of the method

name - the name of the method

desc - the descriptor of the method

INVOKESPECIAL

public static void INVOKESPECIAL(int iid,
 int mid,
 String owner,
 String name,
 String desc)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the INVOKESPECIAL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: INVOKESPECIAL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitINVOKESPECIAL(INVOKESPECIAL)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

owner - the owner of the method

name - the name of the method

desc - the descriptor of the method

INVOKEDYNAMIC

public static void INVOKEDYNAMIC(int iid,
 String owner,
 String name,
 String desc,
 String lambda)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the INVOKEDYNAMIC instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: INVOKEDYNAMIC. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitINVOKEDYNAMIC(INVOKEDYNAMIC)

Parameters:

iid - The unique instruction ID set during instrumentation.

owner - the owner of the method

name - the name of the method

desc - the descriptor of the method

INVOKEDYNAMIC

public static void INVOKEDYNAMIC(int iid,
 int mid,
 String owner,
 String name,
 String desc,
 String lambda)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the INVOKEDYNAMIC instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: INVOKEDYNAMIC. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitINVOKEDYNAMIC(INVOKEDYNAMIC)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

owner - the owner of the method

name - the name of the method

desc - the descriptor of the method

INVOKESTATIC

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

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the INVOKESTATIC instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: INVOKESTATIC. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitINVOKESTATIC(INVOKESTATIC)

Parameters:

iid - The unique instruction ID set during instrumentation.

owner - the owner of the method

name - the name of the method

desc - the descriptor of the method

INVOKESTATIC

public static void INVOKESTATIC(int iid,
 int mid,
 String owner,
 String name,
 String desc)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the INVOKESTATIC instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: INVOKESTATIC. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitINVOKESTATIC(INVOKESTATIC)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

owner - the owner of the method

name - the name of the method

desc - the descriptor of the method

INVOKEINTERFACE

public static void INVOKEINTERFACE(int iid,
 String owner,
 String name,
 String desc)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the INVOKEINTERFACE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: INVOKEINTERFACE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitINVOKEINTERFACE(INVOKEINTERFACE)

Parameters:

iid - The unique instruction ID set during instrumentation.

owner - the owner of the method

name - the name of the method

desc - the descriptor of the method

INVOKEINTERFACE

public static void INVOKEINTERFACE(int iid,
 int mid,
 String owner,
 String name,
 String desc)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the INVOKEINTERFACE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: INVOKEINTERFACE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitINVOKEINTERFACE(INVOKEINTERFACE)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

owner - the owner of the method

name - the name of the method

desc - the descriptor of the method

GETSTATIC

public static void GETSTATIC(int iid,
 int cIdx,
 int fIdx,
 String desc)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the GETSTATIC instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: GETSTATIC. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitGETSTATIC(GETSTATIC)

Parameters:

iid - The unique instruction ID set during instrumentation.

cIdx - class index.

fIdx - field index.

desc - field descriptor.

GETSTATIC

public static void GETSTATIC(int iid,
 int mid,
 int cIdx,
 int fIdx,
 String desc)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the GETSTATIC instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: GETSTATIC. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitGETSTATIC(GETSTATIC)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

cIdx - class index.

fIdx - field index.

desc - field descriptor.

PUTSTATIC

public static void PUTSTATIC(int iid,
 int cIdx,
 int fIdx,
 String desc)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the PUTSTATIC instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: PUTSTATIC. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitPUTSTATIC(PUTSTATIC)

Parameters:

iid - The unique instruction ID set during instrumentation.

cIdx - class index.

fIdx - field index.

desc - field descriptor.

PUTSTATIC

public static void PUTSTATIC(int iid,
 int mid,
 int cIdx,
 int fIdx,
 String desc)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the PUTSTATIC instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: PUTSTATIC. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitPUTSTATIC(PUTSTATIC)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

cIdx - class index.

fIdx - field index.

desc - field descriptor.

GETFIELD

public static void GETFIELD(int iid,
 int cIdx,
 int fIdx,
 String desc)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the GETFIELD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: GETFIELD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitGETFIELD(GETFIELD)

Parameters:

iid - The unique instruction ID set during instrumentation.

cIdx - class index.

fIdx - field index.

desc - field descriptor.

GETFIELD

public static void GETFIELD(int iid,
 int mid,
 int cIdx,
 int fIdx,
 String desc)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the GETFIELD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: GETFIELD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitGETFIELD(GETFIELD)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

cIdx - class index.

fIdx - field index.

desc - field descriptor.

PUTFIELD

public static void PUTFIELD(int iid,
 int cIdx,
 int fIdx,
 String desc)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the PUTFIELD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: PUTFIELD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitPUTFIELD(PUTFIELD)

Parameters:

iid - The unique instruction ID set during instrumentation.

cIdx - class index.

fIdx - field index.

desc - field descriptor.

PUTFIELD

public static void PUTFIELD(int iid,
 int mid,
 int cIdx,
 int fIdx,
 String desc)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the PUTFIELD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: PUTFIELD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitPUTFIELD(PUTFIELD)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

cIdx - class index.

fIdx - field index.

desc - field descriptor.

NEW

public static void NEW(int iid,
 String type,
 int cIdx)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the NEW instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: NEW. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitNEW(NEW)

Parameters:

iid - The unique instruction ID set during instrumentation.

type - the type of the object to be created

cIdx - the class index

NEW

public static void NEW(int iid,
 int mid,
 String type,
 int cIdx)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the NEW instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: NEW. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitNEW(NEW)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

type - the type of the object to be created

cIdx - the class index

ANEWARRAY

public static void ANEWARRAY(int iid,
 String type)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ANEWARRAY instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ANEWARRAY. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitANEWARRAY(ANEWARRAY)

Parameters:

iid - The unique instruction ID set during instrumentation.

type - type of the array to create.

ANEWARRAY

public static void ANEWARRAY(int iid,
 int mid,
 String type)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ANEWARRAY instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ANEWARRAY. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitANEWARRAY(ANEWARRAY)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

type - type of the array to create.

CHECKCAST

public static void CHECKCAST(int iid,
 String type)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the CHECKCAST instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: CHECKCAST. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitCHECKCAST(CHECKCAST)

Parameters:

iid - The unique instruction ID set during instrumentation.

type - the type to check against

CHECKCAST

public static void CHECKCAST(int iid,
 int mid,
 String type)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the CHECKCAST instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: CHECKCAST. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitCHECKCAST(CHECKCAST)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

type - the type to check against

INSTANCEOF

public static void INSTANCEOF(int iid,
 String type)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the INSTANCEOF instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: INSTANCEOF. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitINSTANCEOF(INSTANCEOF)

Parameters:

iid - The unique instruction ID set during instrumentation.

type - the type to check against

INSTANCEOF

public static void INSTANCEOF(int iid,
 int mid,
 String type)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the INSTANCEOF instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: INSTANCEOF. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitINSTANCEOF(INSTANCEOF)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

type - the type to check against

BIPUSH

public static void BIPUSH(int value)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the BIPUSH instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: BIPUSH. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitBIPUSH(BIPUSH)

Parameters:

value - the value to be pushed.

BIPUSH

public static void BIPUSH(int iid,
 int mid,
 int value)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the BIPUSH instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: BIPUSH. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitBIPUSH(BIPUSH)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

value - the value to be pushed.

SIPUSH

public static void SIPUSH(int value)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the SIPUSH instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: SIPUSH. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitSIPUSH(SIPUSH)

Parameters:

value - the value to be pushed.

SIPUSH

public static void SIPUSH(int iid,
 int mid,
 int value)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the SIPUSH instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: SIPUSH. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitSIPUSH(SIPUSH)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

value - the value to be pushed.

NEWARRAY

public static void NEWARRAY(int iid,
 int atype)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the NEWARRAY instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: NEWARRAY. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitNEWARRAY(NEWARRAY)

Parameters:

iid - The unique instruction ID set during instrumentation.

atype - the type of the array to be created

NEWARRAY

public static void NEWARRAY(int iid,
 int mid,
 int atype)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the NEWARRAY instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: NEWARRAY. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitNEWARRAY(NEWARRAY)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

atype - the type of the array to be created

ILOAD

public static void ILOAD(int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ILOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ILOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitILOAD(ILOAD)

Parameters:

var - local variable index

ILOAD

public static void ILOAD(int iid,
 int mid,
 int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ILOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ILOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitILOAD(ILOAD)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

var - local variable index

LLOAD

public static void LLOAD(int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LLOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LLOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLLOAD(LLOAD)

Parameters:

var - local variable index

LLOAD

public static void LLOAD(int iid,
 int mid,
 int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LLOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LLOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLLOAD(LLOAD)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

var - local variable index

FLOAD

public static void FLOAD(int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FLOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FLOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFLOAD(FLOAD)

Parameters:

var - local variable index

FLOAD

public static void FLOAD(int iid,
 int mid,
 int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FLOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FLOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFLOAD(FLOAD)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

var - local variable index

DLOAD

public static void DLOAD(int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DLOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DLOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDLOAD(DLOAD)

Parameters:

var - local variable index

DLOAD

public static void DLOAD(int iid,
 int mid,
 int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DLOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DLOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDLOAD(DLOAD)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

var - local variable index

ALOAD

public static void ALOAD(int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ALOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ALOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitALOAD(ALOAD)

Parameters:

var - local variable index

ALOAD

public static void ALOAD(int iid,
 int mid,
 int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ALOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ALOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitALOAD(ALOAD)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

var - local variable index

ISTORE

public static void ISTORE(int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ISTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ISTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitISTORE(ISTORE)

Parameters:

var - local variable index

ISTORE

public static void ISTORE(int iid,
 int mid,
 int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ISTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ISTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitISTORE(ISTORE)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

var - local variable index

LSTORE

public static void LSTORE(int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LSTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LSTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLSTORE(LSTORE)

Parameters:

var - local variable index

LSTORE

public static void LSTORE(int iid,
 int mid,
 int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LSTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LSTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLSTORE(LSTORE)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

var - local variable index

FSTORE

public static void FSTORE(int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FSTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FSTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFSTORE(FSTORE)

Parameters:

var - local variable index

FSTORE

public static void FSTORE(int iid,
 int mid,
 int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FSTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FSTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFSTORE(FSTORE)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

var - local variable index

DSTORE

public static void DSTORE(int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DSTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DSTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDSTORE(DSTORE)

Parameters:

var - local variable index

DSTORE

public static void DSTORE(int iid,
 int mid,
 int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DSTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DSTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDSTORE(DSTORE)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

var - local variable index

ASTORE

public static void ASTORE(int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ASTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ASTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitASTORE(ASTORE)

Parameters:

var - local variable index

ASTORE

public static void ASTORE(int iid,
 int mid,
 int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ASTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ASTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitASTORE(ASTORE)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

var - local variable index

RET

public static void RET(int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the RET instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: RET. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitRET(RET)

Parameters:

var - local variable index to the return address

RET

public static void RET(int iid,
 int mid,
 int var)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the RET instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: RET. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitRET(RET)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

var - local variable index to the return address

NOP

public static void NOP()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the NOP instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: NOP. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitNOP(NOP)

NOP

public static void NOP(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the NOP instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: NOP. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitNOP(NOP)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

ACONST_NULL

public static void ACONST_NULL()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ACONST_NULL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ACONST_NULL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitACONST_NULL(ACONST_NULL)

ACONST_NULL

public static void ACONST_NULL(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ACONST_NULL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ACONST_NULL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitACONST_NULL(ACONST_NULL)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

ICONST_M1

public static void ICONST_M1()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ICONST_M1 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ICONST_M1. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitICONST_M1(ICONST_M1)

ICONST_M1

public static void ICONST_M1(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ICONST_M1 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ICONST_M1. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitICONST_M1(ICONST_M1)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

ICONST_0

public static void ICONST_0()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ICONST_0 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ICONST_0. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitICONST_0(ICONST_0)

ICONST_0

public static void ICONST_0(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ICONST_0 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ICONST_0. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitICONST_0(ICONST_0)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

ICONST_1

public static void ICONST_1()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ICONST_1 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ICONST_1. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitICONST_1(ICONST_1)

ICONST_1

public static void ICONST_1(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ICONST_1 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ICONST_1. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitICONST_1(ICONST_1)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

ICONST_2

public static void ICONST_2()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ICONST_2 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ICONST_2. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitICONST_2(ICONST_2)

ICONST_2

public static void ICONST_2(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ICONST_2 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ICONST_2. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitICONST_2(ICONST_2)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

ICONST_3

public static void ICONST_3()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ICONST_3 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ICONST_3. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitICONST_3(ICONST_3)

ICONST_3

public static void ICONST_3(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ICONST_3 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ICONST_3. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitICONST_3(ICONST_3)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

ICONST_4

public static void ICONST_4()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ICONST_4 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ICONST_4. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitICONST_4(ICONST_4)

ICONST_4

public static void ICONST_4(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ICONST_4 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ICONST_4. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitICONST_4(ICONST_4)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

ICONST_5

public static void ICONST_5()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ICONST_5 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ICONST_5. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitICONST_5(ICONST_5)

ICONST_5

public static void ICONST_5(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ICONST_5 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ICONST_5. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitICONST_5(ICONST_5)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

LCONST_0

public static void LCONST_0()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LCONST_0 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LCONST_0. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLCONST_0(LCONST_0)

LCONST_0

public static void LCONST_0(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LCONST_0 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LCONST_0. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLCONST_0(LCONST_0)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

LCONST_1

public static void LCONST_1()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LCONST_1 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LCONST_1. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLCONST_1(LCONST_1)

LCONST_1

public static void LCONST_1(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LCONST_1 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LCONST_1. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLCONST_1(LCONST_1)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

FCONST_0

public static void FCONST_0()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FCONST_0 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FCONST_0. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFCONST_0(FCONST_0)

FCONST_0

public static void FCONST_0(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FCONST_0 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FCONST_0. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFCONST_0(FCONST_0)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

FCONST_1

public static void FCONST_1()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FCONST_1 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FCONST_1. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFCONST_1(FCONST_1)

FCONST_1

public static void FCONST_1(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FCONST_1 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FCONST_1. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFCONST_1(FCONST_1)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

FCONST_2

public static void FCONST_2()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FCONST_2 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FCONST_2. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFCONST_2(FCONST_2)

FCONST_2

public static void FCONST_2(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FCONST_2 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FCONST_2. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFCONST_2(FCONST_2)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

DCONST_0

public static void DCONST_0()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DCONST_0 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DCONST_0. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDCONST_0(DCONST_0)

DCONST_0

public static void DCONST_0(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DCONST_0 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DCONST_0. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDCONST_0(DCONST_0)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

DCONST_1

public static void DCONST_1()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DCONST_1 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DCONST_1. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDCONST_1(DCONST_1)

DCONST_1

public static void DCONST_1(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DCONST_1 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DCONST_1. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDCONST_1(DCONST_1)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

IALOAD

public static void IALOAD(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IALOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IALOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIALOAD(IALOAD)

Parameters:

iid - The unique instruction ID set during instrumentation.

IALOAD

public static void IALOAD(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IALOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IALOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIALOAD(IALOAD)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

LALOAD

public static void LALOAD(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LALOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LALOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLALOAD(LALOAD)

Parameters:

iid - The unique instruction ID set during instrumentation.

LALOAD

public static void LALOAD(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LALOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LALOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLALOAD(LALOAD)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

FALOAD

public static void FALOAD(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FALOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FALOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFALOAD(FALOAD)

Parameters:

iid - The unique instruction ID set during instrumentation.

FALOAD

public static void FALOAD(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FALOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FALOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFALOAD(FALOAD)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

DALOAD

public static void DALOAD(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DALOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DALOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDALOAD(DALOAD)

Parameters:

iid - The unique instruction ID set during instrumentation.

DALOAD

public static void DALOAD(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DALOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DALOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDALOAD(DALOAD)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

AALOAD

public static void AALOAD(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the AALOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: AALOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitAALOAD(AALOAD)

Parameters:

iid - The unique instruction ID set during instrumentation.

AALOAD

public static void AALOAD(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the AALOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: AALOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitAALOAD(AALOAD)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

BALOAD

public static void BALOAD(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the BALOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: BALOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitBALOAD(BALOAD)

Parameters:

iid - The unique instruction ID set during instrumentation.

BALOAD

public static void BALOAD(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the BALOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: BALOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitBALOAD(BALOAD)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

CALOAD

public static void CALOAD(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the CALOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: CALOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitCALOAD(CALOAD)

Parameters:

iid - The unique instruction ID set during instrumentation.

CALOAD

public static void CALOAD(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the CALOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: CALOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitCALOAD(CALOAD)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

SALOAD

public static void SALOAD(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the SALOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: SALOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitSALOAD(SALOAD)

Parameters:

iid - The unique instruction ID set during instrumentation.

SALOAD

public static void SALOAD(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the SALOAD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: SALOAD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitSALOAD(SALOAD)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

IASTORE

public static void IASTORE(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IASTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IASTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIASTORE(IASTORE)

Parameters:

iid - The unique instruction ID set during instrumentation.

IASTORE

public static void IASTORE(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IASTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IASTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIASTORE(IASTORE)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

LASTORE

public static void LASTORE(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LASTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LASTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLASTORE(LASTORE)

Parameters:

iid - The unique instruction ID set during instrumentation.

LASTORE

public static void LASTORE(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LASTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LASTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLASTORE(LASTORE)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

FASTORE

public static void FASTORE(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FASTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FASTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFASTORE(FASTORE)

Parameters:

iid - The unique instruction ID set during instrumentation.

FASTORE

public static void FASTORE(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FASTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FASTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFASTORE(FASTORE)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

DASTORE

public static void DASTORE(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DASTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DASTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDASTORE(DASTORE)

Parameters:

iid - The unique instruction ID set during instrumentation.

DASTORE

public static void DASTORE(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DASTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DASTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDASTORE(DASTORE)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

AASTORE

public static void AASTORE(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the AASTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: AASTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitAASTORE(AASTORE)

Parameters:

iid - The unique instruction ID set during instrumentation.

AASTORE

public static void AASTORE(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the AASTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: AASTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitAASTORE(AASTORE)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

BASTORE

public static void BASTORE(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the BASTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: BASTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitBASTORE(BASTORE)

Parameters:

iid - The unique instruction ID set during instrumentation.

BASTORE

public static void BASTORE(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the BASTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: BASTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitBASTORE(BASTORE)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

CASTORE

public static void CASTORE(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the CASTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: CASTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitCASTORE(CASTORE)

Parameters:

iid - The unique instruction ID set during instrumentation.

CASTORE

public static void CASTORE(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the CASTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: CASTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitCASTORE(CASTORE)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

SASTORE

public static void SASTORE(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the SASTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: SASTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitSASTORE(SASTORE)

Parameters:

iid - The unique instruction ID set during instrumentation.

SASTORE

public static void SASTORE(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the SASTORE instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: SASTORE. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitSASTORE(SASTORE)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

POP

public static void POP()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the POP instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: POP. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitPOP(POP)

POP

public static void POP(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the POP instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: POP. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitPOP(POP)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

POP2

public static void POP2()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the POP2 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: POP2. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitPOP2(POP2)

POP2

public static void POP2(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the POP2 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: POP2. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitPOP2(POP2)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

DUP

public static void DUP()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DUP instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DUP. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDUP(DUP)

DUP

public static void DUP(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DUP instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DUP. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDUP(DUP)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

DUP_X1

public static void DUP_X1()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DUP_X1 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DUP_X1. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDUP_X1(DUP_X1)

DUP_X1

public static void DUP_X1(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DUP_X1 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DUP_X1. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDUP_X1(DUP_X1)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

DUP_X2

public static void DUP_X2()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DUP_X2 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DUP_X2. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDUP_X2(DUP_X2)

DUP_X2

public static void DUP_X2(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DUP_X2 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DUP_X2. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDUP_X2(DUP_X2)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

DUP2

public static void DUP2()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DUP2 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DUP2. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDUP2(DUP2)

DUP2

public static void DUP2(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DUP2 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DUP2. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDUP2(DUP2)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

DUP2_X1

public static void DUP2_X1()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DUP2_X1 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DUP2_X1. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDUP2_X1(DUP2_X1)

DUP2_X1

public static void DUP2_X1(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DUP2_X1 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DUP2_X1. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDUP2_X1(DUP2_X1)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

DUP2_X2

public static void DUP2_X2()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DUP2_X2 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DUP2_X2. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDUP2_X2(DUP2_X2)

DUP2_X2

public static void DUP2_X2(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DUP2_X2 instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DUP2_X2. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDUP2_X2(DUP2_X2)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

SWAP

public static void SWAP()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the SWAP instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: SWAP. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitSWAP(SWAP)

SWAP

public static void SWAP(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the SWAP instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: SWAP. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitSWAP(SWAP)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

IADD

public static void IADD()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IADD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IADD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIADD(IADD)

IADD

public static void IADD(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IADD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IADD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIADD(IADD)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

LADD

public static void LADD()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LADD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LADD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLADD(LADD)

LADD

public static void LADD(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LADD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LADD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLADD(LADD)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

FADD

public static void FADD()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FADD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FADD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFADD(FADD)

FADD

public static void FADD(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FADD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FADD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFADD(FADD)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

DADD

public static void DADD()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DADD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DADD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDADD(DADD)

DADD

public static void DADD(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DADD instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DADD. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDADD(DADD)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

ISUB

public static void ISUB()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ISUB instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ISUB. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitISUB(ISUB)

ISUB

public static void ISUB(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ISUB instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ISUB. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitISUB(ISUB)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

LSUB

public static void LSUB()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LSUB instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LSUB. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLSUB(LSUB)

LSUB

public static void LSUB(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LSUB instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LSUB. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLSUB(LSUB)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

FSUB

public static void FSUB()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FSUB instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FSUB. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFSUB(FSUB)

FSUB

public static void FSUB(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FSUB instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FSUB. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFSUB(FSUB)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

DSUB

public static void DSUB()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DSUB instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DSUB. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDSUB(DSUB)

DSUB

public static void DSUB(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DSUB instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DSUB. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDSUB(DSUB)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

IMUL

public static void IMUL()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IMUL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IMUL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIMUL(IMUL)

IMUL

public static void IMUL(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IMUL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IMUL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIMUL(IMUL)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

LMUL

public static void LMUL()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LMUL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LMUL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLMUL(LMUL)

LMUL

public static void LMUL(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LMUL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LMUL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLMUL(LMUL)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

FMUL

public static void FMUL()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FMUL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FMUL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFMUL(FMUL)

FMUL

public static void FMUL(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FMUL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FMUL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFMUL(FMUL)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

DMUL

public static void DMUL()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DMUL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DMUL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDMUL(DMUL)

DMUL

public static void DMUL(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DMUL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DMUL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDMUL(DMUL)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

IDIV

public static void IDIV(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IDIV instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IDIV. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIDIV(IDIV)

Parameters:

iid - The unique instruction ID set during instrumentation.

IDIV

public static void IDIV(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IDIV instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IDIV. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIDIV(IDIV)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

LDIV

public static void LDIV(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LDIV instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LDIV. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLDIV(LDIV)

Parameters:

iid - The unique instruction ID set during instrumentation.

LDIV

public static void LDIV(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LDIV instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LDIV. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLDIV(LDIV)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

FDIV

public static void FDIV()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FDIV instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FDIV. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFDIV(FDIV)

FDIV

public static void FDIV(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FDIV instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FDIV. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFDIV(FDIV)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

DDIV

public static void DDIV()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DDIV instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DDIV. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDDIV(DDIV)

DDIV

public static void DDIV(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DDIV instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DDIV. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDDIV(DDIV)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

IREM

public static void IREM(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IREM instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IREM. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIREM(IREM)

Parameters:

iid - The unique instruction ID set during instrumentation.

IREM

public static void IREM(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IREM instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IREM. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIREM(IREM)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

LREM

public static void LREM(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LREM instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LREM. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLREM(LREM)

Parameters:

iid - The unique instruction ID set during instrumentation.

LREM

public static void LREM(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LREM instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LREM. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLREM(LREM)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

FREM

public static void FREM()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FREM instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FREM. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFREM(FREM)

FREM

public static void FREM(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FREM instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FREM. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFREM(FREM)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

DREM

public static void DREM()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DREM instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DREM. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDREM(DREM)

DREM

public static void DREM(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DREM instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DREM. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDREM(DREM)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

INEG

public static void INEG()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the INEG instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: INEG. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitINEG(INEG)

INEG

public static void INEG(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the INEG instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: INEG. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitINEG(INEG)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

LNEG

public static void LNEG()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LNEG instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LNEG. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLNEG(LNEG)

LNEG

public static void LNEG(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LNEG instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LNEG. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLNEG(LNEG)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

FNEG

public static void FNEG()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FNEG instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FNEG. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFNEG(FNEG)

FNEG

public static void FNEG(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FNEG instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FNEG. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFNEG(FNEG)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

DNEG

public static void DNEG()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DNEG instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DNEG. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDNEG(DNEG)

DNEG

public static void DNEG(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DNEG instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DNEG. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDNEG(DNEG)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

ISHL

public static void ISHL()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ISHL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ISHL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitISHL(ISHL)

ISHL

public static void ISHL(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ISHL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ISHL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitISHL(ISHL)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

LSHL

public static void LSHL()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LSHL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LSHL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLSHL(LSHL)

LSHL

public static void LSHL(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LSHL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LSHL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLSHL(LSHL)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

ISHR

public static void ISHR()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ISHR instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ISHR. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitISHR(ISHR)

ISHR

public static void ISHR(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ISHR instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ISHR. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitISHR(ISHR)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

LSHR

public static void LSHR()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LSHR instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LSHR. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLSHR(LSHR)

LSHR

public static void LSHR(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LSHR instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LSHR. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLSHR(LSHR)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

IUSHR

public static void IUSHR()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IUSHR instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IUSHR. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIUSHR(IUSHR)

IUSHR

public static void IUSHR(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IUSHR instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IUSHR. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIUSHR(IUSHR)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

LUSHR

public static void LUSHR()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LUSHR instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LUSHR. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLUSHR(LUSHR)

LUSHR

public static void LUSHR(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LUSHR instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LUSHR. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLUSHR(LUSHR)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

IAND

public static void IAND()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IAND instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IAND. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIAND(IAND)

IAND

public static void IAND(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IAND instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IAND. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIAND(IAND)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

LAND

public static void LAND()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LAND instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LAND. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLAND(LAND)

LAND

public static void LAND(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LAND instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LAND. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLAND(LAND)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

IOR

public static void IOR()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IOR instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IOR. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIOR(IOR)

IOR

public static void IOR(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IOR instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IOR. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIOR(IOR)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

LOR

public static void LOR()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LOR instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LOR. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLOR(LOR)

LOR

public static void LOR(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LOR instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LOR. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLOR(LOR)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

IXOR

public static void IXOR()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IXOR instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IXOR. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIXOR(IXOR)

IXOR

public static void IXOR(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IXOR instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IXOR. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIXOR(IXOR)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

LXOR

public static void LXOR()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LXOR instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LXOR. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLXOR(LXOR)

LXOR

public static void LXOR(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LXOR instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LXOR. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLXOR(LXOR)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

I2L

public static void I2L()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the I2L instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: I2L. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitI2L(I2L)

I2L

public static void I2L(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the I2L instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: I2L. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitI2L(I2L)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

I2F

public static void I2F()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the I2F instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: I2F. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitI2F(I2F)

I2F

public static void I2F(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the I2F instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: I2F. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitI2F(I2F)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

I2D

public static void I2D()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the I2D instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: I2D. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitI2D(I2D)

I2D

public static void I2D(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the I2D instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: I2D. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitI2D(I2D)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

L2I

public static void L2I()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the L2I instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: L2I. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitL2I(L2I)

L2I

public static void L2I(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the L2I instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: L2I. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitL2I(L2I)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

L2F

public static void L2F()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the L2F instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: L2F. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitL2F(L2F)

L2F

public static void L2F(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the L2F instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: L2F. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitL2F(L2F)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

L2D

public static void L2D()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the L2D instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: L2D. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitL2D(L2D)

L2D

public static void L2D(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the L2D instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: L2D. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitL2D(L2D)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

F2I

public static void F2I()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the F2I instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: F2I. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitF2I(F2I)

F2I

public static void F2I(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the F2I instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: F2I. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitF2I(F2I)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

F2L

public static void F2L()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the F2L instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: F2L. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitF2L(F2L)

F2L

public static void F2L(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the F2L instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: F2L. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitF2L(F2L)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

F2D

public static void F2D()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the F2D instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: F2D. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitF2D(F2D)

F2D

public static void F2D(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the F2D instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: F2D. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitF2D(F2D)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

D2I

public static void D2I()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the D2I instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: D2I. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitD2I(D2I)

D2I

public static void D2I(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the D2I instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: D2I. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitD2I(D2I)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

D2L

public static void D2L()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the D2L instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: D2L. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitD2L(D2L)

D2L

public static void D2L(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the D2L instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: D2L. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitD2L(D2L)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

D2F

public static void D2F()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the D2F instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: D2F. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitD2F(D2F)

D2F

public static void D2F(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the D2F instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: D2F. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitD2F(D2F)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

I2B

public static void I2B()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the I2B instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: I2B. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitI2B(I2B)

I2B

public static void I2B(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the I2B instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: I2B. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitI2B(I2B)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

I2C

public static void I2C()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the I2C instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: I2C. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitI2C(I2C)

I2C

public static void I2C(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the I2C instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: I2C. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitI2C(I2C)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

I2S

public static void I2S()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the I2S instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: I2S. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitI2S(I2S)

I2S

public static void I2S(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the I2S instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: I2S. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitI2S(I2S)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

LCMP

public static void LCMP()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LCMP instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LCMP. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLCMP(LCMP)

LCMP

public static void LCMP(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LCMP instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LCMP. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLCMP(LCMP)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

FCMPL

public static void FCMPL()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FCMPL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FCMPL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFCMPL(FCMPL)

FCMPL

public static void FCMPL(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FCMPL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FCMPL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFCMPL(FCMPL)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

FCMPG

public static void FCMPG()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FCMPG instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FCMPG. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFCMPG(FCMPG)

FCMPG

public static void FCMPG(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FCMPG instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FCMPG. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFCMPG(FCMPG)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

DCMPL

public static void DCMPL()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DCMPL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DCMPL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDCMPL(DCMPL)

DCMPL

public static void DCMPL(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DCMPL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DCMPL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDCMPL(DCMPL)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

DCMPG

public static void DCMPG()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DCMPG instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DCMPG. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDCMPG(DCMPG)

DCMPG

public static void DCMPG(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DCMPG instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DCMPG. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDCMPG(DCMPG)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

IRETURN

public static void IRETURN(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IRETURN instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IRETURN. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIRETURN(IRETURN)

Parameters:

iid - The unique instruction ID set during instrumentation.

IRETURN

public static void IRETURN(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the IRETURN instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: IRETURN. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitIRETURN(IRETURN)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

LRETURN

public static void LRETURN(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LRETURN instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LRETURN. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLRETURN(LRETURN)

Parameters:

iid - The unique instruction ID set during instrumentation.

LRETURN

public static void LRETURN(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LRETURN instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LRETURN. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLRETURN(LRETURN)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

FRETURN

public static void FRETURN(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FRETURN instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FRETURN. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFRETURN(FRETURN)

Parameters:

iid - The unique instruction ID set during instrumentation.

FRETURN

public static void FRETURN(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the FRETURN instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: FRETURN. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitFRETURN(FRETURN)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

DRETURN

public static void DRETURN(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DRETURN instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DRETURN. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDRETURN(DRETURN)

Parameters:

iid - The unique instruction ID set during instrumentation.

DRETURN

public static void DRETURN(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the DRETURN instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: DRETURN. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitDRETURN(DRETURN)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

ARETURN

public static void ARETURN(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ARETURN instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ARETURN. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitARETURN(ARETURN)

Parameters:

iid - The unique instruction ID set during instrumentation.

ARETURN

public static void ARETURN(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ARETURN instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ARETURN. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitARETURN(ARETURN)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

RETURN

public static void RETURN(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the RETURN instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: RETURN. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitRETURN(RETURN)

Parameters:

iid - The unique instruction ID set during instrumentation.

RETURN

public static void RETURN(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the RETURN instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: RETURN. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitRETURN(RETURN)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

ARRAYLENGTH

public static void ARRAYLENGTH(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ARRAYLENGTH instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ARRAYLENGTH. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitARRAYLENGTH(ARRAYLENGTH)

Parameters:

iid - The unique instruction ID set during instrumentation.

ARRAYLENGTH

public static void ARRAYLENGTH(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ARRAYLENGTH instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ARRAYLENGTH. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitARRAYLENGTH(ARRAYLENGTH)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

ATHROW

public static void ATHROW(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ATHROW instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ATHROW. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitATHROW(ATHROW)

Parameters:

iid - The unique instruction ID set during instrumentation.

ATHROW

public static void ATHROW(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the ATHROW instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: ATHROW. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitATHROW(ATHROW)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

MONITORENTER

public static void MONITORENTER(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the MONITORENTER instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: MONITORENTER. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitMONITORENTER(MONITORENTER)

Parameters:

iid - The unique instruction ID set during instrumentation.

MONITORENTER

public static void MONITORENTER(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the MONITORENTER instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: MONITORENTER. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitMONITORENTER(MONITORENTER)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

MONITOREXIT

public static void MONITOREXIT(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the MONITOREXIT instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: MONITOREXIT. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitMONITOREXIT(MONITOREXIT)

Parameters:

iid - The unique instruction ID set during instrumentation.

MONITOREXIT

public static void MONITOREXIT(int iid,
 int mid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the MONITOREXIT instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: MONITOREXIT. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitMONITOREXIT(MONITOREXIT)

Parameters:

iid - The unique instruction ID set during instrumentation.

mid - The unique method ID set during instrumentation. If not used, mid is -1.

GETVALUE_double

public static void GETVALUE_double(double v,
 int i)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the GETVALUE_double instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: GETVALUE_double. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitGETVALUE_double(GETVALUE_double)

Parameters:

v - the concrete value

i - an identifier

GETVALUE_long

public static void GETVALUE_long(long v,
 int i)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the GETVALUE_long instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: GETVALUE_long. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitGETVALUE_long(GETVALUE_long)

Parameters:

v - the concrete value

i - an identifier

GETVALUE_Object

public static void GETVALUE_Object(Object v,
 int i)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the GETVALUE_Object instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: GETVALUE_Object. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitGETVALUE_Object(GETVALUE_Object)

Parameters:

v - the concrete value

i - an identifier

GETVALUE_boolean

public static void GETVALUE_boolean(boolean v,
 int i)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the GETVALUE_boolean instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: GETVALUE_boolean. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitGETVALUE_boolean(GETVALUE_boolean)

Parameters:

v - the concrete value

i - an identifier

GETVALUE_byte

public static void GETVALUE_byte(byte v,
 int i)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the GETVALUE_byte instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: GETVALUE_byte. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitGETVALUE_byte(GETVALUE_byte)

Parameters:

v - the concrete value

i - an identifier

GETVALUE_char

public static void GETVALUE_char(char v,
 int i)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the GETVALUE_char instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: GETVALUE_char. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitGETVALUE_char(GETVALUE_char)

Parameters:

v - the concrete value

i - an identifier

GETVALUE_float

public static void GETVALUE_float(float v,
 int i)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the GETVALUE_float instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: GETVALUE_float. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitGETVALUE_float(GETVALUE_float)

Parameters:

v - the concrete value

i - an identifier

GETVALUE_int

public static void GETVALUE_int(int v,
 int i)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the GETVALUE_int instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: GETVALUE_int. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitGETVALUE_int(GETVALUE_int)

Parameters:

v - the concrete value

i - an identifier

GETVALUE_short

public static void GETVALUE_short(short v,
 int i)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the GETVALUE_short instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: GETVALUE_short. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitGETVALUE_short(GETVALUE_short)

Parameters:

v - the concrete value

i - an identifier

GETVALUE_void

public static void GETVALUE_void()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the GETVALUE_void instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: GETVALUE_void. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitGETVALUE_void(GETVALUE_void)

INVOKEMETHOD_EXCEPTION

public static void INVOKEMETHOD_EXCEPTION()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the INVOKEMETHOD_EXCEPTION instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: INVOKEMETHOD_EXCEPTION. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitINVOKEMETHOD_EXCEPTION(INVOKEMETHOD_EXCEPTION)

INVOKEMETHOD_END

public static void INVOKEMETHOD_END()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the INVOKEMETHOD_END instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: INVOKEMETHOD_END. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitINVOKEMETHOD_END(INVOKEMETHOD_END)

SPECIAL

public static void SPECIAL(int i)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the SPECIAL instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: SPECIAL. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitSPECIAL(SPECIAL)

Parameters:

i - marker used in symbolic interpreter for example for branch detection.

MAKE_SYMBOLIC

public static void MAKE_SYMBOLIC()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the MAKE_SYMBOLIC instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: MAKE_SYMBOLIC. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitMAKE_SYMBOLIC(MAKE_SYMBOLIC)

LOOP_BEGIN

public static void LOOP_BEGIN(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LOOP_BEGIN instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LOOP_BEGIN. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLOOP_BEGIN(LOOP_BEGIN)

Parameters:

iid - The unique instruction ID set during instrumentation.

LOOP_END

public static void LOOP_END(int iid)

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the LOOP_END instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the Instruction itself: LOOP_END. The instruction is handled in the SymbolicInstructionProcessor that invokes the corresponding visitor method: SymbolicInstructionVisitor.visitLOOP_END(LOOP_END)

Parameters:

iid - The unique instruction ID set during instrumentation.

flush

public static void flush()

Method used to interact between the concrete and symbolic execution. The call to this method is added during instrumentation. Each time the flush instruction is executed in an instrumented region, this method is called. Parameters provide additional extracted information necessary for handling this instruction symbolically. For more information regarding the handling of this instruction look at the visitor method in the SymbolicInstructionProcessor.