Class CallGraphTestUtil
java.lang.Object
com.ibm.wala.core.tests.callGraph.CallGraphTestUtil
-
Field Summary
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic 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)
-
Field Details
-
REGRESSION_EXCLUSIONS
-
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 -
buildZeroCFA
public static CallGraph buildZeroCFA(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, boolean testPAtoString) throws IllegalArgumentException, CancelException -
buildVanillaZeroOneCFA
public static CallGraph buildVanillaZeroOneCFA(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha) throws IllegalArgumentException, CancelException -
buildZeroOneCFA
public static CallGraph buildZeroOneCFA(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, boolean testPAtoString) throws IllegalArgumentException, CancelException -
buildZeroContainerCFA
public static CallGraph buildZeroContainerCFA(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha) throws IllegalArgumentException, CancelException -
buildZeroOneContainerCFA
public static CallGraph buildZeroOneContainerCFA(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha) throws IllegalArgumentException, CancelException -
buildNCFA
public static Pair<CallGraph,PointerAnalysis<InstanceKey>> buildNCFA(int n, AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha) throws IllegalArgumentException, CancelException
-