StandardSolver (API Reference for wala 1.3.9)

Skip navigation links

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method

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
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method and 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 Detail

StandardSolver

public StandardSolver(PropagationSystem system,
                      PropagationCallGraphBuilder builder)

Method Detail

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

Skip navigation links

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method