public class InfoflowProblem extends AbstractInfoflowProblem
| 限定符和类型 | 字段和说明 |
|---|---|
protected TaintPropagationResults |
results |
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
|
addInitialSeeds, computeValues, createZeroValue, followReturnsPastSeeds, getInitialSeeds, getManager, getZeroValue, hasInitialSeeds, initialSeeds, interproceduralCFG, isCallSiteActivatingTaint, isExceptionHandler, isExcluded, isInitialMethod, notifyOutFlowHandlers, registerActivationCallSite, setActivationUnitsToCallSites, setNativeCallHandler, setSolver, setTaintPropagationHandler, setTaintWrapper, setZeroValueprotected final TaintPropagationResults results
public InfoflowProblem(InfoflowManager manager, Abstraction zeroValue, IPropagationRuleManagerFactory ruleManagerFactory)
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>>public boolean autoAddZero()
AbstractInfoflowProblemautoAddZero 在接口中 heros.SolverConfigurationautoAddZero 在类中 AbstractInfoflowProblempublic TaintPropagationResults getResults()
public PropagationRuleManager getPropagationRules()
Copyright © 2022 Fraunhofer SIT. All rights reserved.