Class StandardSolver
java.lang.Object
com.ibm.wala.ipa.callgraph.propagation.AbstractPointsToSolver
com.ibm.wala.ipa.callgraph.propagation.StandardSolver
- All Implemented Interfaces:
IPointsToSolver
standard fixed-point iterative solver for pointer analysis
-
Field Summary
Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.AbstractPointsToSolver
DEBUG
-
Constructor Summary
ConstructorDescriptionStandardSolver
(PropagationSystem system, PropagationCallGraphBuilder builder) -
Method Summary
Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.AbstractPointsToSolver
getBuilder, getReflectionHandler, getSystem
-
Constructor Details
-
StandardSolver
-
-
Method Details
-
solve
public void solve(MonitorUtil.IProgressMonitor monitor) throws IllegalArgumentException, CancelException - Specified by:
solve
in interfaceIPointsToSolver
- Specified by:
solve
in classAbstractPointsToSolver
- Throws:
IllegalArgumentException
CancelException
-