| Package | Description |
|---|---|
| com.ibm.wala.dataflow.IFDS |
This package provides an RHS solver for IFDS problems.
|
| Modifier and Type | Field and Description |
|---|---|
protected Map<P,LocalSummaryEdges> |
TabulationSolver.summaryEdges
A map from Object (procedure) -> LocalSummaryEdges.
|
| Modifier and Type | Method and Description |
|---|---|
protected LocalSummaryEdges |
TabulationSolver.findOrCreateLocalSummaryEdges(P proc) |
Copyright © 2015. All rights reserved.