com.ibm.wala.core.tests.callGraph

Class CallGraphTestUtil

java.lang.Object

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

public class CallGraphTestUtil
extends java.lang.Object

Utilities for call graph tests

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	REGRESSION_EXCLUSIONS
static java.lang.String	REGRESSION_EXCLUSIONS_FOR_GUI

Constructor Summary

Constructors

Constructor and Description
CallGraphTestUtil()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

REGRESSION_EXCLUSIONS

public static java.lang.String REGRESSION_EXCLUSIONS

REGRESSION_EXCLUSIONS_FOR_GUI

public static java.lang.String REGRESSION_EXCLUSIONS_FOR_GUI

Constructor Detail

CallGraphTestUtil

public CallGraphTestUtil()

Method Detail

makeAnalysisOptions

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

makeJ2SEAnalysisScope

public static AnalysisScope makeJ2SEAnalysisScope(java.lang.String scopeFile,
                                                  java.lang.String exclusionsFile)
                                           throws java.io.IOException

Throws:

java.io.IOException

makeJ2SEAnalysisScope

public static AnalysisScope makeJ2SEAnalysisScope(java.lang.String scopeFile,
                                                  java.lang.String exclusionsFile,
                                                  java.lang.ClassLoader myClassLoader)
                                           throws java.io.IOException

Throws:

java.io.IOException

buildRTA

public static CallGraph buildRTA(AnalysisOptions options,
                                 IAnalysisCacheView cache,
                                 IClassHierarchy cha,
                                 AnalysisScope scope)
                          throws java.lang.IllegalArgumentException,
                                 com.ibm.wala.util.CancelException

Throws:

java.lang.IllegalArgumentException

com.ibm.wala.util.CancelException

buildZeroCFA

public static CallGraph buildZeroCFA(AnalysisOptions options,
                                     IAnalysisCacheView cache,
                                     IClassHierarchy cha,
                                     AnalysisScope scope,
                                     boolean testPAtoString)
                              throws java.lang.IllegalArgumentException,
                                     com.ibm.wala.util.CancelException

Throws:

java.lang.IllegalArgumentException

com.ibm.wala.util.CancelException

buildVanillaZeroOneCFA

public static CallGraph buildVanillaZeroOneCFA(AnalysisOptions options,
                                               IAnalysisCacheView cache,
                                               IClassHierarchy cha,
                                               AnalysisScope scope)
                                        throws java.lang.IllegalArgumentException,
                                               com.ibm.wala.util.CancelException

Throws:

java.lang.IllegalArgumentException

com.ibm.wala.util.CancelException

buildZeroOneCFA

public static CallGraph buildZeroOneCFA(AnalysisOptions options,
                                        IAnalysisCacheView cache,
                                        IClassHierarchy cha,
                                        AnalysisScope scope,
                                        boolean testPAtoString)
                                 throws java.lang.IllegalArgumentException,
                                        com.ibm.wala.util.CancelException

Throws:

java.lang.IllegalArgumentException

com.ibm.wala.util.CancelException

buildZeroContainerCFA

public static CallGraph buildZeroContainerCFA(AnalysisOptions options,
                                              IAnalysisCacheView cache,
                                              IClassHierarchy cha,
                                              AnalysisScope scope)
                                       throws java.lang.IllegalArgumentException,
                                              com.ibm.wala.util.CancelException

Throws:

java.lang.IllegalArgumentException

com.ibm.wala.util.CancelException

buildZeroOneContainerCFA

public static CallGraph buildZeroOneContainerCFA(AnalysisOptions options,
                                                 IAnalysisCacheView cache,
                                                 IClassHierarchy cha,
                                                 AnalysisScope scope)
                                          throws java.lang.IllegalArgumentException,
                                                 com.ibm.wala.util.CancelException

Throws:

java.lang.IllegalArgumentException

com.ibm.wala.util.CancelException

buildNCFA

public static com.ibm.wala.util.collections.Pair<CallGraph,PointerAnalysis<InstanceKey>> buildNCFA(int n,
                                                                                                   AnalysisOptions options,
                                                                                                   IAnalysisCacheView cache,
                                                                                                   IClassHierarchy cha,
                                                                                                   AnalysisScope scope)
                                                                                            throws java.lang.IllegalArgumentException,
                                                                                                   com.ibm.wala.util.CancelException

Throws:

java.lang.IllegalArgumentException

com.ibm.wala.util.CancelException