Package org.scandroid.flow

Class InflowAnalysis

java.lang.Object

org.scandroid.flow.InflowAnalysis

public class InflowAnalysis
extends Object

Constructor Summary

Constructors

Constructor	Description
InflowAnalysis()

Method Summary

Modifier and Type	Method	Description
static <E extends ISSABasicBlock> void	addDomainElement(Map<BasicBlockInContext<E>,Map<FlowType<E>,Set<CodeElement>>> taintMap, BasicBlockInContext<E> block, FlowType taintType, CodeElement element)
static <E extends ISSABasicBlock> void	addDomainElements(Map<BasicBlockInContext<E>,Map<FlowType<E>,Set<CodeElement>>> taintMap, BasicBlockInContext<E> block, FlowType taintType, Set<CodeElement> newElements)
static <E extends ISSABasicBlock> Map<BasicBlockInContext<E>,Map<FlowType<E>,Set<CodeElement>>>	analyze(CGAnalysisContext<E> ctx, CallGraph cg, ClassHierarchy cha, ISupergraph<BasicBlockInContext<E>,CGNode> graph, PointerAnalysis<InstanceKey> pa, ISpecs s)
static <E extends ISSABasicBlock> Map<BasicBlockInContext<E>,Map<FlowType<E>,Set<CodeElement>>>	analyze(CGAnalysisContext<E> analysisContext, ISpecs s)

Methods inherited from class java.lang.Object

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

Constructor Details

InflowAnalysis

public InflowAnalysis()

Method Details

addDomainElements

public static <E extends ISSABasicBlock> void addDomainElements(Map<BasicBlockInContext<E>,Map<FlowType<E>,Set<CodeElement>>> taintMap,
 BasicBlockInContext<E> block,
 FlowType taintType,
 Set<CodeElement> newElements)

addDomainElement

public static <E extends ISSABasicBlock> void addDomainElement(Map<BasicBlockInContext<E>,Map<FlowType<E>,Set<CodeElement>>> taintMap,
 BasicBlockInContext<E> block,
 FlowType taintType,
 CodeElement element)

analyze

public static <E extends ISSABasicBlock>
Map<BasicBlockInContext<E>,Map<FlowType<E>,Set<CodeElement>>> analyze(CGAnalysisContext<E> analysisContext,
 ISpecs s)

analyze

public static <E extends ISSABasicBlock>
Map<BasicBlockInContext<E>,Map<FlowType<E>,Set<CodeElement>>> analyze(CGAnalysisContext<E> ctx,
 CallGraph cg,
 ClassHierarchy cha,
 ISupergraph<BasicBlockInContext<E>,CGNode> graph,
 PointerAnalysis<InstanceKey> pa,
 ISpecs s)