Class Util

java.lang.Object

com.ibm.wala.ipa.callgraph.impl.Util

public class Util
extends Object

Call graph utilities

Field Summary

Fields

Modifier and Type	Field	Description
static String	nativeSpec	TODO: Make these properties?

Constructor Summary

Constructors

Constructor	Description
Util()

Method Summary

Modifier and Type	Method	Description
static void	addBypassLogic(AnalysisOptions options, AnalysisScope scope, ClassLoader cl, XMLMethodSummaryReader summary, IClassHierarchy cha)	Deprecated, for removal: This API element is subject to removal in a future version. Method will be replaced.
static void	addBypassLogic(AnalysisOptions options, AnalysisScope scope, ClassLoader cl, String xmlFile, IClassHierarchy cha)	Deprecated, for removal: This API element is subject to removal in a future version. This method is being replaced.
static void	addBypassLogic(AnalysisOptions options, ClassLoader cl, XMLMethodSummaryReader summary, IClassHierarchy cha)
static void	addBypassLogic(AnalysisOptions options, ClassLoader cl, String xmlFile, IClassHierarchy cha)	Modify an options object to include bypass logic as specified by a an XML file.
static void	addDefaultBypassLogic(AnalysisOptions options, AnalysisScope scope, ClassLoader cl, IClassHierarchy cha)	Deprecated, for removal: This API element is subject to removal in a future version. Use addDefaultBypassLogic(AnalysisOptions, ClassLoader, IClassHierarchy)
static void	addDefaultBypassLogic(AnalysisOptions options, 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)	Deprecated, for removal: This API element is subject to removal in a future version. Use makeMainEntrypoints(IClassHierarchy) instead
static Iterable<Entrypoint>	makeMainEntrypoints(AnalysisScope scope, IClassHierarchy cha, String className)	Deprecated, for removal: This API element is subject to removal in a future version. Use makeMainEntrypoints(IClassHierarchy, String)
static Iterable<Entrypoint>	makeMainEntrypoints(AnalysisScope scope, IClassHierarchy cha, String[] classNames)	Deprecated, for removal: This API element is subject to removal in a future version. Please
static Iterable<Entrypoint>	makeMainEntrypoints(IClassHierarchy cha)
static Iterable<Entrypoint>	makeMainEntrypoints(IClassHierarchy cha, String className)
static Iterable<Entrypoint>	makeMainEntrypoints(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, Language l, AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha)	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	makeNCFABuilder(int n, AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope)	Deprecated, for removal: This API element is subject to removal in a future version. Use makeNCFABuilder(int, Language, AnalysisOptions, IAnalysisCacheView,IClassHierarchy)
static SSAPropagationCallGraphBuilder	makeNObjBuilder(int n, AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha)	make a CallGraphBuilder that uses object context sensitivity, with allocation-string length limited to n
static SSAPropagationCallGraphBuilder	makeNObjBuilder(int n, AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope)	Deprecated, for removal: This API element is subject to removal in a future version. Use makeNObjBuilder(int, AnalysisOptions, IAnalysisCacheView, IClassHierarchy)
static CallGraphBuilder<InstanceKey>	makeRTABuilder(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha)
static CallGraphBuilder<InstanceKey>	makeRTABuilder(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope)	Deprecated, for removal: This API element is subject to removal in a future version. Use makeRTABuilder(AnalysisOptions, IAnalysisCacheView, IClassHierarchy)
static SSAPropagationCallGraphBuilder	makeVanillaNCFABuilder(int n, AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha)	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	makeVanillaNCFABuilder(int n, AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope)	Deprecated, for removal: This API element is subject to removal in a future version. Use makeVanillaNCFABuilder(int, AnalysisOptions, IAnalysisCacheView, IClassHierarchy)
static SSAPropagationCallGraphBuilder	makeVanillaNObjBuilder(int n, AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha)	make a CallGraphBuilder that uses object context sensitivity, with allocation-string length limited to n
static SSAPropagationCallGraphBuilder	makeVanillaNObjBuilder(int n, AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope)	Deprecated, for removal: This API element is subject to removal in a future version. Use makeVanillaNObjBuilder(int, AnalysisOptions, IAnalysisCacheView, IClassHierarchy)
static SSAPropagationCallGraphBuilder	makeVanillaZeroOneCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView analysisCache, IClassHierarchy cha)
static SSAPropagationCallGraphBuilder	makeVanillaZeroOneCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView analysisCache, IClassHierarchy cha, AnalysisScope scope)	Deprecated, for removal: This API element is subject to removal in a future version. use makeVanillaZeroOneCFABuilder(Language, AnalysisOptions, IAnalysisCacheView, IClassHierarchy)
static SSAPropagationCallGraphBuilder	makeVanillaZeroOneCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView analysisCache, IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter)	Deprecated, for removal: This API element is subject to removal in a future version. Use makeVanillaZeroOneCFABuilder(Language, AnalysisOptions, IAnalysisCacheView, IClassHierarchy, ContextSelector, SSAContextInterpreter)
static SSAPropagationCallGraphBuilder	makeVanillaZeroOneCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView analysisCache, IClassHierarchy cha, ContextSelector customSelector, SSAContextInterpreter customInterpreter)
static SSAPropagationCallGraphBuilder	makeVanillaZeroOneContainerCFABuilder(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha)
static SSAPropagationCallGraphBuilder	makeVanillaZeroOneContainerCFABuilder(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope)	Deprecated, for removal: This API element is subject to removal in a future version. Use makeVanillaZeroOneContainerCFABuilder(AnalysisOptions, IAnalysisCacheView, IClassHierarchy)
static SSAPropagationCallGraphBuilder	makeZeroCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha)
static SSAPropagationCallGraphBuilder	makeZeroCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope)	Deprecated, for removal: This API element is subject to removal in a future version. Use makeZeroCFABuilder(Language, AnalysisOptions, IAnalysisCacheView, IClassHierarchy)
static SSAPropagationCallGraphBuilder	makeZeroCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter)	Deprecated, for removal: This API element is subject to removal in a future version. Use makeZeroCFABuilder(Language, AnalysisOptions, IAnalysisCacheView, IClassHierarchy, ContextSelector, SSAContextInterpreter)
static SSAPropagationCallGraphBuilder	makeZeroCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, ContextSelector customSelector, SSAContextInterpreter customInterpreter)
static SSAPropagationCallGraphBuilder	makeZeroContainerCFABuilder(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha)
static SSAPropagationCallGraphBuilder	makeZeroContainerCFABuilder(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope)	Deprecated, for removal: This API element is subject to removal in a future version. Use makeZeroContainerCFABuilder(AnalysisOptions, IAnalysisCacheView, IClassHierarchy)
static SSAPropagationCallGraphBuilder	makeZeroOneCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha)
static SSAPropagationCallGraphBuilder	makeZeroOneCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope)	Deprecated, for removal: This API element is subject to removal in a future version. Use makeZeroOneCFABuilder(Language, AnalysisOptions, IAnalysisCacheView, IClassHierarchy)
static SSAPropagationCallGraphBuilder	makeZeroOneCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter)	Deprecated, for removal: This API element is subject to removal in a future version. Use makeZeroOneCFABuilder(Language, AnalysisOptions, IAnalysisCacheView, IClassHierarchy, ContextSelector, SSAContextInterpreter)
static SSAPropagationCallGraphBuilder	makeZeroOneCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, ContextSelector customSelector, SSAContextInterpreter customInterpreter)
static SSAPropagationCallGraphBuilder	makeZeroOneContainerCFABuilder(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha)
static SSAPropagationCallGraphBuilder	makeZeroOneContainerCFABuilder(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope)	Deprecated, for removal: This API element is subject to removal in a future version. Use makeZeroOneCFABuilder(Language, AnalysisOptions, IAnalysisCacheView, IClassHierarchy)
static SSAPropagationCallGraphBuilder	makeZeroOneContainerCFABuilder(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope, ContextSelector appSelector, SSAContextInterpreter appInterpreter)	Deprecated, for removal: This API element is subject to removal in a future version. Use makeZeroOneContainerCFABuilder(AnalysisOptions, IAnalysisCacheView, IClassHierarchy, ContextSelector, SSAContextInterpreter)
static SSAPropagationCallGraphBuilder	makeZeroOneContainerCFABuilder(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, 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)

