soot.jimple.infoflow.nativeCallHandler

接口 INativeCallHandler

所有已知实现类:

AbstractNativeCallHandler, DefaultNativeCallHandler

public interface INativeCallHandler

The NativeCallHandler defines the taint propagation behavior for native code, as we cannot analyze these methods

方法概要

限定符和类型	方法和说明
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
void	initialize(InfoflowManager manager) This method is called before the taint propagation is started to give the native call handler the chance to initialize required components once Soot is running, but before it is queried for the first time.
void	shutdown() Tells the native call handler that it can free all resources it has allocated at initialization time
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

方法详细资料

initialize

void initialize(InfoflowManager manager)

This method is called before the taint propagation is started to give the native call handler the chance to initialize required components once Soot is running, but before it is queried for the first time. Note that this method is guaranteed to be called only once and only by a single thread.

参数:

manager - The manager object providing access to the data flow solver processing the IFDS edges and the interprocedural control flow graph

getTaintedValues

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

参数:

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

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

参数:

call - The call site to check

返回:

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

shutdown

void shutdown()

Tells the native call handler that it can free all resources it has allocated at initialization time