Class OutflowAnalysis
java.lang.Object
org.scandroid.flow.OutflowAnalysis
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionanalyze
(TabulationResult<BasicBlockInContext<IExplodedBasicBlock>, CGNode, DomainElement> flowResult, IFDSTaintDomain<IExplodedBasicBlock> domain) analyze
(TabulationResult<BasicBlockInContext<IExplodedBasicBlock>, CGNode, DomainElement> flowResult, IFDSTaintDomain<IExplodedBasicBlock> domain, ISpecs s)
-
Constructor Details
-
OutflowAnalysis
-
-
Method Details
-
analyze
public Map<FlowType<IExplodedBasicBlock>,Set<FlowType<IExplodedBasicBlock>>> analyze(TabulationResult<BasicBlockInContext<IExplodedBasicBlock>, CGNode, DomainElement> flowResult, IFDSTaintDomain<IExplodedBasicBlock> domain) -
analyze
public Map<FlowType<IExplodedBasicBlock>,Set<FlowType<IExplodedBasicBlock>>> analyze(TabulationResult<BasicBlockInContext<IExplodedBasicBlock>, CGNode, DomainElement> flowResult, IFDSTaintDomain<IExplodedBasicBlock> domain, ISpecs s)
-