org.bdware.analysis.taint

类 TaintInterpreter

java.lang.Object

org.objectweb.asm.tree.analysis.Interpreter<TaintValue>

org.bdware.analysis.taint.TaintInterpreter

public class TaintInterpreter
extends Interpreter<TaintValue>

字段概要

从类继承的字段 org.objectweb.asm.tree.analysis.Interpreter

api

构造器概要

构造器

构造器和说明
TaintInterpreter(int api)

方法概要

限定符和类型	方法和说明
TaintValue	binaryOperation(AbstractInsnNode insn, TaintValue value1, TaintValue value2) Interprets a bytecode instruction with two arguments.
TaintValue	copyOperation(AbstractInsnNode insn, TaintValue value) Interprets a bytecode instruction that moves a value on the stack or to or from local variables.
TaintValue	merge(TaintValue v, TaintValue w) Merges two values.
TaintValue	naryOperation(AbstractInsnNode insn, java.util.List<? extends TaintValue> values) Interprets a bytecode instruction with a variable number of arguments.
TaintValue	newOperation(AbstractInsnNode insn) Interprets a bytecode instruction without arguments.
TaintValue	newValue(Type type) Creates a new value that represents the given type.
void	returnOperation(AbstractInsnNode insn, TaintValue value, TaintValue expected) Interprets a bytecode return instruction.
void	setCurrentResult(TaintResult naiveTaintResult)
void	setTaintBits(TaintBits tb)
TaintValue	ternaryOperation(AbstractInsnNode insn, TaintValue value1, TaintValue value2, TaintValue value3) Interprets a bytecode instruction with three arguments.
TaintValue	unaryOperation(AbstractInsnNode insn, TaintValue value) Interprets a bytecode instruction with a single argument.

从类继承的方法 java.lang.Object

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

构造器详细资料

TaintInterpreter

public TaintInterpreter(int api)

方法详细资料

newValue

public TaintValue newValue(Type type)

从类复制的说明: Interpreter

Creates a new value that represents the given type. Called for method parameters (including this), exception handler variable and with null type for variables reserved by long and double types.

指定者:

newValue 在类中 Interpreter<TaintValue>

参数:

type - a primitive or reference type, or null to represent an uninitialized value.

返回:

a value that represents the given type. The size of the returned value must be equal to the size of the given type.

newOperation

public TaintValue newOperation(AbstractInsnNode insn)
                        throws AnalyzerException

从类复制的说明: Interpreter

Interprets a bytecode instruction without arguments. This method is called for the following opcodes: ACONST_NULL, ICONST_M1, ICONST_0, ICONST_1, ICONST_2, ICONST_3, ICONST_4, ICONST_5, LCONST_0, LCONST_1, FCONST_0, FCONST_1, FCONST_2, DCONST_0, DCONST_1, BIPUSH, SIPUSH, LDC, JSR, GETSTATIC, NEW

指定者:

newOperation 在类中 Interpreter<TaintValue>

参数:

insn - the bytecode instruction to be interpreted.

返回:

the result of the interpretation of the given instruction.

抛出:

AnalyzerException - if an error occured during the interpretation.

copyOperation

public TaintValue copyOperation(AbstractInsnNode insn,
                                TaintValue value)
                         throws AnalyzerException

从类复制的说明: Interpreter

Interprets a bytecode instruction that moves a value on the stack or to or from local variables. This method is called for the following opcodes: ILOAD, LLOAD, FLOAD, DLOAD, ALOAD, ISTORE, LSTORE, FSTORE, DSTORE, ASTORE, DUP, DUP_X1, DUP_X2, DUP2, DUP2_X1, DUP2_X2, SWAP

指定者:

copyOperation 在类中 Interpreter<TaintValue>

参数:

insn - the bytecode instruction to be interpreted.

value - the value that must be moved by the instruction.

返回:

the result of the interpretation of the given instruction. The returned value must be equal to the given value.

抛出:

AnalyzerException - if an error occured during the interpretation.

unaryOperation

public TaintValue unaryOperation(AbstractInsnNode insn,
                                 TaintValue value)
                          throws AnalyzerException

从类复制的说明: Interpreter

Interprets a bytecode instruction with a single argument. This method is called for the following opcodes: INEG, LNEG, FNEG, DNEG, IINC, I2L, I2F, I2D, L2I, L2F, L2D, F2I, F2L, F2D, D2I, D2L, D2F, I2B, I2C, I2S, IFEQ, IFNE, IFLT, IFGE, IFGT, IFLE, TABLESWITCH, LOOKUPSWITCH, IRETURN, LRETURN, FRETURN, DRETURN, ARETURN, PUTSTATIC, GETFIELD, NEWARRAY, ANEWARRAY, ARRAYLENGTH, ATHROW, CHECKCAST, INSTANCEOF, MONITORENTER, MONITOREXIT, IFNULL, IFNONNULL

