Class FlowAnalysis
java.lang.Object
org.scandroid.flow.FlowAnalysis
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic <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)
-
Constructor Details
-
FlowAnalysis
public FlowAnalysis()
-
-
Method Details
-
analyze
public static <E extends ISSABasicBlock> TabulationResult<BasicBlockInContext<E>,CGNode, analyzeDomainElement> (CGAnalysisContext<E> analysisContext, Map<BasicBlockInContext<E>, Map<FlowType<E>, throws CancelRuntimeExceptionSet<CodeElement>>> initialTaints, IFDSTaintDomain<E> d) - Throws:
CancelRuntimeException
-
analyze
public static <E extends ISSABasicBlock> TabulationResult<BasicBlockInContext<E>,CGNode, analyzeDomainElement> (CGAnalysisContext<E> analysisContext, Map<BasicBlockInContext<E>, Map<FlowType<E>, throws CancelRuntimeExceptionSet<CodeElement>>> initialTaints, IFDSTaintDomain<E> d, IFlowFunctionMap<BasicBlockInContext<E>> flowFunctionMap) - Throws:
CancelRuntimeException
-
analyze
public static <E extends ISSABasicBlock> TabulationResult<BasicBlockInContext<E>,CGNode, analyzeDomainElement> (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, analyzeDomainElement> (ISupergraph<BasicBlockInContext<E>, CGNode> graph, CallGraph cg, Map<BasicBlockInContext<E>, Map<FlowType<E>, Set<CodeElement>>> initialTaints, IFDSTaintDomain<E> d, IFlowFunctionMap<BasicBlockInContext<E>> flowFunctionMap)
-