soot.jimple.infoflow.nativeCallHandler

类 DefaultNativeCallHandler

java.lang.Object

soot.jimple.infoflow.nativeCallHandler.AbstractNativeCallHandler

soot.jimple.infoflow.nativeCallHandler.DefaultNativeCallHandler

所有已实现的接口:

INativeCallHandler

public class DefaultNativeCallHandler
extends AbstractNativeCallHandler

字段概要

从类继承的字段 soot.jimple.infoflow.nativeCallHandler.AbstractNativeCallHandler

manager

构造器概要

构造器

构造器和说明
DefaultNativeCallHandler()

方法概要

限定符和类型	方法和说明
Set<Abstraction>	getTaintedValues(soot.jimple.Stmt call, Abstraction source, soot.Value[] params) Returns the set of tainted values for a given call to native code, a given tainted value and the list of passed arguments
boolean	supportsCall(soot.jimple.Stmt call) Checks whether this handler is able to handle the given call, i.e., has an explicit model for it

从类继承的方法 soot.jimple.infoflow.nativeCallHandler.AbstractNativeCallHandler

initialize, shutdown

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

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

构造器详细资料

DefaultNativeCallHandler

public DefaultNativeCallHandler()

方法详细资料

getTaintedValues

public Set<Abstraction> getTaintedValues(soot.jimple.Stmt call,
                                         Abstraction source,
                                         soot.Value[] params)

从接口复制的说明: INativeCallHandler

Returns the set of tainted values for a given call to native code, a given tainted value and the list of passed arguments

参数:

call - the statement which contains the call to the native code

source - the incoming taint value

params - list of arguments

返回:

the resulting set of taints

supportsCall

public boolean supportsCall(soot.jimple.Stmt call)

从接口复制的说明: INativeCallHandler

Checks whether this handler is able to handle the given call, i.e., has an explicit model for it

参数:

call - The call site to check

返回:

True if this native call handler has an explicit model for the given call site, otherwise false