soot.jimple.infoflow.problems

类 InfoflowProblem

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.InfoflowProblem

所有已实现的接口:

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

public class InfoflowProblem
extends AbstractInfoflowProblem

字段概要

字段

限定符和类型	字段和说明
protected TaintPropagationResults	results

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

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

构造器概要

构造器

构造器和说明
InfoflowProblem(InfoflowManager manager, Abstraction zeroValue, IPropagationRuleManagerFactory ruleManagerFactory)

方法概要

限定符和类型	方法和说明
boolean	autoAddZero() performance improvement: since we start directly at the sources, we do not need to generate additional taints unconditionally
heros.FlowFunctions<soot.Unit,Abstraction,soot.SootMethod>	createFlowFunctionsFactory()
PropagationRuleManager	getPropagationRules() Gets the rules that FlowDroid uses internally to conduct specific analysis tasks such as handling sources or sinks
TaintPropagationResults	getResults() Gets the results of the data flow analysis

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

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

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

flowFunctions, numThreads, recordEdges, zeroValue

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

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

字段详细资料

results

protected final TaintPropagationResults results

构造器详细资料

InfoflowProblem

public InfoflowProblem(InfoflowManager manager,
                       Abstraction zeroValue,
                       IPropagationRuleManagerFactory ruleManagerFactory)

方法详细资料

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>>

autoAddZero

public boolean autoAddZero()

从类复制的说明: AbstractInfoflowProblem

performance improvement: since we start directly at the sources, we do not need to generate additional taints unconditionally

指定者:

autoAddZero 在接口中 heros.SolverConfiguration

覆盖:

autoAddZero 在类中 AbstractInfoflowProblem

getResults

public TaintPropagationResults getResults()

Gets the results of the data flow analysis

getPropagationRules

public PropagationRuleManager getPropagationRules()

Gets the rules that FlowDroid uses internally to conduct specific analysis tasks such as handling sources or sinks

返回:

The propagation rule manager