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

Class SymbolicInstructionProcessor

java.lang.Object

de.uzl.its.swat.symbolic.processor.AbstractInstructionProcessor

de.uzl.its.swat.symbolic.processor.SymbolicInstructionProcessor

All Implemented Interfaces:

InstructionProcessor

public class SymbolicInstructionProcessor
extends AbstractInstructionProcessor

This class is used to process instructions and triggers symbolic execution handling through visiting the current instruction.

Constructor Summary

Constructors

Constructor	Description
SymbolicInstructionProcessor()	Constructs a new SymbolicInstructionProcessor.

Method Summary

Modifier and Type	Method	Description
protected void	processInstruction(Instruction nextInstruction)	Initiates the symbolic execution handling by visiting the current instruction.

Methods inherited from class de.uzl.its.swat.symbolic.processor.AbstractInstructionProcessor

AALOAD, AASTORE, ACONST_NULL, ALOAD, ANEWARRAY, ARETURN, ARRAYLENGTH, ASTORE, ATHROW, BALOAD, BASTORE, BIPUSH, CALOAD, CASTORE, CHECKCAST, D2F, D2I, D2L, DADD, DALOAD, DASTORE, DCMPG, DCMPL, DCONST_0, DCONST_1, DDIV, DLOAD, DMUL, DNEG, DREM, DRETURN, DSTORE, DSUB, DUP, DUP_X1, DUP_X2, DUP2, DUP2_X1, DUP2_X2, F2D, F2I, F2L, FADD, FALOAD, FASTORE, FCMPG, FCMPL, FCONST_0, FCONST_1, FCONST_2, FDIV, FLOAD, flush, FMUL, FNEG, FREM, FRETURN, FSTORE, FSUB, GETFIELD, GETSTATIC, GETVALUE_boolean, GETVALUE_byte, GETVALUE_char, GETVALUE_double, GETVALUE_float, GETVALUE_int, GETVALUE_long, GETVALUE_Object, GETVALUE_short, GETVALUE_void, GOTO, I2B, I2C, I2D, I2F, I2L, I2S, IADD, IALOAD, IAND, IASTORE, ICONST_0, ICONST_1, ICONST_2, ICONST_3, ICONST_4, ICONST_5, ICONST_M1, IDIV, IF_ACMPEQ, IF_ACMPNE, IF_ICMPEQ, IF_ICMPGE, IF_ICMPGT, IF_ICMPLE, IF_ICMPLT, IF_ICMPNE, IFEQ, IFGE, IFGT, IFLE, IFLT, IFNE, IFNONNULL, IFNULL, IINC, ILOAD, IMUL, INEG, INSTANCEOF, INVOKEDYNAMIC, INVOKEINTERFACE, INVOKEMETHOD_END, INVOKEMETHOD_EXCEPTION, INVOKESPECIAL, INVOKESTATIC, INVOKEVIRTUAL, IOR, IREM, IRETURN, ISHL, ISHR, ISTORE, ISUB, IUSHR, IXOR, JSR, L2D, L2F, L2I, LADD, LALOAD, LAND, LASTORE, LCMP, LCONST_0, LCONST_1, LDC, LDC, LDC, LDC, LDC, LDC, LDIV, LLOAD, LMUL, LNEG, LOOKUPSWITCH, LOOP_BEGIN, LOOP_END, LOR, LREM, LRETURN, LSHL, LSHR, LSTORE, LSUB, LUSHR, LXOR, MAKE_SYMBOLIC, MONITORENTER, MONITOREXIT, MULTIANEWARRAY, NEW, NEWARRAY, NOP, POP, POP2, PUTFIELD, PUTSTATIC, RET, RETURN, SALOAD, SASTORE, SIPUSH, SPECIAL, SWAP, TABLESWITCH

Methods inherited from class java.lang.Object

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

Constructor Details

SymbolicInstructionProcessor

public SymbolicInstructionProcessor()

Constructs a new SymbolicInstructionProcessor.

Method Details

processInstruction

protected void processInstruction(Instruction nextInstruction)

Initiates the symbolic execution handling by visiting the current instruction. Importantly, the symbolic execution lags behind by one instruction to allow some peeking into the future.

Specified by:

processInstruction in class AbstractInstructionProcessor

Parameters:

nextInstruction - The instruction that was just executed and should be scheduled to be executed symbolically in one step.