| Package | Description |
|---|---|
| com.ibm.wala.dataflow.IFDS |
This package provides an RHS solver for IFDS problems.
|
| com.ibm.wala.ipa.cfg |
This package supports interprocedural control-flow graphs, and control-flow
graphs specialized for context.
|
| Modifier and Type | Method and Description |
|---|---|
ExplodedInterproceduralCFG |
ICFGSupergraph.getICFG() |
| Constructor and Description |
|---|
ICFGSupergraph(ExplodedInterproceduralCFG icfg,
AnalysisCache cache) |
| Modifier and Type | Method and Description |
|---|---|
static ExplodedInterproceduralCFG |
ExplodedInterproceduralCFG.make(CallGraph cg) |
Copyright © 2015. All rights reserved.