指定者:

unaryOperation 在类中 Interpreter<TaintValue>

参数:

insn - the bytecode instruction to be interpreted.

value - the argument of the instruction to be interpreted.

返回:

the result of the interpretation of the given instruction.

抛出:

AnalyzerException - if an error occured during the interpretation.

binaryOperation

public TaintValue binaryOperation(AbstractInsnNode insn,
                                  TaintValue value1,
                                  TaintValue value2)
                           throws AnalyzerException

从类复制的说明: Interpreter

Interprets a bytecode instruction with two arguments. This method is called for the following opcodes: IALOAD, LALOAD, FALOAD, DALOAD, AALOAD, BALOAD, CALOAD, SALOAD, IADD, LADD, FADD, DADD, ISUB, LSUB, FSUB, DSUB, IMUL, LMUL, FMUL, DMUL, IDIV, LDIV, FDIV, DDIV, IREM, LREM, FREM, DREM, ISHL, LSHL, ISHR, LSHR, IUSHR, LUSHR, IAND, LAND, IOR, LOR, IXOR, LXOR, LCMP, FCMPL, FCMPG, DCMPL, DCMPG, IF_ICMPEQ, IF_ICMPNE, IF_ICMPLT, IF_ICMPGE, IF_ICMPGT, IF_ICMPLE, IF_ACMPEQ, IF_ACMPNE, PUTFIELD

指定者:

binaryOperation 在类中 Interpreter<TaintValue>

参数:

insn - the bytecode instruction to be interpreted.

value1 - the first argument of the instruction to be interpreted.

value2 - the second argument of the instruction to be interpreted.

返回:

the result of the interpretation of the given instruction.

抛出:

AnalyzerException - if an error occured during the interpretation.

ternaryOperation

public TaintValue ternaryOperation(AbstractInsnNode insn,
                                   TaintValue value1,
                                   TaintValue value2,
                                   TaintValue value3)
                            throws AnalyzerException

从类复制的说明: Interpreter

Interprets a bytecode instruction with three arguments. This method is called for the following opcodes: IASTORE, LASTORE, FASTORE, DASTORE, AASTORE, BASTORE, CASTORE, SASTORE

指定者:

ternaryOperation 在类中 Interpreter<TaintValue>

参数:

insn - the bytecode instruction to be interpreted.

value1 - the first argument of the instruction to be interpreted.

value2 - the second argument of the instruction to be interpreted.

value3 - the third argument of the instruction to be interpreted.

返回:

the result of the interpretation of the given instruction.

抛出:

AnalyzerException - if an error occured during the interpretation.

naryOperation

public TaintValue naryOperation(AbstractInsnNode insn,
                                java.util.List<? extends TaintValue> values)
                         throws AnalyzerException

从类复制的说明: Interpreter

Interprets a bytecode instruction with a variable number of arguments. This method is called for the following opcodes: INVOKEVIRTUAL, INVOKESPECIAL, INVOKESTATIC, INVOKEINTERFACE, MULTIANEWARRAY and INVOKEDYNAMIC

指定者:

naryOperation 在类中 Interpreter<TaintValue>

参数:

insn - the bytecode instruction to be interpreted.

values - the arguments of the instruction to be interpreted.

返回:

the result of the interpretation of the given instruction.

抛出:

AnalyzerException - if an error occured during the interpretation.

returnOperation

public void returnOperation(AbstractInsnNode insn,
                            TaintValue value,
                            TaintValue expected)
                     throws AnalyzerException

从类复制的说明: Interpreter

Interprets a bytecode return instruction. This method is called for the following opcodes: IRETURN, LRETURN, FRETURN, DRETURN, ARETURN

指定者:

returnOperation 在类中 Interpreter<TaintValue>

参数:

insn - the bytecode instruction to be interpreted.

value - the argument of the instruction to be interpreted.

expected - the expected return type of the analyzed method.

抛出:

AnalyzerException - if an error occured during the interpretation.

merge

public TaintValue merge(TaintValue v,
                        TaintValue w)

从类复制的说明: Interpreter

Merges two values. The merge operation must return a value that represents both values (for instance, if the two values are two types, the merged value must be a common super type of the two types. If the two values are integer intervals, the merged value must be an interval that contains the previous ones. Likewise for other types of values).

指定者:

merge 在类中 Interpreter<TaintValue>

参数:

v - a value.

w - another value.

返回:

the merged value. If the merged value is equal to v, this method must return v.

setCurrentResult

public void setCurrentResult(TaintResult naiveTaintResult)

setTaintBits

public void setTaintBits(TaintBits tb)