| 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 |
|---|---|
IPartiallyBalancedFlowFunctions<T> |
PartiallyBalancedTabulationProblem.getFunctionMap() |
| Modifier and Type | Class and Description |
|---|---|
class |
SliceFunctions
flow functions for flow-sensitive context-sensitive slicer
|
| Modifier and Type | Method and Description |
|---|---|
IPartiallyBalancedFlowFunctions<Statement> |
Slicer.SliceProblem.getFunctionMap() |
Copyright © 2015. All rights reserved.