com.ibm.wala.client
Interface CallGraphBuilderFactory

All Known Subinterfaces:

CallGraphBuilderFactory

All Known Implementing Classes:

RTABuilderFactory, RTABuilderFactory, ZeroCFABuilderFactory, ZeroCFABuilderFactory, ZeroCFABuilderFactory, ZeroCFABuilderFactory, ZeroContainerCFABuilderFactory, ZeroContainerCFABuilderFactory, ZeroOneCFABuilderFactory, ZeroOneCFABuilderFactory, ZeroOneContainerCFABuilderFactory, ZeroOneContainerCFABuilderFactory, ZeroOneContainerCFABuilderFactory

public interface CallGraphBuilderFactory

A factory for call graph builders; tailored to J2EE

Field Summary

static java.lang.String	IMPL_PROPERTY
static java.lang.String	OBJECT_SENSITIVE_CONTAINER_HACK_CFA_BUILDER_FACTORY
static java.lang.String	RTA_BUILDER_FACTORY
static java.lang.String	XTA_BUILDER_FACTORY
static java.lang.String	XTA_CONTAINER_BUILDER_FACTORY
static java.lang.String	ZERO_CFA_BUILDER_FACTORY
static java.lang.String	ZERO_CONTAINER_CFA_BUILDER_FACTORY
static java.lang.String	ZERO_ONE_CFA_BUILDER_FACTORY
static java.lang.String	ZERO_ONE_CONTAINER_CFA_BUILDER_FACTORY

Method Summary

CallGraphBuilder

make(AnalysisOptions options, ClassHierarchy cha, AnalysisScope scope, WarningSet warnings, boolean keepPointsTo)

Field Detail

IMPL_PROPERTY

static final java.lang.String IMPL_PROPERTY

See Also:

Constant Field Values

RTA_BUILDER_FACTORY

static final java.lang.String RTA_BUILDER_FACTORY

See Also:

Constant Field Values

XTA_BUILDER_FACTORY

static final java.lang.String XTA_BUILDER_FACTORY

See Also:

Constant Field Values

XTA_CONTAINER_BUILDER_FACTORY

static final java.lang.String XTA_CONTAINER_BUILDER_FACTORY

See Also:

Constant Field Values

ZERO_CFA_BUILDER_FACTORY

static final java.lang.String ZERO_CFA_BUILDER_FACTORY

See Also:

Constant Field Values

ZERO_CONTAINER_CFA_BUILDER_FACTORY

static final java.lang.String ZERO_CONTAINER_CFA_BUILDER_FACTORY

See Also:

Constant Field Values

ZERO_ONE_CFA_BUILDER_FACTORY

static final java.lang.String ZERO_ONE_CFA_BUILDER_FACTORY

See Also:

Constant Field Values

ZERO_ONE_CONTAINER_CFA_BUILDER_FACTORY

static final java.lang.String ZERO_ONE_CONTAINER_CFA_BUILDER_FACTORY

See Also:

Constant Field Values

OBJECT_SENSITIVE_CONTAINER_HACK_CFA_BUILDER_FACTORY

static final java.lang.String OBJECT_SENSITIVE_CONTAINER_HACK_CFA_BUILDER_FACTORY

See Also:

Constant Field Values

Method Detail

make

CallGraphBuilder make(AnalysisOptions options,
                      ClassHierarchy cha,
                      AnalysisScope scope,
                      WarningSet warnings,
                      boolean keepPointsTo)

Parameters:

options - options that govern call graph construction

cha - governing class hierarchy

scope - representation of the analysis scope

warnings - an object which tracks analysis warnings

keepPointsTo - preserve PointsTo graph for posterity?