| Package | Description |
|---|---|
| org.evosuite.graphs.cdg | |
| org.evosuite.graphs.cfg |
| Constructor and Description |
|---|
DominatorTree(ControlFlowGraph<V> cfg)
Will start the computation of all immediateDominators for the given CFG
which can later be retrieved via getImmediateDominator()
|
| Modifier and Type | Class and Description |
|---|---|
class |
ActualControlFlowGraph
Supposed to become the new implementation of a control flow graph inside
EvoSuite
The "actual" CFG does not contain single cfg.BytecodeInstructions as nodes,
but contains cfg.BasicBlocks - look at that class for more information
Simply put this is a minimized version of the complete/raw CFG the
cfg.BytecodeAnalyzer and cfg.CFGGenerator produce - which holds a node for
every BytecodeInstruction
Out of the above described raw CFG the following "pin-points" are extracted:
1) the entryNode (first instruction in the method)
2) all exitNodes (outDegree 0)
3.1) all branches (outDegree>1) 3.2) in a subsequent step all targets of all
branches
4.1) all joins (inDegree>1) 4.2) in a subsequent step all sources of all
joins
All those "pin-points" are put into a big set (some of the above categories
may overlap) and for all those single BytecodeInstrucions their corresponding
BasicBlock is computed and added to this CFGs vertexSet.
|
class |
RawControlFlowGraph
Represents the complete CFG of a method
Essentially this is a graph containing all BytecodeInstrucions of a method as
nodes.
|
Copyright © 2010–2017 EvoSuite. All rights reserved.