org.evosuite.symbolic.vm

Class JumpVM

java.lang.Object

org.evosuite.dse.AbstractVM

org.evosuite.symbolic.vm.JumpVM

All Implemented Interfaces:

IVM

public final class JumpVM
extends AbstractVM

Java byte codes we group together as "jump-related" Explicit intra-procedural control transfer, conditional or unconditional: Goto, jump, etc.

Author:

csallner@uta.edu (Christoph Csallner)

Field Summary

Fields inherited from class org.evosuite.dse.AbstractVM

conf

Constructor Summary

Constructors

Constructor and Description
JumpVM(SymbolicEnvironment env, PathConditionCollector pc) Constructor

Method Summary

Modifier and Type	Method and Description
void	ATHROW(Throwable throwable) http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.doc .html#athrow
void	GOTO_W()
void	GOTO() Unconditional jump No change to operand stack or local variables.
void	IF_ACMPEQ(String className, String methName, int branchIndex, Object conc_left, Object conc_right) (left == right).
void	IF_ACMPNE(String className, String methName, int branchIndex, Object left, Object right)
void	IF_ICMPEQ(String className, String methName, int branchIndex, int left, int right) (left == right).
void	IF_ICMPGE(String className, String methName, int branchIndex, int left, int right)
void	IF_ICMPGT(String className, String methName, int branchIndex, int left, int right) (left > right) is just (right < left).
void	IF_ICMPLE(String className, String methName, int branchIndex, int left, int right)
void	IF_ICMPLT(String className, String methName, int branchIndex, int left, int right) (left < right).
void	IF_ICMPNE(String className, String methName, int branchIndex, int left, int right)
void	IFEQ(String className, String methName, int branchIndex, int p) (p == 0) is just ((p == right) with right==0).
void	IFGE(String className, String methName, int branchIndex, int p)
void	IFGT(String className, String methName, int branchIndex, int p) (p > 0) is just (0 < p).
void	IFLE(String className, String methName, int branchIndex, int p)
void	IFLT(String className, String methName, int branchIndex, int p) (p < 0) is just ((p < right) with right==0).
void	IFNE(String className, String methName, int branchIndex, int p)
void	IFNONNULL(String className, String methName, int branchIndex, Object p)
void	IFNULL(String className, String methName, int branchIndex, Object p) http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	JSR_W()
void	JSR() Unconditional jump (to sub-routine, finally block) Pushes address onto operand stack, which finally block will astore.
void	LOOKUPSWITCH(String className, String methName, int branchIndex, int goalConcrete, int[] targetsConcrete) switch statement whose cases may not be numbered consecutively.
void	RET() Return from sub-routine Operand stack and local variables remain unchanged.
void	TABLESWITCH(String className, String methName, int branchIndex, int goalConcrete, int min, int max) switch statement that has consecutively numbered cases.

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, 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, D2F, D2I, D2L, DADD, DALOAD, DASTORE, DCMPG, DCMPL, DCONST_0, DCONST_1, DDIV, DLOAD_0, DLOAD_1, DLOAD_2, DLOAD_3, DLOAD, DMUL, DNEG, DREM, DRETURN, DSTORE_0, DSTORE_1, DSTORE_2, DSTORE_3, DSTORE, DSUB, DUP_X1, DUP_X2, DUP, DUP2_X1, DUP2_X2, DUP2, F2D, F2I, F2L, FADD, FALOAD, FASTORE, FCMPG, FCMPL, FCONST_0, FCONST_1, FCONST_2, FDIV, FLOAD_0, FLOAD_1, FLOAD_2, FLOAD_3, FLOAD, FMUL, FNEG, FREM, FRETURN, FSTORE_0, FSTORE_1, FSTORE_2, FSTORE_3, FSTORE, FSUB, GETFIELD, GETSTATIC, HANDLER_BEGIN, I2B, I2C, I2D, I2F, I2L, I2S, IADD, IALOAD, IAND, IASTORE, ICONST_0, ICONST_1, ICONST_2, ICONST_3, ICONST_4, ICONST_5, ICONST_M1, IDIV, IINC, ILOAD_0, ILOAD_1, ILOAD_2, ILOAD_3, ILOAD, IMUL, INEG, INSTANCEOF, INVOKEINTERFACE, INVOKESPECIAL, INVOKESPECIAL, INVOKESTATIC, INVOKEVIRTUAL, IOR, IREM, IRETURN, ISHL, ISHR, ISTORE_0, ISTORE_1, ISTORE_2, ISTORE_3, ISTORE, ISUB, IUSHR, IXOR, L2D, L2F, L2I, LADD, LALOAD, LAND, LASTORE, LCMP, LCONST_0, LCONST_1, LDC_W, LDC, LDC, LDC, LDC, LDC2_W, LDC2_W, LDIV, LLOAD_0, LLOAD_1, LLOAD_2, LLOAD_3, LLOAD, LMUL, LNEG, LOR, LREM, LRETURN, LSHL, LSHR, LSTORE_0, LSTORE_1, LSTORE_2, LSTORE_3, LSTORE, LSUB, LUSHR, LXOR, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_RECEIVER, METHOD_BEGIN, METHOD_MAXS, MONITORENTER, MONITOREXIT, MULTIANEWARRAY, NEW, NEWARRAY, NOP, POP, POP2, PUTFIELD, PUTSTATIC, RETURN, SALOAD, SASTORE, SIPUSH, SRC_LINE_NUMBER, SWAP, UNUSED, WIDE