Methods inherited from class Object

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

Field Details

nativeSpec

public static String nativeSpec

TODO: Make these properties?

Constructor Details

Util

public Util()

Method Details

setNativeSpec

public static void setNativeSpec(String xmlFile)

getNativeSpec

public static String getNativeSpec()

addDefaultSelectors

public static void addDefaultSelectors(AnalysisOptions options,
 IClassHierarchy cha)

Set up an AnalysisOptions object with default selectors, corresponding to class hierarchy lookup

Throws:

IllegalArgumentException - if options is null

addBypassLogic

@Deprecated(forRemoval=true,
            since="1.7.2")
public static void addBypassLogic(AnalysisOptions options,
 AnalysisScope scope,
 ClassLoader cl,
 String xmlFile,
 IClassHierarchy cha)
                           throws IllegalArgumentException

Deprecated, for removal: This API element is subject to removal in a future version.

This method is being replaced. Please

Use addBypassLogic(AnalysisOptions, ClassLoader, String, IClassHierarchy) instead

Modify an options object to include bypass logic as specified by a an XML file.

Throws:

IllegalArgumentException - if scope is null

IllegalArgumentException - if cl is null

IllegalArgumentException - if options is null

IllegalArgumentException - if scope is null

addBypassLogic

public static void addBypassLogic(AnalysisOptions options,
 ClassLoader cl,
 String xmlFile,
 IClassHierarchy cha)
                           throws IllegalArgumentException

