Package org.scandroid.flow

Class FlowAnalysis

java.lang.Object

org.scandroid.flow.FlowAnalysis

public class FlowAnalysis
extends Object

Constructor Summary

Constructors

Constructor	Description
FlowAnalysis()

Method Summary

Modifier and Type	Method	Description
static <E extends ISSABasicBlock> TabulationResult<BasicBlockInContext<E>,CGNode,DomainElement>	analyze(ISupergraph<BasicBlockInContext<E>,CGNode> graph, CallGraph cg, PointerAnalysis<InstanceKey> pa, Map<BasicBlockInContext<E>,Map<FlowType<E>,Set<CodeElement>>> initialTaints, IFDSTaintDomain<E> d)
static <E extends ISSABasicBlock> TabulationResult<BasicBlockInContext<E>,CGNode,DomainElement>	analyze(ISupergraph<BasicBlockInContext<E>,CGNode> graph, CallGraph cg, Map<BasicBlockInContext<E>,Map<FlowType<E>,Set<CodeElement>>> initialTaints, IFDSTaintDomain<E> d, IFlowFunctionMap<BasicBlockInContext<E>> flowFunctionMap)
static <E extends ISSABasicBlock> TabulationResult<BasicBlockInContext<E>,CGNode,DomainElement>	analyze(CGAnalysisContext<E> analysisContext, Map<BasicBlockInContext<E>,Map<FlowType<E>,Set<CodeElement>>> initialTaints, IFDSTaintDomain<E> d)
static <E extends ISSABasicBlock> TabulationResult<BasicBlockInContext<E>,CGNode,DomainElement>	analyze(CGAnalysisContext<E> analysisContext, Map<BasicBlockInContext<E>,Map<FlowType<E>,Set<CodeElement>>> initialTaints, IFDSTaintDomain<E> d, IFlowFunctionMap<BasicBlockInContext<E>> flowFunctionMap)

Methods inherited from class java.lang.Object

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

Constructor Details

FlowAnalysis

public FlowAnalysis()

Method Details

analyze

public static <E extends ISSABasicBlock>
TabulationResult<BasicBlockInContext<E>,CGNode,DomainElement> analyze(CGAnalysisContext<E> analysisContext,
 Map<BasicBlockInContext<E>,Map<FlowType<E>,Set<CodeElement>>> initialTaints,
 IFDSTaintDomain<E> d)
                                                               throws CancelRuntimeException

Throws:

CancelRuntimeException

analyze

public static <E extends ISSABasicBlock>
TabulationResult<BasicBlockInContext<E>,CGNode,DomainElement> analyze(CGAnalysisContext<E> analysisContext,
 Map<BasicBlockInContext<E>,Map<FlowType<E>,Set<CodeElement>>> initialTaints,
 IFDSTaintDomain<E> d,
 IFlowFunctionMap<BasicBlockInContext<E>> flowFunctionMap)
                                                               throws CancelRuntimeException

Throws:

CancelRuntimeException

analyze

public static <E extends ISSABasicBlock>
TabulationResult<BasicBlockInContext<E>,CGNode,DomainElement> analyze(ISupergraph<BasicBlockInContext<E>,CGNode> graph,
 CallGraph cg,
 PointerAnalysis<InstanceKey> pa,
 Map<BasicBlockInContext<E>,Map<FlowType<E>,Set<CodeElement>>> initialTaints,
 IFDSTaintDomain<E> d)

analyze

public static <E extends ISSABasicBlock>
TabulationResult<BasicBlockInContext<E>,CGNode,DomainElement> analyze(ISupergraph<BasicBlockInContext<E>,CGNode> graph,
 CallGraph cg,
 Map<BasicBlockInContext<E>,Map<FlowType<E>,Set<CodeElement>>> initialTaints,
 IFDSTaintDomain<E> d,
 IFlowFunctionMap<BasicBlockInContext<E>> flowFunctionMap)