Methods inherited from class java.lang.Object

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

Constructor Detail

JumpVM

public JumpVM(SymbolicEnvironment env,
              PathConditionCollector pc)

Constructor

Method Detail

IFEQ

public void IFEQ(String className,
                 String methName,
                 int branchIndex,
                 int p)

(p == 0) is just ((p == right) with right==0). (p != 0) is just (not (p == 0)). http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#ifcond

Specified by:

IFEQ in interface IVM

Overrides:

IFEQ in class AbstractVM

IFNE

public void IFNE(String className,
                 String methName,
                 int branchIndex,
                 int p)

Specified by:

IFNE in interface IVM

Overrides:

IFNE in class AbstractVM

IFLT

public void IFLT(String className,
                 String methName,
                 int branchIndex,
                 int p)

(p < 0) is just ((p < right) with right==0). (p >= 0) is just (not (p < 0)). http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#ifcond

Specified by:

IFLT in interface IVM

Overrides:

IFLT in class AbstractVM

IFGE

public void IFGE(String className,
                 String methName,
                 int branchIndex,
                 int p)

Specified by:

IFGE in interface IVM

Overrides:

IFGE in class AbstractVM

IFGT

public void IFGT(String className,
                 String methName,
                 int branchIndex,
                 int p)

(p > 0) is just (0 < p). (0 < p) is just ((left < p) with left==0). (p <= 0) is just (0 >= p). (0 >= p) is just (not (0 < p )). http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#ifcond

Specified by:

IFGT in interface IVM

Overrides:

IFGT in class AbstractVM

IFLE

public void IFLE(String className,
                 String methName,
                 int branchIndex,
                 int p)

Specified by:

IFLE in interface IVM

Overrides:

IFLE in class AbstractVM

IF_ICMPEQ

public void IF_ICMPEQ(String className,
                      String methName,
                      int branchIndex,
                      int left,
                      int right)

(left == right). (left != right) is just (not (left == right)). http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#if_icmpcond

Specified by:

IF_ICMPEQ in interface IVM

Overrides:

IF_ICMPEQ in class AbstractVM

IF_ICMPNE

public void IF_ICMPNE(String className,
                      String methName,
                      int branchIndex,
                      int left,
                      int right)

Specified by:

IF_ICMPNE in interface IVM

Overrides:

IF_ICMPNE in class AbstractVM

IF_ICMPLT

public void IF_ICMPLT(String className,
                      String methName,
                      int branchIndex,
                      int left,
                      int right)

(left < right). (left >= right) is just (not (left < right)). http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#if_icmpcond

Specified by:

IF_ICMPLT in interface IVM

Overrides:

IF_ICMPLT in class AbstractVM

IF_ICMPGE

public void IF_ICMPGE(String className,
                      String methName,
                      int branchIndex,
                      int left,
                      int right)

Specified by:

