| Package | Description |
|---|---|
| com.ibm.wala.dataflow.IFDS |
This package provides an RHS solver for IFDS problems.
|
| com.ibm.wala.ipa.slicer |
| Modifier and Type | Interface and Description |
|---|---|
interface |
IPartiallyBalancedFlowFunctions<T>
Flow functions for a
PartiallyBalancedTabulationProblem |
| Modifier and Type | Class and Description |
|---|---|
class |
IdentityFlowFunctions<T>
A silly debugging aid that always returns the identity flow function
|
| Modifier and Type | Field and Description |
|---|---|
protected IFlowFunctionMap<T> |
TabulationSolver.flowFunctionMap
A map from an edge in a supergraph to a flow function
|
| Modifier and Type | Method and Description |
|---|---|
IFlowFunctionMap<T> |
TabulationProblem.getFunctionMap() |
| Modifier and Type | Class and Description |
|---|---|
class |
ReachabilityFunctions<T>
Trivial flow functions to represent simple reachability.
|
class |
SliceFunctions
flow functions for flow-sensitive context-sensitive slicer
|
Copyright © 2015. All rights reserved.