Class InflowAnalysis
java.lang.Object
org.scandroid.flow.InflowAnalysis
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic <E extends ISSABasicBlock>
voidaddDomainElement
(Map<BasicBlockInContext<E>, Map<FlowType<E>, Set<CodeElement>>> taintMap, BasicBlockInContext<E> block, FlowType taintType, CodeElement element) static <E extends ISSABasicBlock>
voidaddDomainElements
(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)
-
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>, analyzeSet<CodeElement>>> (CGAnalysisContext<E> analysisContext, ISpecs s) -
analyze
public static <E extends ISSABasicBlock> Map<BasicBlockInContext<E>,Map<FlowType<E>, analyzeSet<CodeElement>>> (CGAnalysisContext<E> ctx, CallGraph cg, ClassHierarchy cha, ISupergraph<BasicBlockInContext<E>, CGNode> graph, PointerAnalysis<InstanceKey> pa, ISpecs s)
-