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 and Description
StandardSolver(PropagationSystem system, PropagationCallGraphBuilder builder)

Method Summary

Modifier and Type	Method and Description
void	solve(com.ibm.wala.util.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 Detail

StandardSolver

public StandardSolver(PropagationSystem system,
                      PropagationCallGraphBuilder builder)

Method Detail

solve

public void solve(com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
           throws java.lang.IllegalArgumentException,
                  com.ibm.wala.util.CancelException

Specified by:

solve in interface IPointsToSolver

Specified by:

solve in class AbstractPointsToSolver

Throws:

java.lang.IllegalArgumentException

com.ibm.wala.util.CancelException