| Package | Description |
|---|---|
| com.ibm.wala.dataflow.IFDS |
This package provides an RHS solver for IFDS problems.
|
| com.ibm.wala.ipa.slicer |
| Modifier and Type | Method and Description |
|---|---|
IMergeFunction |
TabulationProblem.getMergeFunction()
Special case: if supportsMerge(), then the problem is not really IFDS anymore.
|
| Modifier and Type | Method and Description |
|---|---|
IMergeFunction |
Slicer.SliceProblem.getMergeFunction() |
Copyright © 2015. All rights reserved.