Package org.scandroid.util

Class AndroidAnalysisContext

java.lang.Object

org.scandroid.util.AndroidAnalysisContext

public class AndroidAnalysisContext
extends Object

Constructor Summary

Constructors

Constructor	Description
AndroidAnalysisContext()
AndroidAnalysisContext(ISCanDroidOptions options)
AndroidAnalysisContext(ISCanDroidOptions options, String exclusions)

Method Summary

Modifier and Type	Method	Description
static void	addBypassLogic(AnalysisOptions options, AnalysisScope scope, InputStream xmlIStream, IClassHierarchy cha, MethodSummary extraSummary)
Collection<IClass>	concreteClassesForInterface(IClass iRoot)	Returns all concrete classes implementing the given interface or any subinterfaces
ClassHierarchy	getClassHierarchy()
ISCanDroidOptions	getOptions()
AnalysisScope	getScope()
static SSAPropagationCallGraphBuilder	makeVanillaZeroOneCFABuilder(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter, InputStream summariesStream, MethodSummary extraSummary)
static SSAPropagationCallGraphBuilder	makeZeroCFABuilder(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter, Collection<InputStream> summariesStreams, MethodSummary extraSummary)

Methods inherited from class java.lang.Object

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

Constructor Details

AndroidAnalysisContext

public AndroidAnalysisContext()

AndroidAnalysisContext

public AndroidAnalysisContext(ISCanDroidOptions options)
                       throws IllegalArgumentException,
ClassHierarchyException,
IOException

Throws:

IllegalArgumentException

ClassHierarchyException

IOException

AndroidAnalysisContext

public AndroidAnalysisContext(ISCanDroidOptions options,
 String exclusions)
                       throws IOException,
IllegalArgumentException,
ClassHierarchyException

Throws:

IOException

IllegalArgumentException

ClassHierarchyException

Method Details

makeVanillaZeroOneCFABuilder

public static SSAPropagationCallGraphBuilder makeVanillaZeroOneCFABuilder(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope,
 ContextSelector customSelector,
 SSAContextInterpreter customInterpreter,
 InputStream summariesStream,
 MethodSummary extraSummary)

makeZeroCFABuilder

public static SSAPropagationCallGraphBuilder makeZeroCFABuilder(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope,
 ContextSelector customSelector,
 SSAContextInterpreter customInterpreter,
 Collection<InputStream> summariesStreams,
 MethodSummary extraSummary)

Parameters:

options - options that govern call graph construction

cha - governing class hierarchy

scope - representation of the analysis scope

customSelector - user-defined context selector, or null if none

customInterpreter - user-defined context interpreter, or null if none

Returns:

a 0-CFA Call Graph Builder.

Throws:

IllegalArgumentException - if options is null

TODO: move

addBypassLogic

public static void addBypassLogic(AnalysisOptions options,
 AnalysisScope scope,
 InputStream xmlIStream,
 IClassHierarchy cha,
 MethodSummary extraSummary)
                           throws IllegalArgumentException

Throws:

IllegalArgumentException

concreteClassesForInterface

public Collection<IClass> concreteClassesForInterface(IClass iRoot)

Returns all concrete classes implementing the given interface or any subinterfaces

getOptions

public ISCanDroidOptions getOptions()

getScope

public AnalysisScope getScope()

getClassHierarchy

public ClassHierarchy getClassHierarchy()