soot.jimple.infoflow.problems

类 BackwardsInfoflowProblem

java.lang.Object

heros.template.DefaultIFDSTabulationProblem<soot.Unit,D,soot.SootMethod,I>

soot.jimple.toolkits.ide.DefaultJimpleIFDSTabulationProblem<Abstraction,soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>>

soot.jimple.infoflow.problems.AbstractInfoflowProblem

soot.jimple.infoflow.problems.BackwardsInfoflowProblem

所有已实现的接口:

heros.IFDSTabulationProblem<soot.Unit,Abstraction,soot.SootMethod,soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>>, heros.SolverConfiguration

public class BackwardsInfoflowProblem
extends AbstractInfoflowProblem

class which contains the flow functions for the backwards solver. This is required for on-demand alias analysis.

字段概要

从类继承的字段 soot.jimple.infoflow.problems.AbstractInfoflowProblem

initialSeeds, logger, manager, ncHandler, solver, taintPropagationHandler, taintWrapper, zeroValue

构造器概要

构造器

构造器和说明
BackwardsInfoflowProblem(InfoflowManager manager)

方法概要

限定符和类型	方法和说明
heros.FlowFunctions<soot.Unit,Abstraction,soot.SootMethod>	createFlowFunctionsFactory()
void	setTaintWrapper(ITaintPropagationWrapper wrapper) Sets the taint wrapper that shall be used for applying external library models

从类继承的方法 soot.jimple.infoflow.problems.AbstractInfoflowProblem

addInitialSeeds, autoAddZero, computeValues, createZeroValue, followReturnsPastSeeds, getInitialSeeds, getManager, getZeroValue, hasInitialSeeds, initialSeeds, interproceduralCFG, isCallSiteActivatingTaint, isExceptionHandler, isExcluded, isInitialMethod, notifyOutFlowHandlers, registerActivationCallSite, setActivationUnitsToCallSites, setNativeCallHandler, setSolver, setTaintPropagationHandler, setZeroValue

从类继承的方法 heros.template.DefaultIFDSTabulationProblem

flowFunctions, numThreads, recordEdges, zeroValue

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

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

构造器详细资料

BackwardsInfoflowProblem

public BackwardsInfoflowProblem(InfoflowManager manager)

方法详细资料

setTaintWrapper

public void setTaintWrapper(ITaintPropagationWrapper wrapper)

从类复制的说明: AbstractInfoflowProblem

Sets the taint wrapper that shall be used for applying external library models

覆盖:

setTaintWrapper 在类中 AbstractInfoflowProblem

参数:

wrapper - The taint wrapper that shall be used for applying external library models

createFlowFunctionsFactory

public heros.FlowFunctions<soot.Unit,Abstraction,soot.SootMethod> createFlowFunctionsFactory()

指定者:

createFlowFunctionsFactory 在类中 heros.template.DefaultIFDSTabulationProblem<soot.Unit,Abstraction,soot.SootMethod,soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>>