Modify an options object to include bypass logic as specified by a an XML file.

Throws:

IllegalArgumentException - if scope is null

IllegalArgumentException - if cl is null

IllegalArgumentException - if options is null

IllegalArgumentException - if scope is null

addBypassLogic

@Deprecated(forRemoval=true,
            since="1.7.2")
public static void addBypassLogic(AnalysisOptions options,
 AnalysisScope scope,
 ClassLoader cl,
 XMLMethodSummaryReader summary,
 IClassHierarchy cha)
                           throws IllegalArgumentException

Deprecated, for removal: This API element is subject to removal in a future version.

Method will be replaced. Please

Use addBypassLogic(AnalysisOptions, ClassLoader, XMLMethodSummaryReader, IClassHierarchy) instead

Throws:

IllegalArgumentException

addBypassLogic

public static void addBypassLogic(AnalysisOptions options,
 ClassLoader cl,
 XMLMethodSummaryReader summary,
 IClassHierarchy cha)
                           throws IllegalArgumentException

Throws:

IllegalArgumentException

makeMainEntrypoints

@Deprecated(forRemoval=true,
            since="1.7.2")
public static Iterable<Entrypoint> makeMainEntrypoints(AnalysisScope scope,
 IClassHierarchy cha)

Deprecated, for removal: This API element is subject to removal in a future version.

Use makeMainEntrypoints(IClassHierarchy) instead

Returns:

set of all eligible Main classes in the class hierarchy

Throws:

IllegalArgumentException - if scope is null

makeMainEntrypoints

public static Iterable<Entrypoint> makeMainEntrypoints(IClassHierarchy cha)

Returns:

set of all eligible Main classes in the class hierarchy

Throws:

IllegalArgumentException - if scope is null

makeMainEntrypoints

public static Iterable<Entrypoint> makeMainEntrypoints(ClassLoaderReference clr,
 IClassHierarchy cha)

makeMainEntrypoints

@Deprecated(forRemoval=true,
            since="1.7.2")
public static Iterable<Entrypoint> makeMainEntrypoints(AnalysisScope scope,
 IClassHierarchy cha,
 String className)

Deprecated, for removal: This API element is subject to removal in a future version.

Use makeMainEntrypoints(IClassHierarchy, String)

makeMainEntrypoints

public static Iterable<Entrypoint> makeMainEntrypoints(IClassHierarchy cha,
 String className)

Returns:

Entrypoints for a set of J2SE Main classes

makeMainEntrypoints

@Deprecated(forRemoval=true,
            since="1.7.2")
public static Iterable<Entrypoint> makeMainEntrypoints(AnalysisScope scope,
 IClassHierarchy cha,
 String[] classNames)

Deprecated, for removal: This API element is subject to removal in a future version.

Please

Use makeMainEntrypoints(IClassHierarchy, String[])

makeMainEntrypoints

public static Iterable<Entrypoint> makeMainEntrypoints(IClassHierarchy cha,
 String[] classNames)

Returns:

Entrypoints for a set of J2SE Main classes

makeMainEntrypoints

public static Iterable<Entrypoint> makeMainEntrypoints(ClassLoaderReference loaderRef,
 IClassHierarchy cha,
 String[] classNames)
                                                throws IllegalArgumentException

Returns:

Entrypoints for a set of J2SE Main classes

Throws:

IllegalArgumentException - if classNames == null

