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

StandardSolver(PropagationSystem system, PropagationCallGraphBuilder builder)

Method Summary

void

solve()

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)

Parameters:

system -

builder -

Method Detail

solve

public void solve()

Specified by:

solve in interface IPointsToSolver

Specified by:

solve in class AbstractPointsToSolver