Class AbstractPointsToSolver
java.lang.Object
com.ibm.wala.ipa.callgraph.propagation.AbstractPointsToSolver
- All Implemented Interfaces:
IPointsToSolver
- Direct Known Subclasses:
StandardSolver
Abstract base class for solver for pointer analysis.
-
Field Summary
-
Constructor Summary
ConstructorDescriptionAbstractPointsToSolver
(PropagationSystem system, PropagationCallGraphBuilder builder) -
Method Summary
Modifier and TypeMethodDescriptionprotected PropagationCallGraphBuilder
protected ReflectionHandler
protected PropagationSystem
abstract void
solve
(MonitorUtil.IProgressMonitor monitor)
-
Field Details
-
DEBUG
protected static final boolean DEBUG- See Also:
-
-
Constructor Details
-
AbstractPointsToSolver
-
-
Method Details
-
solve
public abstract void solve(MonitorUtil.IProgressMonitor monitor) throws IllegalArgumentException, CancelException - Specified by:
solve
in interfaceIPointsToSolver
- Throws:
IllegalArgumentException
CancelException
-
getBuilder
-
getReflectionHandler
-
getSystem
-