| Package | Description |
|---|---|
| soot.toolkits.graph |
Toolkit to produce and manipulate various types of control flow
graphs.
|
| soot.toolkits.graph.pdg |
| Modifier and Type | Field and Description |
|---|---|
protected java.util.List<Block> |
BlockGraph.mBlocks |
protected java.util.List<Block> |
BlockGraph.mHeads |
protected java.util.List<Block> |
BlockGraph.mTails |
| Modifier and Type | Method and Description |
|---|---|
Block |
ExceptionalBlockGraph.ExceptionDest.getHandlerNode() |
| Modifier and Type | Method and Description |
|---|---|
protected java.util.Map<Unit,Block> |
ExceptionalBlockGraph.buildBlocks(java.util.Set<Unit> leaders,
UnitGraph uncastUnitGraph)
A utility method that does most of the work of constructing
basic blocks, once the set of block leaders has been
determined, and which designates the heads and tails of the graph.
|
protected java.util.Map<Unit,Block> |
BlockGraph.buildBlocks(java.util.Set<Unit> leaders,
UnitGraph unitGraph)
A utility method that does most of the work of constructing
basic blocks, once the set of block leaders has been
determined, and which designates the heads and tails of the graph.
|
java.util.List<Block> |
BlockGraph.getBlocks()
Returns a list of the Blocks composing this graph.
|
java.util.List<Block> |
ExceptionalBlockGraph.getExceptionalPredsOf(Block b) |
java.util.List<Block> |
ExceptionalBlockGraph.getExceptionalSuccsOf(Block b) |
java.util.List<Block> |
BlockGraph.getHeads() |
java.util.List<Block> |
Block.getPreds()
Returns the List of Block that are predecessors to this block,
|
java.util.List<Block> |
BlockGraph.getPredsOf(Block b) |
java.util.List<Block> |
Block.getSuccs()
Returns the List of Blocks that are successors to this block,
|
java.util.List<Block> |
BlockGraph.getSuccsOf(Block b) |
java.util.List<Block> |
BlockGraph.getTails() |
java.util.List<Block> |
ExceptionalBlockGraph.getUnexceptionalPredsOf(Block b) |
java.util.List<Block> |
ExceptionalBlockGraph.getUnexceptionalSuccsOf(Block b) |
java.util.Iterator<Block> |
BlockGraph.iterator() |
| Modifier and Type | Method and Description |
|---|---|
java.util.List<Block> |
ExceptionalBlockGraph.getExceptionalPredsOf(Block b) |
java.util.List<Block> |
ExceptionalBlockGraph.getExceptionalSuccsOf(Block b) |
java.util.Collection<ExceptionalBlockGraph.ExceptionDest> |
ExceptionalBlockGraph.getExceptionDests(Block b) |
java.util.List<Block> |
BlockGraph.getPredsOf(Block b) |
java.util.List<Block> |
BlockGraph.getSuccsOf(Block b) |
java.util.List<Block> |
ExceptionalBlockGraph.getUnexceptionalPredsOf(Block b) |
java.util.List<Block> |
ExceptionalBlockGraph.getUnexceptionalSuccsOf(Block b) |
| Modifier and Type | Method and Description |
|---|---|
void |
Block.setPreds(java.util.List<Block> preds)
Sets the list of Blocks that are predecessors of this block in it's enclosing
BlockGraph instance.
|
void |
Block.setSuccs(java.util.List<Block> succs)
Sets the list of Blocks that are successors of this block in it's enclosing
BlockGraph instance.
|
| Constructor and Description |
|---|
ExceptionDest(Trap trap,
ThrowableSet throwables,
Block handler) |
| Modifier and Type | Field and Description |
|---|---|
protected java.util.Hashtable<Block,Region> |
RegionAnalysis.m_block2region |
| Modifier and Type | Method and Description |
|---|---|
java.util.Hashtable<Block,Region> |
RegionAnalysis.getBlock2RegionMap() |
java.util.List<Block> |
Region.getBlocks() |
java.util.List<Block> |
PDGRegion.getBlocks() |
java.util.List<Block> |
IRegion.getBlocks() |
| Modifier and Type | Method and Description |
|---|---|
void |
Region.add(Block b) |
void |
Region.add2Back(Block b) |
void |
Region.remove(Block b) |
| Constructor and Description |
|---|
Region(int id,
java.util.List<Block> blocks,
SootMethod m,
SootClass c,
UnitGraph ug) |
Copyright © 2012-2019 RoboVM AB. All Rights Reserved.