| Interface | Description |
|---|---|
| BiDiInterproceduralCFG<N,M> |
An
InterproceduralCFG which supports the computation of predecessors. |
| Class | Description |
|---|---|
| AbstractJimpleBasedICFG | |
| BackwardsInterproceduralCFG |
Same as
JimpleBasedInterproceduralCFG but based on inverted unit graphs. |
| JimpleBasedInterproceduralCFG |
Default implementation for the
InterproceduralCFG interface. |
| OnTheFlyJimpleBasedICFG |
This is an implementation of AbstractJimpleBasedICFG that computes the ICFG on-the-fly.
|