| Package | Description |
|---|---|
| soot.toolkits.graph |
Toolkit to produce and manipulate various types of control flow
graphs.
|
| soot.toolkits.graph.pdg |
| Modifier and Type | Class and Description |
|---|---|
class |
ArrayRefBlockGraph
|
class |
BriefBlockGraph
|
class |
ClassicCompleteBlockGraph
Represents a CFG where the nodes are
Blocks and the
edges are derived from control flow. |
class |
CompleteBlockGraph
|
class |
ExceptionalBlockGraph
Represents a CFG where the nodes are
Blocks and the
edges are derived from control flow. |
class |
ZonedBlockGraph
A CFG where the nodes are
Block instances, and where
exception boundaries are taken into account when finding the
Blocks for the provided Body. |
| Modifier and Type | Method and Description |
|---|---|
static void |
BlockGraphConverter.addStartStopNodesTo(BlockGraph graph)
Transforms a multi-headed and/or multi-tailed BlockGraph to a
single-headed singled-tailed BlockGraph by inserting a dummy
start and stop nodes.
|
static void |
BlockGraphConverter.reverse(BlockGraph graph)
Reverses a BlockGraph by making the heads tails, the tails
heads and reversing the edges.
|
| Constructor and Description |
|---|
Block(Unit aHead,
Unit aTail,
Body aBody,
int aIndexInMethod,
int aBlockLength,
BlockGraph aBlockGraph)
Constructs a Block in the context of a BlockGraph, and enclosing Body instances.
|
| Modifier and Type | Class and Description |
|---|---|
class |
EnhancedBlockGraph |
| Modifier and Type | Field and Description |
|---|---|
protected BlockGraph |
RegionAnalysis.m_blockCFG |
protected BlockGraph |
HashMutablePDG.m_blockCFG |
protected BlockGraph |
RegionAnalysis.m_reverseBlockCFG |
| Modifier and Type | Method and Description |
|---|---|
BlockGraph |
RegionAnalysis.getBlockCFG() |
Copyright © 2012-2019 RoboVM AB. All Rights Reserved.