All Methods Static Methods Concrete Methods
Modifier and Type |
Method and Description |
static void |
addBypassLogic(AnalysisOptions options,
AnalysisScope scope,
ClassLoader cl,
String xmlFile,
IClassHierarchy cha)
Modify an options object to include bypass logic as specified by a an XML file.
|
static void |
addBypassLogic(AnalysisOptions options,
AnalysisScope scope,
ClassLoader cl,
XMLMethodSummaryReader summary,
IClassHierarchy cha) |
static void |
addDefaultBypassLogic(AnalysisOptions options,
AnalysisScope scope,
ClassLoader cl,
IClassHierarchy cha) |
static void |
addDefaultSelectors(AnalysisOptions options,
IClassHierarchy cha)
Set up an AnalysisOptions object with default selectors, corresponding to class hierarchy lookup
|
static <T> void |
checkGraphSubset(Graph<T> supG,
Graph<T> subG) |
static String |
getNativeSpec() |
static Iterable<Entrypoint> |
makeMainEntrypoints(AnalysisScope scope,
IClassHierarchy cha) |
static Iterable<Entrypoint> |
makeMainEntrypoints(AnalysisScope scope,
IClassHierarchy cha,
String className) |
static Iterable<Entrypoint> |
makeMainEntrypoints(AnalysisScope scope,
IClassHierarchy cha,
String[] classNames) |
static Iterable<Entrypoint> |
makeMainEntrypoints(ClassLoaderReference clr,
IClassHierarchy cha) |
static Iterable<Entrypoint> |
makeMainEntrypoints(ClassLoaderReference loaderRef,
IClassHierarchy cha,
String[] classNames) |
static SSAPropagationCallGraphBuilder |
makeNCFABuilder(int n,
AnalysisOptions options,
AnalysisCache cache,
IClassHierarchy cha,
AnalysisScope scope)
make a CallGraphBuilder that uses call-string context sensitivity,
with call-string length limited to n, and a context-sensitive
allocation-site-based heap abstraction.
|
static CallGraphBuilder |
makeRTABuilder(AnalysisOptions options,
AnalysisCache cache,
IClassHierarchy cha,
AnalysisScope scope) |
static SSAPropagationCallGraphBuilder |
makeVanillaNCFABuilder(int n,
AnalysisOptions options,
AnalysisCache cache,
IClassHierarchy cha,
AnalysisScope scope)
make a CallGraphBuilder that uses call-string context sensitivity,
with call-string length limited to n, and a context-sensitive
allocation-site-based heap abstraction.
|
static SSAPropagationCallGraphBuilder |
makeVanillaZeroOneCFABuilder(AnalysisOptions options,
AnalysisCache cache,
IClassHierarchy cha,
AnalysisScope scope) |
static SSAPropagationCallGraphBuilder |
makeVanillaZeroOneCFABuilder(AnalysisOptions options,
AnalysisCache cache,
IClassHierarchy cha,
AnalysisScope scope,
ContextSelector customSelector,
SSAContextInterpreter customInterpreter) |
static SSAPropagationCallGraphBuilder |
makeVanillaZeroOneContainerCFABuilder(AnalysisOptions options,
AnalysisCache cache,
IClassHierarchy cha,
AnalysisScope scope) |
static SSAPropagationCallGraphBuilder |
makeZeroCFABuilder(AnalysisOptions options,
AnalysisCache cache,
IClassHierarchy cha,
AnalysisScope scope) |
static SSAPropagationCallGraphBuilder |
makeZeroCFABuilder(AnalysisOptions options,
AnalysisCache cache,
IClassHierarchy cha,
AnalysisScope scope,
ContextSelector customSelector,
SSAContextInterpreter customInterpreter) |
static SSAPropagationCallGraphBuilder |
makeZeroContainerCFABuilder(AnalysisOptions options,
AnalysisCache cache,
IClassHierarchy cha,
AnalysisScope scope) |
static SSAPropagationCallGraphBuilder |
makeZeroOneCFABuilder(AnalysisOptions options,
AnalysisCache cache,
IClassHierarchy cha,
AnalysisScope scope) |
static SSAPropagationCallGraphBuilder |
makeZeroOneCFABuilder(AnalysisOptions options,
AnalysisCache cache,
IClassHierarchy cha,
AnalysisScope scope,
ContextSelector customSelector,
SSAContextInterpreter customInterpreter) |
static SSAPropagationCallGraphBuilder |
makeZeroOneContainerCFABuilder(AnalysisOptions options,
AnalysisCache cache,
IClassHierarchy cha,
AnalysisScope scope) |
static SSAPropagationCallGraphBuilder |
makeZeroOneContainerCFABuilder(AnalysisOptions options,
AnalysisCache cache,
IClassHierarchy cha,
AnalysisScope scope,
ContextSelector appSelector,
SSAContextInterpreter appInterpreter) |
static <T> Set<T> |
setify(Iterator<? extends T> x)
create a set holding the contents of an Iterator
|
static void |
setNativeSpec(String xmlFile)
BEGIN Custom change: change native spec
|