| Package | Description |
|---|---|
| com.ibm.wala.dataflow.IFDS |
This package provides an RHS solver for IFDS problems.
|
| com.ibm.wala.ipa.slicer |
| Modifier and Type | Class and Description |
|---|---|
class |
BackwardsSupergraph<T,P>
A "reversed" supergraph for backwards analysis.
|
class |
ICFGSupergraph
Forward supergraph induced over an
ExplodedInterproceduralCFG
This should lazily build the supergraph as it is explored. |
| Modifier and Type | Field and Description |
|---|---|
protected ISupergraph<T,P> |
TabulationSolver.supergraph
The supergraph which induces this dataflow problem
|
| Modifier and Type | Method and Description |
|---|---|
ISupergraph<T,P> |
TabulationSolver.getSupergraph() |
ISupergraph<T,P> |
TabulationProblem.getSupergraph() |
| Modifier and Type | Method and Description |
|---|---|
static <T,P> BackwardsSupergraph<T,P> |
BackwardsSupergraph.make(ISupergraph<T,P> forwardGraph) |
| Constructor and Description |
|---|
BackwardsSupergraph(ISupergraph<T,P> forwardGraph) |
| Modifier and Type | Method and Description |
|---|---|
ISupergraph<Statement,PDG> |
Slicer.SliceProblem.getSupergraph() |
Copyright © 2015. All rights reserved.