org.evosuite.symbolic.vm

Class ArithmeticVM

java.lang.Object

org.evosuite.dse.AbstractVM

org.evosuite.symbolic.vm.ArithmeticVM

All Implemented Interfaces:

IVM

public final class ArithmeticVM
extends AbstractVM

ByteCode instructions that pop operands off the stack, perform some computation, and optionally push the result back onto the stack. - No heap access - No local variable access - No branching

Author:

csallner@uta.edu (Christoph Csallner)

Field Summary

Fields inherited from class org.evosuite.dse.AbstractVM

conf

Constructor Summary

Constructors

Constructor and Description
ArithmeticVM(SymbolicEnvironment env, PathConditionCollector pathConstraint)

Method Summary

Modifier and Type	Method and Description
void	D2F()
void	D2I()
void	D2L()
void	DADD()
void	DCMPG() http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	DCMPL() http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	DDIV(double rhsValue)
void	DMUL()
void	DNEG()
void	DREM(double rhs)
void	DSUB()
void	DUP_X1() http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	DUP_X2() http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	DUP() http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	DUP2_X1() http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	DUP2_X2() http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	DUP2() http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	F2D()
void	F2I()
void	F2L()
void	FADD() http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	FCMPG() http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	FCMPL() http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	FDIV(float rhsValue)
void	FMUL()
void	FNEG()
void	FREM(float rhs)
void	FSUB()
void	I2B()
void	I2C()
void	I2D() http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	I2F() http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	I2L() int --> long This conversion is exact = preserve all information.
void	I2S()
void	IADD() http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	IAND() bitwise AND http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	IDIV(int rhsValue) a/b if (b==0) throw exception; // clear stack, push exception else actual division // compute, push result
void	IINC(int i, int value) Increment i-th local (int) variable by constant (int) value http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	IMUL()
void	INEG() http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	IOR() bitwise OR http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	IREM(int rhsValue) Modulo -- Remainder -- % http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	ISHL() Stack=value1(int)|value2(int) Pops two ints off the stack.
void	ISHR() Stack=value1(int)|value2(int) Pops two ints off the stack.
void	ISUB()
void	IUSHR() Stack=value1(int)|value2(int) Pops two ints off the operand stack.
void	IXOR() bitwise XOR http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	L2D()
void	L2F()
void	L2I()
void	LADD() http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	LAND()
void	LCMP() (a > b) ==> 1 (a == b) ==> 0 (a < b) ==> -1
void	LDIV(long rhsValue)
void	LMUL()
void	LNEG() http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	LOR()
void	LREM(long rhs)
void	LSHL() Stack=value1(int)|value2(long) Pops a long integer and an int from the stack.
void	LSHR() Stack=value1(int)|value2(long) Pops an int and a long integer from the stack.
void	LSUB()
void	LUSHR() Stack=value1(int)|value2(long) Pops an integer and a long integer and from the stack.
void	LXOR()
void	POP() http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	POP2() One of the following two: Pop two category-1 operands from the stack.
void	SWAP() http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.

Methods inherited from class org.evosuite.dse.AbstractVM

