Package org.scandroid.flow

Class OutflowAnalysis

java.lang.Object

org.scandroid.flow.OutflowAnalysis

public class OutflowAnalysis
extends Object

Author:

acfoltzer

Constructor Summary

Constructors

Constructor	Description
OutflowAnalysis(CGAnalysisContext<IExplodedBasicBlock> ctx, ISpecs specs)

Method Summary

Modifier and Type	Method	Description
Map<FlowType<IExplodedBasicBlock>,Set<FlowType<IExplodedBasicBlock>>>	analyze(TabulationResult<BasicBlockInContext<IExplodedBasicBlock>,CGNode,DomainElement> flowResult, IFDSTaintDomain<IExplodedBasicBlock> domain)
Map<FlowType<IExplodedBasicBlock>,Set<FlowType<IExplodedBasicBlock>>>	analyze(TabulationResult<BasicBlockInContext<IExplodedBasicBlock>,CGNode,DomainElement> flowResult, IFDSTaintDomain<IExplodedBasicBlock> domain, ISpecs s)

Methods inherited from class java.lang.Object

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

Constructor Details

OutflowAnalysis

public OutflowAnalysis(CGAnalysisContext<IExplodedBasicBlock> ctx,
 ISpecs specs)

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)