| Package | Description |
|---|---|
| com.ibm.wala.dataflow.IFDS |
This package provides an RHS solver for IFDS problems.
|
| Modifier and Type | Class and Description |
|---|---|
protected class |
TabulationSolver.Worklist |
| Modifier and Type | Method and Description |
|---|---|
protected ITabulationWorklist<T> |
TabulationSolver.makeWorklist()
Subclasses can override this to plug in a different worklist implementation.
|
Copyright © 2015. All rights reserved.