AALOAD, AASTORE, ACONST_NULL, ALOAD_0, ALOAD_1, ALOAD_2, ALOAD_3, ALOAD, ANEWARRAY, ARETURN, ARRAYLENGTH, ASTORE_0, ASTORE_1, ASTORE_2, ASTORE_3, ASTORE, ATHROW, BALOAD, BASTORE, BB_BEGIN, BIPUSH, CALL_RESULT, CALL_RESULT, CALL_RESULT, CALL_RESULT, CALL_RESULT, CALL_RESULT, CALL_RESULT, CALLER_STACK_PARAM, CALLER_STACK_PARAM, CALLER_STACK_PARAM, CALLER_STACK_PARAM, CALLER_STACK_PARAM, CALLER_STACK_PARAM, CALLER_STACK_PARAM, CALLER_STACK_PARAM, CALLER_STACK_PARAM, CALOAD, CASTORE, CHECKCAST, DALOAD, DASTORE, DCONST_0, DCONST_1, DLOAD_0, DLOAD_1, DLOAD_2, DLOAD_3, DLOAD, DRETURN, DSTORE_0, DSTORE_1, DSTORE_2, DSTORE_3, DSTORE, FALOAD, FASTORE, FCONST_0, FCONST_1, FCONST_2, FLOAD_0, FLOAD_1, FLOAD_2, FLOAD_3, FLOAD, FRETURN, FSTORE_0, FSTORE_1, FSTORE_2, FSTORE_3, FSTORE, GETFIELD, GETSTATIC, GOTO_W, GOTO, HANDLER_BEGIN, IALOAD, IASTORE, ICONST_0, ICONST_1, ICONST_2, ICONST_3, ICONST_4, ICONST_5, ICONST_M1, IF_ACMPEQ, IF_ACMPNE, IF_ICMPEQ, IF_ICMPGE, IF_ICMPGT, IF_ICMPLE, IF_ICMPLT, IF_ICMPNE, IFEQ, IFGE, IFGT, IFLE, IFLT, IFNE, IFNONNULL, IFNULL, ILOAD_0, ILOAD_1, ILOAD_2, ILOAD_3, ILOAD, INSTANCEOF, INVOKEINTERFACE, INVOKESPECIAL, INVOKESPECIAL, INVOKESTATIC, INVOKEVIRTUAL, IRETURN, ISTORE_0, ISTORE_1, ISTORE_2, ISTORE_3, ISTORE, JSR_W, JSR, LALOAD, LASTORE, LCONST_0, LCONST_1, LDC_W, LDC, LDC, LDC, LDC, LDC2_W, LDC2_W, LLOAD_0, LLOAD_1, LLOAD_2, LLOAD_3, LLOAD, LOOKUPSWITCH, LRETURN, LSTORE_0, LSTORE_1, LSTORE_2, LSTORE_3, LSTORE, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_RECEIVER, METHOD_BEGIN, METHOD_MAXS, MONITORENTER, MONITOREXIT, MULTIANEWARRAY, NEW, NEWARRAY, NOP, PUTFIELD, PUTSTATIC, RET, RETURN, SALOAD, SASTORE, SIPUSH, SRC_LINE_NUMBER, TABLESWITCH, UNUSED, WIDE

Methods inherited from class java.lang.Object

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

Constructor Detail

ArithmeticVM

public ArithmeticVM(SymbolicEnvironment env,
                    PathConditionCollector pathConstraint)

Method Detail

POP

public void POP()

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc11.html#pop

Specified by:

POP in interface IVM

Overrides:

POP in class AbstractVM

POP2

public void POP2()

One of the following two: Pop two category-1 operands from the stack. Pop single category-2 operand from the stack. http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc11.html#pop2

Specified by:

POP2 in interface IVM

Overrides:

POP2 in class AbstractVM

DUP

public void DUP()

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc3.html#dup

Specified by:

DUP in interface IVM

Overrides:

DUP in class AbstractVM

DUP_X1

public void DUP_X1()

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc3.html#dup_x1

Specified by:

DUP_X1 in interface IVM

Overrides:

DUP_X1 in class AbstractVM

DUP_X2

public void DUP_X2()

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc3.html#dup_x2

Specified by:

DUP_X2 in interface IVM

Overrides:

DUP_X2 in class AbstractVM

DUP2

public void DUP2()

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc3.html#dup2

Specified by:

DUP2 in interface IVM

Overrides:

DUP2 in class AbstractVM

DUP2_X1

public void DUP2_X1()

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc3.html#dup2_x1

Specified by:

DUP2_X1 in interface IVM

Overrides:

DUP2_X1 in class AbstractVM

DUP2_X2

public void DUP2_X2()

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc3.html#dup2_x2

Specified by:

DUP2_X2 in interface IVM

Overrides:

DUP2_X2 in class AbstractVM

SWAP

public void SWAP()

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc13.html#swap

Specified by:

SWAP in interface IVM

Overrides:

SWAP in class AbstractVM

IADD

public void IADD()

Description copied from interface: IVM

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6. html#iadd

Specified by:

IADD in interface IVM

Overrides:

IADD in class AbstractVM

See Also:

://java.sun.com/docs/books/jvms/second_edition/html/Instructions2 .doc6.html#iadd

LADD

public void LADD()

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc8.html#ladd

Specified by:

LADD in interface IVM

Overrides:

LADD in class AbstractVM

FADD

public void FADD()

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc4.html#fadd

Specified by:

FADD in interface IVM

Overrides:

FADD in class AbstractVM

DADD

public void DADD()

Specified by:

DADD in interface IVM

Overrides:

DADD in class AbstractVM

ISUB

public void ISUB()

Specified by:

ISUB in interface IVM

Overrides:

ISUB in class AbstractVM

See Also:

://java.sun.com/docs/books/jvms/second_edition/html/Instructions2 .doc6.html#isub

LSUB

public void LSUB()

Specified by:

LSUB in interface IVM

Overrides:

LSUB in class AbstractVM

See Also:

