Package com.ibm.wala.ipa.callgraph.impl

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. Method will be replaced.
static void	addBypassLogic(AnalysisOptions options, AnalysisScope scope, ClassLoader cl, String xmlFile, IClassHierarchy cha)	Deprecated. 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. 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. Use makeMainEntrypoints(IClassHierarchy) instead
static Iterable<Entrypoint>	makeMainEntrypoints(AnalysisScope scope, IClassHierarchy cha, String className)	Deprecated. Use makeMainEntrypoints(IClassHierarchy, String)
static Iterable<Entrypoint>	makeMainEntrypoints(AnalysisScope scope, IClassHierarchy cha, String[] classNames)	Deprecated. 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, 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. Use makeNCFABuilder(int, 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. 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. 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. 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. 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. use makeVanillaZeroOneCFABuilder(Language, AnalysisOptions, IAnalysisCacheView, IClassHierarchy)
static SSAPropagationCallGraphBuilder	makeVanillaZeroOneCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView analysisCache, IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter)	Deprecated. 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. 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. Use makeZeroCFABuilder(Language, AnalysisOptions, IAnalysisCacheView, IClassHierarchy)
static SSAPropagationCallGraphBuilder	makeZeroCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter)	Deprecated. 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. 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. Use makeZeroOneCFABuilder(Language, AnalysisOptions, IAnalysisCacheView, IClassHierarchy)
static SSAPropagationCallGraphBuilder	makeZeroOneCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter)	Deprecated. 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. Use makeZeroOneCFABuilder(Language, AnalysisOptions, IAnalysisCacheView, IClassHierarchy)
static SSAPropagationCallGraphBuilder	makeZeroOneContainerCFABuilder(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope, ContextSelector appSelector, SSAContextInterpreter appInterpreter)	Deprecated. 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 java.lang.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
public static void addBypassLogic(AnalysisOptions options,
 AnalysisScope scope,
 ClassLoader cl,
 String xmlFile,
 IClassHierarchy cha)
                           throws IllegalArgumentException

Deprecated.

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
public static void addBypassLogic(AnalysisOptions options,
 AnalysisScope scope,
 ClassLoader cl,
 XMLMethodSummaryReader summary,
 IClassHierarchy cha)
                           throws IllegalArgumentException

Deprecated.

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
public static Iterable<Entrypoint> makeMainEntrypoints(AnalysisScope scope,
 IClassHierarchy cha)

Deprecated.

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
public static Iterable<Entrypoint> makeMainEntrypoints(AnalysisScope scope,
 IClassHierarchy cha,
 String className)

Deprecated.

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
public static Iterable<Entrypoint> makeMainEntrypoints(AnalysisScope scope,
 IClassHierarchy cha,
 String[] classNames)

Deprecated.

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
public static CallGraphBuilder<InstanceKey> makeRTABuilder(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated.

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
public static SSAPropagationCallGraphBuilder makeZeroCFABuilder(Language l,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated.

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
public static SSAPropagationCallGraphBuilder makeZeroCFABuilder(Language l,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope,
 ContextSelector customSelector,
 SSAContextInterpreter customInterpreter)

Deprecated.

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
public static SSAPropagationCallGraphBuilder makeZeroOneCFABuilder(Language l,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated.

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
public static SSAPropagationCallGraphBuilder makeVanillaZeroOneCFABuilder(Language l,
 AnalysisOptions options,
 IAnalysisCacheView analysisCache,
 IClassHierarchy cha,
 AnalysisScope scope,
 ContextSelector customSelector,
 SSAContextInterpreter customInterpreter)

Deprecated.

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
public static SSAPropagationCallGraphBuilder makeVanillaZeroOneCFABuilder(Language l,
 AnalysisOptions options,
 IAnalysisCacheView analysisCache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated.

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
public static SSAPropagationCallGraphBuilder makeZeroOneCFABuilder(Language l,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope,
 ContextSelector customSelector,
 SSAContextInterpreter customInterpreter)

Deprecated.

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
public static SSAPropagationCallGraphBuilder makeZeroContainerCFABuilder(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated.

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
public static SSAPropagationCallGraphBuilder makeZeroOneContainerCFABuilder(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated.

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
public static SSAPropagationCallGraphBuilder makeZeroOneContainerCFABuilder(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope,
 ContextSelector appSelector,
 SSAContextInterpreter appInterpreter)

Deprecated.

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
public static SSAPropagationCallGraphBuilder makeNCFABuilder(int n,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated.

Use makeNCFABuilder(int, 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,
 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
public static SSAPropagationCallGraphBuilder makeNObjBuilder(int n,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated.

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
public static SSAPropagationCallGraphBuilder makeVanillaNObjBuilder(int n,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated.

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
public static SSAPropagationCallGraphBuilder makeVanillaNCFABuilder(int n,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated.

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
public static SSAPropagationCallGraphBuilder makeVanillaZeroOneContainerCFABuilder(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 AnalysisScope scope)

Deprecated.

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
public static void addDefaultBypassLogic(AnalysisOptions options,
 AnalysisScope scope,
 ClassLoader cl,
 IClassHierarchy cha)

Deprecated.

Use addDefaultBypassLogic(AnalysisOptions, ClassLoader, IClassHierarchy)

addDefaultBypassLogic

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