IllegalArgumentException - if (classNames != null) and (0 < classNames.length) and (classNames[0] == null)

IllegalArgumentException - if classNames.length == 0

setify

public static <T> Set<T> setify(Iterator<? extends T> x)

create a set holding the contents of an Iterator

checkGraphSubset

public static <T> void checkGraphSubset(Graph<T> supG,
 Graph<T> subG)

Throws:

IllegalArgumentException - if subG is null

IllegalArgumentException - if supG is null

makeRTABuilder

@Deprecated(forRemoval=true,
            since="1.7.2")
public static CallGraphBuilder<InstanceKey> makeRTABuilder(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated, for removal: This API element is subject to removal in a future version.

Use makeRTABuilder(AnalysisOptions, IAnalysisCacheView, IClassHierarchy)

Parameters:

options - options that govern call graph construction

cha - governing class hierarchy

scope - representation of the analysis scope

Returns:

an RTA Call Graph builder.

makeRTABuilder

public static CallGraphBuilder<InstanceKey> makeRTABuilder(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha)

Parameters:

options - options that govern call graph construction

cha - governing class hierarchy

Returns:

an RTA Call Graph builder.

makeZeroCFABuilder

@Deprecated(forRemoval=true,
            since="1.7.2")
public static SSAPropagationCallGraphBuilder makeZeroCFABuilder(Language l,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated, for removal: This API element is subject to removal in a future version.

Use makeZeroCFABuilder(Language, AnalysisOptions, IAnalysisCacheView, IClassHierarchy)

Parameters:

options - options that govern call graph construction

cha - governing class hierarchy

scope - representation of the analysis scope

Returns:

a 0-CFA Call Graph Builder.

makeZeroCFABuilder

public static SSAPropagationCallGraphBuilder makeZeroCFABuilder(Language l,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha)

Parameters:

options - options that govern call graph construction

cha - governing class hierarchy

Returns:

a 0-CFA Call Graph Builder.

makeZeroCFABuilder

@Deprecated(forRemoval=true,
            since="1.7.2")
public static SSAPropagationCallGraphBuilder makeZeroCFABuilder(Language l,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope,
 ContextSelector customSelector,
 SSAContextInterpreter customInterpreter)

Deprecated, for removal: This API element is subject to removal in a future version.

Use makeZeroCFABuilder(Language, AnalysisOptions, IAnalysisCacheView, IClassHierarchy, ContextSelector, SSAContextInterpreter)

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

makeZeroCFABuilder

public static SSAPropagationCallGraphBuilder makeZeroCFABuilder(Language l,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 ContextSelector customSelector,
 SSAContextInterpreter customInterpreter)

Parameters:

options - options that govern call graph construction

cha - governing class hierarchy

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

makeZeroOneCFABuilder

@Deprecated(forRemoval=true,
            since="1.7.2")
public static SSAPropagationCallGraphBuilder makeZeroOneCFABuilder(Language l,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated, for removal: This API element is subject to removal in a future version.

Use makeZeroOneCFABuilder(Language, AnalysisOptions, IAnalysisCacheView, IClassHierarchy)

Parameters:

options - options that govern call graph construction

cha - governing class hierarchy

scope - representation of the analysis scope

Returns:

a 0-1-CFA Call Graph Builder.

makeZeroOneCFABuilder

public static SSAPropagationCallGraphBuilder makeZeroOneCFABuilder(Language l,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha)

Parameters:

options - options that govern call graph construction

cha - governing class hierarchy

Returns:

a 0-1-CFA Call Graph Builder.

makeVanillaZeroOneCFABuilder

@Deprecated(forRemoval=true,
            since="1.7.2")
public static SSAPropagationCallGraphBuilder makeVanillaZeroOneCFABuilder(Language l,
 AnalysisOptions options,
 IAnalysisCacheView analysisCache,
 IClassHierarchy cha,
 AnalysisScope scope,
 ContextSelector customSelector,
 SSAContextInterpreter customInterpreter)

Deprecated, for removal: This API element is subject to removal in a future version.

Use makeVanillaZeroOneCFABuilder(Language, AnalysisOptions, IAnalysisCacheView, IClassHierarchy, ContextSelector, SSAContextInterpreter)

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-1-CFA Call Graph Builder.

Throws:

IllegalArgumentException - if options is null

makeVanillaZeroOneCFABuilder

public static SSAPropagationCallGraphBuilder makeVanillaZeroOneCFABuilder(Language l,
 AnalysisOptions options,
 IAnalysisCacheView analysisCache,
 IClassHierarchy cha,
 ContextSelector customSelector,
 SSAContextInterpreter customInterpreter)

Parameters:

options - options that govern call graph construction

cha - governing class hierarchy

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

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

Returns:

a 0-1-CFA Call Graph Builder.

Throws:

IllegalArgumentException - if options is null

makeVanillaZeroOneCFABuilder

@Deprecated(forRemoval=true,
            since="1.7.2")
public static SSAPropagationCallGraphBuilder makeVanillaZeroOneCFABuilder(Language l,
 AnalysisOptions options,
 IAnalysisCacheView analysisCache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated, for removal: This API element is subject to removal in a future version.

use makeVanillaZeroOneCFABuilder(Language, AnalysisOptions, IAnalysisCacheView, IClassHierarchy)

Parameters:

options - options that govern call graph construction

cha - governing class hierarchy

scope - representation of the analysis scope

Returns:

a 0-1-CFA Call Graph Builder.

makeVanillaZeroOneCFABuilder

public static SSAPropagationCallGraphBuilder makeVanillaZeroOneCFABuilder(Language l,
 AnalysisOptions options,
 IAnalysisCacheView analysisCache,
 IClassHierarchy cha)

Parameters:

options - options that govern call graph construction

cha - governing class hierarchy

Returns:

a 0-1-CFA Call Graph Builder.

makeZeroOneCFABuilder

@Deprecated(forRemoval=true,
            since="1.7.2")
public static SSAPropagationCallGraphBuilder makeZeroOneCFABuilder(Language l,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope,
 ContextSelector customSelector,
 SSAContextInterpreter customInterpreter)

Deprecated, for removal: This API element is subject to removal in a future version.

Use makeZeroOneCFABuilder(Language, AnalysisOptions, IAnalysisCacheView, IClassHierarchy, ContextSelector, SSAContextInterpreter)

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-1-CFA Call Graph Builder.

Throws:

IllegalArgumentException - if options is null

makeZeroOneCFABuilder

public static SSAPropagationCallGraphBuilder makeZeroOneCFABuilder(Language l,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 ContextSelector customSelector,
 SSAContextInterpreter customInterpreter)

Parameters:

options - options that govern call graph construction

cha - governing class hierarchy

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

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

Returns:

a 0-1-CFA Call Graph Builder.

Throws:

IllegalArgumentException - if options is null

makeZeroContainerCFABuilder

@Deprecated(forRemoval=true,
            since="1.7.2")
public static SSAPropagationCallGraphBuilder makeZeroContainerCFABuilder(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated, for removal: This API element is subject to removal in a future version.

Use makeZeroContainerCFABuilder(AnalysisOptions, IAnalysisCacheView, IClassHierarchy)

Parameters:

options - options that govern call graph construction

cha - governing class hierarchy

scope - representation of the analysis scope

Returns:

a 0-CFA Call Graph Builder augmented with extra logic for containers

Throws:

IllegalArgumentException - if options is null

makeZeroContainerCFABuilder

public static SSAPropagationCallGraphBuilder makeZeroContainerCFABuilder(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha)

Parameters:

options - options that govern call graph construction

cha - governing class hierarchy

Returns:

a 0-CFA Call Graph Builder augmented with extra logic for containers

Throws:

IllegalArgumentException - if options is null

makeZeroOneContainerCFABuilder

@Deprecated(forRemoval=true,
            since="1.7.2")
public static SSAPropagationCallGraphBuilder makeZeroOneContainerCFABuilder(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated, for removal: This API element is subject to removal in a future version.

Use makeZeroOneCFABuilder(Language, AnalysisOptions, IAnalysisCacheView, IClassHierarchy)

Parameters:

options - options that govern call graph construction

cha - governing class hierarchy

scope - representation of the analysis scope

Returns:

a 0-1-CFA Call Graph Builder augmented with extra logic for containers

Throws:

IllegalArgumentException - if options is null

makeZeroOneContainerCFABuilder

@Deprecated(forRemoval=true,
            since="1.7.2")
public static SSAPropagationCallGraphBuilder makeZeroOneContainerCFABuilder(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope,
 ContextSelector appSelector,
 SSAContextInterpreter appInterpreter)

Deprecated, for removal: This API element is subject to removal in a future version.

Use makeZeroOneContainerCFABuilder(AnalysisOptions, IAnalysisCacheView, IClassHierarchy, ContextSelector, SSAContextInterpreter)

makeZeroOneContainerCFABuilder

public static SSAPropagationCallGraphBuilder makeZeroOneContainerCFABuilder(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha)

Parameters:

options - options that govern call graph construction

cha - governing class hierarchy

Returns:

a 0-1-CFA Call Graph Builder augmented with extra logic for containers

Throws:

IllegalArgumentException - if options is null

makeZeroOneContainerCFABuilder

public static SSAPropagationCallGraphBuilder makeZeroOneContainerCFABuilder(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 ContextSelector appSelector,
 SSAContextInterpreter appInterpreter)

makeNCFABuilder

@Deprecated(forRemoval=true,
            since="1.7.2")
public static SSAPropagationCallGraphBuilder makeNCFABuilder(int n,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated, for removal: This API element is subject to removal in a future version.

Use makeNCFABuilder(int, Language, AnalysisOptions, IAnalysisCacheView,IClassHierarchy)

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.

makeNCFABuilder

public static SSAPropagationCallGraphBuilder makeNCFABuilder(int n,
 Language l,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha)

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.

makeNObjBuilder

@Deprecated(forRemoval=true,
            since="1.7.2")
public static SSAPropagationCallGraphBuilder makeNObjBuilder(int n,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated, for removal: This API element is subject to removal in a future version.

Use makeNObjBuilder(int, AnalysisOptions, IAnalysisCacheView, IClassHierarchy)

make a CallGraphBuilder that uses object context sensitivity, with allocation-string length limited to n

makeNObjBuilder

public static SSAPropagationCallGraphBuilder makeNObjBuilder(int n,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha)

make a CallGraphBuilder that uses object context sensitivity, with allocation-string length limited to n

makeVanillaNObjBuilder

@Deprecated(forRemoval=true,
            since="1.7.2")
public static SSAPropagationCallGraphBuilder makeVanillaNObjBuilder(int n,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated, for removal: This API element is subject to removal in a future version.

Use makeVanillaNObjBuilder(int, AnalysisOptions, IAnalysisCacheView, IClassHierarchy)

make a CallGraphBuilder that uses object context sensitivity, with allocation-string length limited to n

makeVanillaNObjBuilder

public static SSAPropagationCallGraphBuilder makeVanillaNObjBuilder(int n,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha)

make a CallGraphBuilder that uses object context sensitivity, with allocation-string length limited to n

makeVanillaNCFABuilder

@Deprecated(forRemoval=true,
            since="1.7.2")
public static SSAPropagationCallGraphBuilder makeVanillaNCFABuilder(int n,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated, for removal: This API element is subject to removal in a future version.

Use makeVanillaNCFABuilder(int, AnalysisOptions, IAnalysisCacheView, IClassHierarchy)

makeVanillaNCFABuilder

public static SSAPropagationCallGraphBuilder makeVanillaNCFABuilder(int n,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha)

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. Standard optimizations in the heap abstraction like smushing of strings are disabled.

makeVanillaZeroOneContainerCFABuilder

@Deprecated(forRemoval=true,
            since="1.7.2")
public static SSAPropagationCallGraphBuilder makeVanillaZeroOneContainerCFABuilder(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated, for removal: This API element is subject to removal in a future version.

Use makeVanillaZeroOneContainerCFABuilder(AnalysisOptions, IAnalysisCacheView, IClassHierarchy)

makeVanillaZeroOneContainerCFABuilder

public static SSAPropagationCallGraphBuilder makeVanillaZeroOneContainerCFABuilder(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha)

Parameters:

options - options that govern call graph construction

cha - governing class hierarchy

Returns:

a 0-1-CFA Call Graph Builder augmented with extra logic for containers

Throws:

IllegalArgumentException - if options is null

addDefaultBypassLogic

@Deprecated(forRemoval=true,
            since="1.7.2")
public static void addDefaultBypassLogic(AnalysisOptions options,
 AnalysisScope scope,
 ClassLoader cl,
 IClassHierarchy cha)

Deprecated, for removal: This API element is subject to removal in a future version.

Use addDefaultBypassLogic(AnalysisOptions, ClassLoader, IClassHierarchy)

addDefaultBypassLogic

public static void addDefaultBypassLogic(AnalysisOptions options,
 ClassLoader cl,
 IClassHierarchy cha)