://java.sun.com/docs/books/jvms/second_edition/html/Instructions2 .doc8.html#lsub

FSUB

public void FSUB()

Specified by:

FSUB in interface IVM

Overrides:

FSUB in class AbstractVM

DSUB

public void DSUB()

Specified by:

DSUB in interface IVM

Overrides:

DSUB in class AbstractVM

IMUL

public void IMUL()

Specified by:

IMUL in interface IVM

Overrides:

IMUL in class AbstractVM

See Also:

://java.sun.com/docs/books/jvms/second_edition/html/Instructions2 .doc6.html#imul

LMUL

public void LMUL()

Specified by:

LMUL in interface IVM

Overrides:

LMUL in class AbstractVM

See Also:

://java.sun.com/docs/books/jvms/second_edition/html/Instructions2 .doc8.html#lmul

FMUL

public void FMUL()

Specified by:

FMUL in interface IVM

Overrides:

FMUL in class AbstractVM

DMUL

public void DMUL()

Specified by:

DMUL in interface IVM

Overrides:

DMUL in class AbstractVM

IDIV

public void IDIV(int rhsValue)

a/b if (b==0) throw exception; // clear stack, push exception else actual division // compute, push result

Specified by:

IDIV in interface IVM

Overrides:

IDIV in class AbstractVM

See Also:

://java.sun.com/docs/books/jvms/second_edition/html/Instructions2 .doc6.html#idiv

LDIV

public void LDIV(long rhsValue)

Specified by:

LDIV in interface IVM

Overrides:

LDIV in class AbstractVM

See Also:

://java.sun.com/docs/books/jvms/second_edition/html/Instructions2 .doc8.html#ldiv

FDIV

public void FDIV(float rhsValue)

Specified by:

FDIV in interface IVM

Overrides:

FDIV in class AbstractVM

DDIV

public void DDIV(double rhsValue)

Specified by:

DDIV in interface IVM

Overrides:

DDIV in class AbstractVM

IREM

public void IREM(int rhsValue)

Modulo -- Remainder -- % http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#irem

Specified by:

IREM in interface IVM

Overrides:

IREM in class AbstractVM

FREM

public void FREM(float rhs)

Specified by:

FREM in interface IVM

Overrides:

FREM in class AbstractVM

DREM

public void DREM(double rhs)

Specified by:

DREM in interface IVM

Overrides:

DREM in class AbstractVM

INEG

public void INEG()

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#ineg

Specified by:

INEG in interface IVM

Overrides:

INEG in class AbstractVM

LNEG

public void LNEG()

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc8.html#lneg

Specified by:

LNEG in interface IVM

Overrides:

LNEG in class AbstractVM

FNEG

public void FNEG()

Specified by:

FNEG in interface IVM

Overrides:

FNEG in class AbstractVM

DNEG

public void DNEG()

Specified by:

DNEG in interface IVM

Overrides:

DNEG in class AbstractVM

ISHL

public void ISHL()

Stack=value1(int)|value2(int) Pops two ints off the stack. Shifts value2 left by the amount indicated in the five low bits of value1. The int result is then pushed back onto the stack.

Specified by:

ISHL in interface IVM

Overrides:

ISHL in class AbstractVM

ISHR

public void ISHR()

Stack=value1(int)|value2(int) Pops two ints off the stack. Shifts value2 left by the amount indicated in the five low bits of value1. The int result is then pushed back onto the stack.

Specified by:

ISHR in interface IVM

Overrides:

ISHR in class AbstractVM

IUSHR

public void IUSHR()

Stack=value1(int)|value2(int) Pops two ints off the operand stack. Shifts value1 right by the amount indicated in the five low bits of value2. The int result is then pushed back onto the stack. value1 is shifted logically (ignoring the sign extension - useful for unsigned values).

Specified by:

IUSHR in interface IVM

Overrides:

IUSHR in class AbstractVM

LUSHR

public void LUSHR()

Stack=value1(int)|value2(long) Pops an integer and a long integer and from the stack. Shifts value2 (the long integer) right by the amount indicated in the low six bits of value1 (an int). The long integer result is then pushed back onto the stack. The value is shifted logically (ignoring the sign extension - useful for unsigned values).

Specified by:

LUSHR in interface IVM

Overrides:

LUSHR in class AbstractVM

LSHR

public void LSHR()

Stack=value1(int)|value2(long) Pops an int and a long integer from the stack. Shifts value2 (the long integer) right by the amount indicated in the low six bits of value1 (an int). The long integer result is then pushed back onto the stack. The value is shifted arithmetically (preserving the sign extension).

Specified by:

LSHR in interface IVM

Overrides:

LSHR in class AbstractVM

LSHL

public void LSHL()

Stack=value1(int)|value2(long) Pops a long integer and an int from the stack. Shifts value2 (the long integer) left by the amount indicated in the low six bits of value1 (an int). The long integer result is then pushed back onto the stack.

Specified by:

LSHL in interface IVM

Overrides:

LSHL in class AbstractVM

IAND

public void IAND()

bitwise AND http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#iand

Specified by:

IAND in interface IVM

Overrides:

IAND in class AbstractVM

IOR

public void IOR()

bitwise OR http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#ior

Specified by:

IOR in interface IVM

Overrides:

IOR in class AbstractVM

IXOR

public void IXOR()

bitwise XOR http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#ixor

Specified by:

IXOR in interface IVM

Overrides:

IXOR in class AbstractVM

LAND

public void LAND()

Specified by:

LAND in interface IVM

Overrides:

LAND in class AbstractVM

See Also:

://java.sun.com/docs/books/jvms/second_edition/html/Instructions2 .doc8.html#land

LOR

public void LOR()

Specified by:

LOR in interface IVM

Overrides:

LOR in class AbstractVM

See Also:

://java.sun.com/docs/books/jvms/second_edition/html/Instructions2 .doc8.html#lor

LXOR

public void LXOR()

Specified by:

LXOR in interface IVM

Overrides:

LXOR in class AbstractVM

See Also:

://java.sun.com/docs/books/jvms/second_edition/html/Instructions2 .doc8.html#lxor

IINC

public void IINC(int i,
                 int value)

Increment i-th local (int) variable by constant (int) value http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#iinc

Specified by:

IINC in interface IVM

Overrides:

IINC in class AbstractVM

LCMP

public void LCMP()

 (a > b)  ==>  1
 (a == b) ==>  0
 (a < b)  ==> -1
 

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc8.html#lcmp

Specified by:

LCMP in interface IVM

Overrides:

LCMP in class AbstractVM

FCMPL

public void FCMPL()

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc4.html#fcmpop

Specified by:

FCMPL in interface IVM

Overrides:

FCMPL in class AbstractVM

FCMPG

public void FCMPG()

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc4.html#fcmpop

Specified by:

FCMPG in interface IVM

Overrides:

FCMPG in class AbstractVM

DCMPL

public void DCMPL()

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc3.html#dcmpop

Specified by:

DCMPL in interface IVM

Overrides:

DCMPL in class AbstractVM

DCMPG

public void DCMPG()

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc3.html#dcmpop

Specified by:

DCMPG in interface IVM

Overrides:

DCMPG in class AbstractVM

I2L

public void I2L()

int --> long This conversion is exact = preserve all information. http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#i2l

Specified by:

I2L in interface IVM

Overrides:

I2L in class AbstractVM

I2F

public void I2F()

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#i2f

Specified by:

I2F in interface IVM

Overrides:

I2F in class AbstractVM

I2D

public void I2D()

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#i2d

Specified by:

I2D in interface IVM

Overrides:

I2D in class AbstractVM

L2I

public void L2I()

Specified by:

L2I in interface IVM

Overrides:

L2I in class AbstractVM

L2F

public void L2F()

Specified by:

L2F in interface IVM

Overrides:

L2F in class AbstractVM

L2D

public void L2D()

Specified by:

L2D in interface IVM

Overrides:

L2D in class AbstractVM

F2I

public void F2I()

Specified by:

F2I in interface IVM

Overrides:

F2I in class AbstractVM

F2L

public void F2L()

Specified by:

F2L in interface IVM

Overrides:

F2L in class AbstractVM

F2D

public void F2D()

Specified by:

F2D in interface IVM

Overrides:

F2D in class AbstractVM

D2I

public void D2I()

Specified by:

D2I in interface IVM

Overrides:

D2I in class AbstractVM

D2L

public void D2L()

Specified by:

D2L in interface IVM

Overrides:

D2L in class AbstractVM

D2F

public void D2F()

Specified by:

D2F in interface IVM

Overrides:

D2F in class AbstractVM

I2B

public void I2B()

Specified by:

I2B in interface IVM

Overrides:

I2B in class AbstractVM

I2C

public void I2C()

Specified by:

I2C in interface IVM

Overrides:

I2C in class AbstractVM

I2S

public void I2S()

Specified by:

I2S in interface IVM

Overrides:

I2S in class AbstractVM

LREM

public void LREM(long rhs)

Specified by:

LREM in interface IVM

Overrides:

LREM in class AbstractVM