Package com.ibm.wala.ipa.callgraph.propagation

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

Modifier and Type	Method	Description
void	solve(MonitorUtil.IProgressMonitor monitor)

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.AbstractPointsToSolver

getBuilder, getReflectionHandler, getSystem

Methods inherited from class java.lang.Object

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

Constructor Details

StandardSolver

public StandardSolver(PropagationSystem system,
 PropagationCallGraphBuilder builder)

Method Details

solve

public void solve(MonitorUtil.IProgressMonitor monitor)
           throws IllegalArgumentException,
CancelException

Specified by:

solve in interface IPointsToSolver

Specified by:

solve in class AbstractPointsToSolver

Throws:

IllegalArgumentException

CancelException