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