Package com.ibm.wala.core.tests.callGraph

Class CallGraphTestUtil

java.lang.Object

com.ibm.wala.core.tests.callGraph.CallGraphTestUtil

public class CallGraphTestUtil
extends Object

Utilities for call graph tests

Field Summary

Fields

Modifier and Type	Field	Description
static String	REGRESSION_EXCLUSIONS
static String	REGRESSION_EXCLUSIONS_FOR_GUI

Constructor Summary

Constructors

Constructor	Description
CallGraphTestUtil()

Method Summary

Modifier and Type	Method	Description
static Pair<CallGraph,PointerAnalysis<InstanceKey>>	buildNCFA(int n, AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha)
static CallGraph	buildRTA(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha)
static CallGraph	buildVanillaZeroOneCFA(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha)
static CallGraph	buildZeroCFA(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, boolean testPAtoString)
static CallGraph	buildZeroContainerCFA(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha)
static CallGraph	buildZeroOneCFA(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, boolean testPAtoString)
static CallGraph	buildZeroOneContainerCFA(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha)
static AnalysisOptions	makeAnalysisOptions(AnalysisScope scope, Iterable<Entrypoint> entrypoints)
static AnalysisScope	makeJ2SEAnalysisScope(String scopeFile, String exclusionsFile)
static AnalysisScope	makeJ2SEAnalysisScope(String scopeFile, String exclusionsFile, ClassLoader myClassLoader)

Methods inherited from class java.lang.Object

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

Field Details

REGRESSION_EXCLUSIONS

public static String REGRESSION_EXCLUSIONS

REGRESSION_EXCLUSIONS_FOR_GUI

public static String REGRESSION_EXCLUSIONS_FOR_GUI

Constructor Details

CallGraphTestUtil

public CallGraphTestUtil()

Method Details

makeAnalysisOptions

public static AnalysisOptions makeAnalysisOptions(AnalysisScope scope,
 Iterable<Entrypoint> entrypoints)

makeJ2SEAnalysisScope

public static AnalysisScope makeJ2SEAnalysisScope(String scopeFile,
 String exclusionsFile)
                                           throws IOException

Throws:

IOException

makeJ2SEAnalysisScope

public static AnalysisScope makeJ2SEAnalysisScope(String scopeFile,
 String exclusionsFile,
 ClassLoader myClassLoader)
                                           throws IOException

Throws:

IOException

buildRTA

public static CallGraph buildRTA(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha)
                          throws IllegalArgumentException,
CancelException

Throws:

IllegalArgumentException

CancelException

buildZeroCFA

public static CallGraph buildZeroCFA(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 boolean testPAtoString)
                              throws IllegalArgumentException,
CancelException

Throws:

IllegalArgumentException

CancelException

buildVanillaZeroOneCFA

public static CallGraph buildVanillaZeroOneCFA(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha)
                                        throws IllegalArgumentException,
CancelException

Throws:

IllegalArgumentException

CancelException

buildZeroOneCFA

public static CallGraph buildZeroOneCFA(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha,
 boolean testPAtoString)
                                 throws IllegalArgumentException,
CancelException

Throws:

IllegalArgumentException

CancelException

buildZeroContainerCFA

public static CallGraph buildZeroContainerCFA(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha)
                                       throws IllegalArgumentException,
CancelException

Throws:

IllegalArgumentException

CancelException

buildZeroOneContainerCFA

public static CallGraph buildZeroOneContainerCFA(AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha)
                                          throws IllegalArgumentException,
CancelException

Throws:

IllegalArgumentException

CancelException

buildNCFA

public static Pair<CallGraph,PointerAnalysis<InstanceKey>> buildNCFA(int n,
 AnalysisOptions options,
 IAnalysisCacheView cache,
 IClassHierarchy cha)
                                                              throws IllegalArgumentException,
CancelException

Throws:

IllegalArgumentException

CancelException