Package de.uzl.its.swat.symbolic.instruction

package de.uzl.its.swat.symbolic.instruction

Related Packages

Package	Description
de.uzl.its.swat.symbolic
de.uzl.its.swat.symbolic.invoke
de.uzl.its.swat.symbolic.processor
de.uzl.its.swat.symbolic.trace	This package contains the trace, its handler and its elements.
de.uzl.its.swat.symbolic.value

Class	Description
AALOAD	AALOAD - Load reference from array.
AASTORE	AASTORE - Store into reference array For more information see the Java VM specification.
ACONST_NULL	ACONST_NULL - Push null.
ALOAD	ALOAD - Load reference from local variable.
ANEWARRAY	ANEWARRAY - Create new array of reference.
ARETURN	ARETURN - Return reference from method.
ARRAYLENGTH	ARRAYLENGTH - Get length of array.
ASTORE	ASTORE -Store reference into local variable.
ATHROW	ATHROW - Throw exception or error.
BALOAD	BALOAD - Load byte or boolean from array.
BASTORE	BASTORE - Store into byte or boolean array.
BIPUSH	BIPUSH - Push byte.
CALOAD	CALOAD - Load char from array.
CASTORE	CASTORE - Store into char array.
CHECKCAST	CHECKCAST - Check whether object is of given type.
D2F	D2F - Convert double to float.
D2I	D2I - Convert double to int.
D2L	D2F - Convert double to long.
DADD	DADD - Add double.
DALOAD	DALOAD - Load double from array.
DASTORE	DASTORE - Store into double array.
DCMPG	DCMPG - Compare double (greater than).
DCMPL	DCMPL - Compare double (less than).
DCONST_0	DCONST_0 - Push double (0.0d).
DCONST_1	DCONST_1 - Push double (1.0d).
DDIV	DDIV - Divide double.
DLOAD	DLOAD - Load double from local variable.
DMUL	DMUL - Convert double to float.
DNEG	DNEG - Negate double.
DREM	DREM - Remainder double.
DRETURN	DRETURN - Return double from method.
DSTORE	DSTORE - Store double into local variable.
DSUB	DSUB - Subtract double.
DUP	DUP - Duplicate the top operand stack value.
DUP_X1	DUP_X1 - Duplicate the top operand stack value and insert two values down.
DUP_X2	DUP_X2 - Duplicate the top operand stack value and insert two or three values down.
DUP2	DUP2 - Duplicate the top one or two operand stack values.
DUP2_X1	DUP2_X1 - Duplicate the top one or two operand stack values and insert two or three values down.
DUP2_X2	DUP2_X2 - Duplicate the top one or two operand stack values and insert two, three, or four values down.
F2D	F2D - Convert float to double.
F2I	F2I - Convert float to int.
F2L	F2L - Convert float to long.
FADD	FADD - Add float.
FALOAD	FALOAD - Load float from array.
FASTORE	FASTORE - Store into float array.
FCMPG	FCMPG - Compare float (greater than).
FCMPL	FCMPL - Compare float (less than).
FCONST_0	FCONST_0 - Push float (0.0f).
FCONST_1	FCONST_1 - Push float (1.0f).
FCONST_2	FCONST_2 - Push float (2.0f).
FDIV	FDIV - Divide float.
FLOAD	FLOAD - Load float from local variable.
FMUL	FMUL - Multiply float.
FNEG	FNEG - Negate float.
FREM	FREM - Remainder float.
FRETURN	FRETURN - Return float from method.
FSTORE	FSTORE - Store float into local variable.
FSUB	FSUB - Subtract float.
GETFIELD	GETFIELD - Fetch field from object.
GETSTATIC	GETSTATIC - Get static field from class.
GETVALUE_boolean	GETVALUE_boolean - Custom method call handled as an instruction to fetch the concrete value that was produced/ loaded by another instruction.
GETVALUE_byte	GETVALUE_byte - Custom method call handled as an instruction to fetch the concrete value that was produced/ loaded by another instruction.
GETVALUE_char	GETVALUE_char - Custom method call handled as an instruction to fetch the concrete value that was produced/ loaded by another instruction.
GETVALUE_double	GETVALUE_double - Custom method call handled as an instruction to fetch the concrete value that was produced/ loaded by another instruction.
GETVALUE_float	GETVALUE_float - Custom method call handled as an instruction to fetch the concrete value that was produced/ loaded by another instruction.
GETVALUE_int	GETVALUE_int - Custom method call handled as an instruction to fetch the concrete value that was produced/ loaded by another instruction.
GETVALUE_long	GETVALUE_long - Custom method call handled as an instruction to fetch the concrete value that was produced/ loaded by another instruction.
GETVALUE_Object<T>	GETVALUE_Object - Custom method call handled as an instruction to fetch the concrete value that was produced/ loaded by another instruction.
GETVALUE_primitive
GETVALUE_short	GETVALUE_short - Custom method call handled as an instruction to fetch the concrete value that was produced/ loaded by another instruction.
GETVALUE_void	GETVALUE_void - Custom method call handled as an instruction to fetch the concrete value that was produced/ loaded by another instruction.
GOTO	GOTO - Branch always.
I2B	I2B - Convert int to byte.
I2C	I2C - Convert int to character.
I2D	I2D - Convert int to double.
I2F	I2F - Convert int to float.
I2L	I2L - Convert int to long.
I2S	I2S - Convert int to short.
IADD	IADD - Add int.
IALOAD	IALOAD - Load int from array.
IAND	IAND - Boolean AND int.
IASTORE	IASTORE - Store into int array.
ICONST_0	ICONST_0 - Push int constant (0).
ICONST_1	ICONST_1 - Push int constant (1).
ICONST_2	ICONST_2 - Push int constant (2).
ICONST_3	ICONST_3 - Push int constant (3).
ICONST_4	ICONST_4 - Push int constant (4).
ICONST_5	ICONST_5 - Push int constant (5).
ICONST_M1	ICONST_M1 - Push int constant (-1).
IDIV	IDIV - Divide int.
IF_ACMPEQ	IF_ACMPEQ - Branch if reference comparison succeeds (equals) For more information see the Java VM specification.
IF_ACMPNE	IF_ACMPNE - Branch if reference comparison succeeds (not equals) For more information see the Java VM specification.
IF_ICMPEQ	IF_ICMPEQ - Branch if int comparison succeeds (equals) For more information see the Java VM specification.
IF_ICMPGE	IF_ICMPGE - Branch if int comparison succeeds (greater or equals) For more information see the Java VM specification.
IF_ICMPGT	IF_ICMPGT - Branch if int comparison succeeds (greater than) For more information see the Java VM specification.
IF_ICMPLE	IF_ICMPLE - Branch if int comparison succeeds (less or equals) For more information see the Java VM specification.
IF_ICMPLT	IF_ICMPLT - Branch if int comparison succeeds (less than) For more information see the Java VM specification.
IF_ICMPNE	IF_ICMPNE - Branch if int comparison succeeds (not equals) For more information see the Java VM specification.
IFEQ	IFEQ - Branch if int comparison with zero succeeds (equal) For more information see the Java VM specification.
IFGE	IFGE - Branch if int comparison with zero succeeds (greater or equal) For more information see the Java VM specification.
IFGT	IFGT - Branch if int comparison with zero succeeds (greater than) For more information see the Java VM specification.
IFLE	IFLE - Branch if int comparison with zero succeeds (less than) For more information see the Java VM specification.
IFLT	IFLT - Branch if int comparison with zero succeeds (less than) For more information see the Java VM specification.
IFNE	IFNE - Branch if int comparison with zero succeeds (not equal) For more information see the Java VM specification.
IFNONNULL	IFNONNULL - Branch if reference not null.
IFNULL	IFNULL - Branch if reference is null.
IINC	IINC - Increment local variable by constant.
ILOAD	ILOAD - Load int from local variable.
IMUL	IMUL - Multiply int.
INEG	INEG - Negate int.
INSTANCEOF	INSTANCEOF - Determine if object is of given type.
Instruction	Base class for all instructions.
INVOKEDYNAMIC	INVOKEDYNAMIC - Invoke a dynamically-computed call site.
INVOKEINTERFACE	INVOKEINTERFACE - Invoke interface method.
INVOKEMETHOD_END	INVOKEMETHOD_END - Custom method handled as an instruction to signalize a method end.
INVOKEMETHOD_EXCEPTION	INVOKEMETHOD_EXCEPTION - Custom method handled as an instruction to signalize a method end.
INVOKESPECIAL	INVOKESPECIAL - Invoke instance method; direct invocation of instance initialization methods and methods of the current class and its supertypes.
INVOKESTATIC	INVOKESTATIC - Invoke a class (static) method.
INVOKEVIRTUAL	INVOKEVIRTUAL - Invoke instance method; dispatch based on class.
IOR	IOR - Boolean OR int.
IREM	IREM - Remainder int.
IRETURN	IRETURN - Return int from method.
ISHL	ISHL - Shift left int.
ISHR	ISHR - Arithmetic shift right int.
ISTORE	ISTORE - Store int into local variable.
ISUB	ISUB - Subtract int.
IUSHR	IUSHR - Logical shift right int.
IVisitor
IXOR	IXOR - Boolean XOR int.
JSR	JSR - Jump subroutine.
L2D	L2D - Convert long to double.
L2F	L2F - Convert long to float.
L2I	L2I - Convert long to int.
LADD	LADD - Add long.
LALOAD	LALOAD - Load long from array.
LAND	LAND - Boolean AND long.
LASTORE	LASTORE - Store into long array.
LCMP	LCMP - Compare long.
LCONST_0	LCONST_0 - Push long constant (0L).
LCONST_1	LCONST_1 - Push long constant (1L).
LDC_double	LDC(_double) - Push item from run-time constant pool.
LDC_float	LDC(_float) - Push item from run-time constant pool.
LDC_int	LDC(_int) - Push item from run-time constant pool.
LDC_long	LDC(_long) - Push item from run-time constant pool.
LDC_Object	LDC(_Object) - Push item from run-time constant pool.
LDC_String	LDC(_String) - Push item from run-time constant pool.
LDIV	LDIV - Divide long.
LLOAD	LLOAD - Load long from local variable.
LMUL	LMUL - Multiply long.
LNEG	LNEG - Negate long.
LOOKUPSWITCH	LOOKUPSWITCH - Access jump table by key match and jump.
LOOP_BEGIN	LOOP_BEGIN - Custom method call handled as an instruction to detect the beginning of loops.
LOOP_END	LOOP_END - Custom method call handled as an instruction to detect the end of loops.
LOR	LOR - Boolean OR long.
LREM	LREM - Remainder long.
LRETURN	LRETURN - Return long from method.
LSHL	LSHL - Shift left long.
LSHR	LSHR - Arithmetic shift right long For more information see the Java VM specification.
LSTORE	LSTORE - Store long into local variable.
LSUB	LSUB - Subtract long.
LUSHR	LUSHR - Logical shift right long.
LXOR	LXOR - Boolean XOR long.
MAKE_SYMBOLIC	MAKE_SYMBOLIC - Custom method call handled as an instruction to initiate symbolic tracking of variables.
MONITORENTER	MONITORENTER - Enter monitor for object.
MONITOREXIT	MONITOREXIT - Exit monitor for object.
MULTIANEWARRAY	MULTIANEWARRAY - Create new multidimensional array.
NEW	NEW - Create new object.
NEWARRAY	NEWARRAY - Create new array.
NOP	NOP - Do nothing.
POP	POP - Pop the top operand stack value.
POP2	POP2 - Pop the top one or two operand stack values.
PUTFIELD	PUTFIELD - Set field in object.
PUTSTATIC	PUTSTATIC - Set static field in class.
RET	RET - Return from subroutine.
RETURN	RETURN - Return void from method.
SALOAD	SALOAD - Load short from array.
SASTORE	SASTORE - Store into short array.
SIPUSH	SIPUSH - Push short.
SPECIAL	A special probe instruction added by the instrumentation.
SWAP	SWAP - Swap the top two operand stack values.
TABLESWITCH	TABLESWITCH - Access jump table by index and jump.