soot.jimple.infoflow.codeOptimization

类 InterproceduralConstantValuePropagator

java.lang.Object

soot.Transformer

soot.SceneTransformer

soot.jimple.infoflow.codeOptimization.InterproceduralConstantValuePropagator

public class InterproceduralConstantValuePropagator
extends soot.SceneTransformer

字段概要

字段

限定符和类型	字段和说明
protected soot.SootClass	exceptionClass
protected Map<soot.SootClass,soot.SootMethod>	exceptionThrowers
protected Map<soot.SootMethod,Boolean>	methodFieldReads
protected Map<soot.SootMethod,Boolean>	methodSideEffects
protected Map<soot.SootMethod,Boolean>	methodSinks

构造器概要

构造器

构造器和说明
InterproceduralConstantValuePropagator(InfoflowManager manager) Creates a new instance of the InterproceduralConstantValuePropagator class
InterproceduralConstantValuePropagator(InfoflowManager manager, Collection<soot.SootMethod> excludedMethods, ISourceSinkManager sourceSinkManager, ITaintPropagationWrapper taintWrapper) Creates a new instance of the InterproceduralConstantValuePropagator class

方法概要

限定符和类型	方法和说明
protected void	internalTransform(String phaseName, Map<String,String> options)
void	setExcludeSystemClasses(boolean excludeSystemClasses) Sets whether methods in system classes shall be excluded from constraint propagation
void	setRemoveSideEffectFreeMethods(boolean removeSideEffectFreeMethods) Sets whether side-effect free methods that do not call sinks shall be removed

从类继承的方法 soot.SceneTransformer

transform, transform, transform

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

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

字段详细资料

methodSideEffects

protected final Map<soot.SootMethod,Boolean> methodSideEffects

methodSinks

protected final Map<soot.SootMethod,Boolean> methodSinks

methodFieldReads

protected final Map<soot.SootMethod,Boolean> methodFieldReads

exceptionClass

protected soot.SootClass exceptionClass

exceptionThrowers

protected final Map<soot.SootClass,soot.SootMethod> exceptionThrowers

构造器详细资料

InterproceduralConstantValuePropagator

public InterproceduralConstantValuePropagator(InfoflowManager manager)

Creates a new instance of the InterproceduralConstantValuePropagator class

参数:

manager - The data flow manager for interacting with the solver

InterproceduralConstantValuePropagator

public InterproceduralConstantValuePropagator(InfoflowManager manager,
                                              Collection<soot.SootMethod> excludedMethods,
                                              ISourceSinkManager sourceSinkManager,
                                              ITaintPropagationWrapper taintWrapper)

Creates a new instance of the InterproceduralConstantValuePropagator class

参数:

manager - The data flow manager for interacting with the solver

excludedMethods - The methods that shall be excluded. If one of these methods calls another method with a constant argument, this argument will not be propagated into the callee.

sourceSinkManager - The SourceSinkManager to be used for not propagating constants out of source methods

taintWrapper - The taint wrapper to be used for not breaking dummy values that will later be replaced by artificial taints

方法详细资料

setRemoveSideEffectFreeMethods

public void setRemoveSideEffectFreeMethods(boolean removeSideEffectFreeMethods)

Sets whether side-effect free methods that do not call sinks shall be removed

参数:

removeSideEffectFreeMethods - The if side-effect free methods that do not call sinks shall be removed, otherwise false

setExcludeSystemClasses

public void setExcludeSystemClasses(boolean excludeSystemClasses)

Sets whether methods in system classes shall be excluded from constraint propagation

参数:

excludeSystemClasses - True if methods in system classes shall be excluded from constraint propagation, otherwise false

internalTransform

protected void internalTransform(String phaseName,
                                 Map<String,String> options)

指定者:

internalTransform 在类中 soot.SceneTransformer