IF_ICMPGE in interface IVM

Overrides:

IF_ICMPGE in class AbstractVM

IF_ICMPGT

public void IF_ICMPGT(String className,
                      String methName,
                      int branchIndex,
                      int left,
                      int right)

(left > right) is just (right < left). (left <= right) is just (not (left > right)). http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#if_icmpcond

Specified by:

IF_ICMPGT in interface IVM

Overrides:

IF_ICMPGT in class AbstractVM

IF_ICMPLE

public void IF_ICMPLE(String className,
                      String methName,
                      int branchIndex,
                      int left,
                      int right)

Specified by:

IF_ICMPLE in interface IVM

Overrides:

IF_ICMPLE in class AbstractVM

IF_ACMPEQ

public void IF_ACMPEQ(String className,
                      String methName,
                      int branchIndex,
                      Object conc_left,
                      Object conc_right)

(left == right). (left != right) is just (not (left == right)). http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#if_acmpcond

Specified by:

IF_ACMPEQ in interface IVM

Overrides:

IF_ACMPEQ in class AbstractVM

IF_ACMPNE

public void IF_ACMPNE(String className,
                      String methName,
                      int branchIndex,
                      Object left,
                      Object right)

Specified by:

IF_ACMPNE in interface IVM

Overrides:

IF_ACMPNE in class AbstractVM

IFNULL

public void IFNULL(String className,
                   String methName,
                   int branchIndex,
                   Object p)

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

Specified by:

IFNULL in interface IVM

Overrides:

IFNULL in class AbstractVM

IFNONNULL

public void IFNONNULL(String className,
                      String methName,
                      int branchIndex,
                      Object p)

Specified by:

IFNONNULL in interface IVM

Overrides:

IFNONNULL in class AbstractVM

TABLESWITCH

public void TABLESWITCH(String className,
                        String methName,
                        int branchIndex,
                        int goalConcrete,
                        int min,
                        int max)

switch statement that has consecutively numbered cases. I.e., there are no holes (missing targets) between the lowest and highest target. Hence the compiler does not need to translate the case values to offsets.

We treat the switch statement as a nested if in order lowest to highest index as follows.

 if (x==lowest) ..
 else 
 {
   if (x==second_lowest) ..
   else
   {
     if ..
 

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc14.html#tableswitch

Specified by:

TABLESWITCH in interface IVM

Overrides:

TABLESWITCH in class AbstractVM

LOOKUPSWITCH

public void LOOKUPSWITCH(String className,
                         String methName,
                         int branchIndex,
                         int goalConcrete,
                         int[] targetsConcrete)

switch statement whose cases may not be numbered consecutively. I.e., there may be holes (missing targets) between the lowest and highest target.

Very similar to TABLESWITCH(java.lang.String, java.lang.String, int, int, int, int). The main difference is that here we are given a list of explicit goals. Tableswitch defines its goals implicitly, between min and max. http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc8.html#lookupswitch

Specified by:

LOOKUPSWITCH in interface IVM

Overrides:

LOOKUPSWITCH in class AbstractVM

GOTO

public void GOTO()

Unconditional jump No change to operand stack or local variables. ... ==> ... http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc5.html#goto

Specified by:

GOTO in interface IVM

Overrides:

GOTO in class AbstractVM

GOTO_W

public void GOTO_W()

Specified by:

GOTO_W in interface IVM

Overrides:

GOTO_W in class AbstractVM

ATHROW

public void ATHROW(Throwable throwable)

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.doc .html#athrow

Specified by:

ATHROW in interface IVM

Overrides:

ATHROW in class AbstractVM

JSR

public void JSR()

Unconditional jump (to sub-routine, finally block) Pushes address onto operand stack, which finally block will astore. ... ==> ..., address http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc7.html#jsr

Specified by:

JSR in interface IVM

Overrides:

JSR in class AbstractVM

JSR_W

public void JSR_W()

Specified by:

JSR_W in interface IVM

Overrides:

JSR_W in class AbstractVM

RET

public void RET()

Return from sub-routine Operand stack and local variables remain unchanged. ... ==> ... http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc12.html#ret

Specified by:

RET in interface IVM

Overrides:

RET in class AbstractVM