Package de.uzl.its.swat.symbolic.processor

Interface InstructionProcessor

All Known Implementing Classes:
AbstractInstructionProcessor, DummyInstructionProcessor, SymbolicInstructionProcessor
public interface InstructionProcessor
Interface for instruction handling. The implementation of each instruction is called through the static API from the instrumented code.

  • Method Summary

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

  • Method Details

    • LDC

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

    • LDC

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

    • LDC

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

    • LDC

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

    • LDC

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

    • LDC

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

    • IINC

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

    • MULTIANEWARRAY

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

    • LOOKUPSWITCH

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

    • TABLESWITCH

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

    • IFEQ

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

    • IFNE

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

    • IFLT

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

    • IFGE

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

    • IFGT

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

    • IFLE

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

    • IF_ICMPEQ

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

    • IF_ICMPNE

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

    • IF_ICMPLT

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

    • IF_ICMPGE

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

    • IF_ICMPGT

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

    • IF_ICMPLE

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

    • IF_ACMPEQ

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

    • IF_ACMPNE

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

    • GOTO

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

    • JSR

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

    • IFNULL

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

    • IFNONNULL

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

    • INVOKEVIRTUAL

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

    • INVOKESPECIAL

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

    • INVOKEDYNAMIC

      void INVOKEDYNAMIC(int iid, int mid, String owner, String name, String desc, String lambdaFun)

    • INVOKESTATIC

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

    • INVOKEINTERFACE

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

    • GETSTATIC

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

    • PUTSTATIC

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

    • GETFIELD

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

    • PUTFIELD

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

    • NEW

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

    • ANEWARRAY

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

    • CHECKCAST

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

    • INSTANCEOF

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

    • BIPUSH

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

    • SIPUSH

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

    • NEWARRAY

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

    • ILOAD

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

    • LLOAD

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

    • FLOAD

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

    • DLOAD

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

    • ALOAD

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

    • ISTORE

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

    • LSTORE

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

    • FSTORE

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

    • DSTORE

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

    • ASTORE

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

    • RET

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

    • NOP

      void NOP(int iid, int mid)

    • ACONST_NULL

      void ACONST_NULL(int iid, int mid)

    • ICONST_M1

      void ICONST_M1(int iid, int mid)

    • ICONST_0

      void ICONST_0(int iid, int mid)

    • ICONST_1

      void ICONST_1(int iid, int mid)

    • ICONST_2

      void ICONST_2(int iid, int mid)

    • ICONST_3

      void ICONST_3(int iid, int mid)

    • ICONST_4

      void ICONST_4(int iid, int mid)

    • ICONST_5

      void ICONST_5(int iid, int mid)

    • LCONST_0

      void LCONST_0(int iid, int mid)

    • LCONST_1

      void LCONST_1(int iid, int mid)

    • FCONST_0

      void FCONST_0(int iid, int mid)

    • FCONST_1

      void FCONST_1(int iid, int mid)

    • FCONST_2

      void FCONST_2(int iid, int mid)

    • DCONST_0

      void DCONST_0(int iid, int mid)

    • DCONST_1

      void DCONST_1(int iid, int mid)

    • IALOAD

      void IALOAD(int iid, int mid)

    • LALOAD

      void LALOAD(int iid, int mid)

    • FALOAD

      void FALOAD(int iid, int mid)

    • DALOAD

      void DALOAD(int iid, int mid)

    • AALOAD

      void AALOAD(int iid, int mid)

    • BALOAD

      void BALOAD(int iid, int mid)

    • CALOAD

      void CALOAD(int iid, int mid)

    • SALOAD

      void SALOAD(int iid, int mid)

    • IASTORE

      void IASTORE(int iid, int mid)

    • LASTORE

      void LASTORE(int iid, int mid)

    • FASTORE

      void FASTORE(int iid, int mid)

    • DASTORE

      void DASTORE(int iid, int mid)

    • AASTORE

      void AASTORE(int iid, int mid)

    • BASTORE

      void BASTORE(int iid, int mid)

    • CASTORE

      void CASTORE(int iid, int mid)

    • SASTORE

      void SASTORE(int iid, int mid)

    • POP

      void POP(int iid, int mid)

    • POP2

      void POP2(int iid, int mid)

    • DUP

      void DUP(int iid, int mid)

    • DUP_X1

      void DUP_X1(int iid, int mid)

    • DUP_X2

      void DUP_X2(int iid, int mid)

    • DUP2

      void DUP2(int iid, int mid)

    • DUP2_X1

      void DUP2_X1(int iid, int mid)

    • DUP2_X2

      void DUP2_X2(int iid, int mid)

    • SWAP

      void SWAP(int iid, int mid)

    • IADD

      void IADD(int iid, int mid)

    • LADD

      void LADD(int iid, int mid)

    • FADD

      void FADD(int iid, int mid)

    • DADD

      void DADD(int iid, int mid)

    • ISUB

      void ISUB(int iid, int mid)

    • LSUB

      void LSUB(int iid, int mid)

    • FSUB

      void FSUB(int iid, int mid)

    • DSUB

      void DSUB(int iid, int mid)

    • IMUL

      void IMUL(int iid, int mid)

    • LMUL

      void LMUL(int iid, int mid)

    • FMUL

      void FMUL(int iid, int mid)

    • DMUL

      void DMUL(int iid, int mid)

    • IDIV

      void IDIV(int iid, int mid)

    • LDIV

      void LDIV(int iid, int mid)

    • FDIV

      void FDIV(int iid, int mid)

    • DDIV

      void DDIV(int iid, int mid)

    • IREM

      void IREM(int iid, int mid)

    • LREM

      void LREM(int iid, int mid)

    • FREM

      void FREM(int iid, int mid)

    • DREM

      void DREM(int iid, int mid)

    • INEG

      void INEG(int iid, int mid)

    • LNEG

      void LNEG(int iid, int mid)

    • FNEG

      void FNEG(int iid, int mid)

    • DNEG

      void DNEG(int iid, int mid)

    • ISHL

      void ISHL(int iid, int mid)

    • LSHL

      void LSHL(int iid, int mid)

    • ISHR

      void ISHR(int iid, int mid)

    • LSHR

      void LSHR(int iid, int mid)

    • IUSHR

      void IUSHR(int iid, int mid)

    • LUSHR

      void LUSHR(int iid, int mid)

    • IAND

      void IAND(int iid, int mid)

    • LAND

      void LAND(int iid, int mid)

    • IOR

      void IOR(int iid, int mid)

    • LOR

      void LOR(int iid, int mid)

    • IXOR

      void IXOR(int iid, int mid)

    • LXOR

      void LXOR(int iid, int mid)

    • I2L

      void I2L(int iid, int mid)

    • I2F

      void I2F(int iid, int mid)

    • I2D

      void I2D(int iid, int mid)

    • L2I

      void L2I(int iid, int mid)

    • L2F

      void L2F(int iid, int mid)

    • L2D

      void L2D(int iid, int mid)

    • F2I

      void F2I(int iid, int mid)

    • F2L

      void F2L(int iid, int mid)

    • F2D

      void F2D(int iid, int mid)

    • D2I

      void D2I(int iid, int mid)

    • D2L

      void D2L(int iid, int mid)

    • D2F

      void D2F(int iid, int mid)

    • I2B

      void I2B(int iid, int mid)

    • I2C

      void I2C(int iid, int mid)

    • I2S

      void I2S(int iid, int mid)

    • LCMP

      void LCMP(int iid, int mid)

    • FCMPL

      void FCMPL(int iid, int mid)

    • FCMPG

      void FCMPG(int iid, int mid)

    • DCMPL

      void DCMPL(int iid, int mid)

    • DCMPG

      void DCMPG(int iid, int mid)

    • IRETURN

      void IRETURN(int iid, int mid)

    • LRETURN

      void LRETURN(int iid, int mid)

    • FRETURN

      void FRETURN(int iid, int mid)

    • DRETURN

      void DRETURN(int iid, int mid)

    • ARETURN

      void ARETURN(int iid, int mid)

    • RETURN

      void RETURN(int iid, int mid)

    • ARRAYLENGTH

      void ARRAYLENGTH(int iid, int mid)

    • ATHROW

      void ATHROW(int iid, int mid)

    • MONITORENTER

      void MONITORENTER(int iid, int mid)

    • MONITOREXIT

      void MONITOREXIT(int iid, int mid)

    • GETVALUE_double

      void GETVALUE_double(double v, int i)

    • GETVALUE_long

      void GETVALUE_long(long v, int i)

    • GETVALUE_Object

      void GETVALUE_Object(Object v, int i)

    • GETVALUE_boolean

      void GETVALUE_boolean(boolean v, int i)

    • GETVALUE_byte

      void GETVALUE_byte(byte v, int i)

    • GETVALUE_char

      void GETVALUE_char(char v, int i)

    • GETVALUE_float

      void GETVALUE_float(float v, int i)

    • GETVALUE_int

      void GETVALUE_int(int v, int i)

    • GETVALUE_short

      void GETVALUE_short(short v, int i)

    • GETVALUE_void

      void GETVALUE_void()

    • INVOKEMETHOD_EXCEPTION

      void INVOKEMETHOD_EXCEPTION()

    • INVOKEMETHOD_END

      void INVOKEMETHOD_END()

    • MAKE_SYMBOLIC

      void MAKE_SYMBOLIC()

    • LOOP_BEGIN

      void LOOP_BEGIN(int iid)

    • LOOP_END

      void LOOP_END(int iid)

    • SPECIAL

      void SPECIAL(int i)

    • flush

      void flush()