org.evosuite.graphs.cfg

Class ActualControlFlowGraph

java.lang.Object

org.evosuite.graphs.EvoSuiteGraph<V,ControlFlowEdge>

org.evosuite.graphs.cfg.ControlFlowGraph<BasicBlock>

org.evosuite.graphs.cfg.ActualControlFlowGraph

public class ActualControlFlowGraph
extends ControlFlowGraph<BasicBlock>

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. After that the raw CFG is asked for the parents of the first instruction of each BasicBlock and the children of that blocks last instruction. Then the edges to their corresponding BasicBlocks are added to this CFG TODO: verify that this method works :D cfg.EvoSuiteGraph is used as the underlying data structure holding the graphical representation of the CFG WORK IN PROGRESS TODO implement

Author:

Andre Mis

Field Summary

Fields inherited from class org.evosuite.graphs.cfg.ControlFlowGraph

access, className, methodName

Fields inherited from class org.evosuite.graphs.EvoSuiteGraph

edgeClass, graph, graphId

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ActualControlFlowGraph(ActualControlFlowGraph toRevert) Constructor for ActualControlFlowGraph.
	ActualControlFlowGraph(RawControlFlowGraph rawGraph) Constructor for ActualControlFlowGraph.

Method Summary

Modifier and Type	Method and Description
protected void	addBlock(BasicBlock nodeBlock) addBlock
protected void	addRawEdge(BasicBlock src, BasicBlock target, ControlFlowEdge origEdge) addRawEdge
protected void	addRawEdge(BasicBlock src, BytecodeInstruction target, ControlFlowEdge origEdge) addRawEdge
protected void	addRawEdge(BytecodeInstruction src, BasicBlock target, ControlFlowEdge origEdge) addRawEdge
boolean	belongsToMethod(BytecodeInstruction instruction) belongsToMethod
void	checkSanity() checkSanity
ActualControlFlowGraph	computeReverseCFG() computeReverseCFG
boolean	containsInstruction(BytecodeInstruction v) Determines, whether a given instruction is contained in this CFG
BasicBlock	getBlockOf(BytecodeInstruction instruction) If the given instruction is known to this graph, the BasicBlock holding that instruction is returned.
Set<BytecodeInstruction>	getBranches() Getter for the field branches.
String	getCFGType() getCFGType
int	getDistance(BytecodeInstruction v1, BytecodeInstruction v2) getDistance
BytecodeInstruction	getEntryPoint() Getter for the field entryPoint.
Set<BytecodeInstruction>	getExitPoints() Getter for the field exitPoints.
BytecodeInstruction	getInstruction(int instructionId) Can be used to retrieve an instruction contained in this CFG identified by it's instructionId If no such instruction exists in this CFG, null is returned
Set<BytecodeInstruction>	getJoins() Getter for the field joins.
boolean	isDirectSuccessor(BytecodeInstruction v1, BytecodeInstruction v2) isDirectSuccessor
boolean	isEntryPoint(BasicBlock block) isEntryPoint
boolean	isExitPoint(BasicBlock block) isExitPoint
boolean	knowsInstruction(BytecodeInstruction instruction) Checks whether this graph knows the given instruction.

Methods inherited from class org.evosuite.graphs.cfg.ControlFlowGraph

computeDiameter, determineEntryPoint, dotSubFolder, finalise, getClassName, getCyclomaticComplexity, getDiameter, getMethodAccess, getMethodName, getName, isPublicMethod, isStaticMethod, leadsToNode

Methods inherited from class org.evosuite.graphs.EvoSuiteGraph

addEdge, addEdge, addVertex, addVertices, addVertices, computeReverseJGraph, containsEdge, containsEdge, containsVertex, determineBranches, determineConnectedVertices, determineEntryPoints, determineExitPoints, determineJoins, edgeCount, edgeSet, getChildren, getDistance, getEdge, getEdgeSource, getEdgeTarget, getIsolatedNodes, getNodesWithoutChildren, getParents, getRandomVertex, getSingleChild, hasNPartentsMChildren, incomingEdgesOf, inDegreeOf, isConnected, isDirectSuccessor, isEmpty, outDegreeOf, outgoingEdgesOf, redirectEdges, redirectEdgeSource, redirectEdgeTarget, redirectIncomingEdges, redirectOutgoingEdges, registerEdgeAttributeProvider, registerVertexAttributeProvider, toDot, toFileString, vertexCount, vertexSet

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ActualControlFlowGraph

public ActualControlFlowGraph(RawControlFlowGraph rawGraph)

Constructor for ActualControlFlowGraph.

Parameters:

rawGraph - a RawControlFlowGraph object.

ActualControlFlowGraph

protected ActualControlFlowGraph(ActualControlFlowGraph toRevert)

Constructor for ActualControlFlowGraph.

Parameters:

toRevert - a ActualControlFlowGraph object.

Method Detail

computeReverseCFG

public ActualControlFlowGraph computeReverseCFG()

computeReverseCFG

Returns:

a ActualControlFlowGraph object.

addBlock

protected void addBlock(BasicBlock nodeBlock)

addBlock

Parameters:

nodeBlock - a BasicBlock object.

addRawEdge

protected void addRawEdge(BytecodeInstruction src,
                          BasicBlock target,
                          ControlFlowEdge origEdge)

addRawEdge

Parameters:

src - a BytecodeInstruction object.

target - a BasicBlock object.

origEdge - a ControlFlowEdge object.

addRawEdge

protected void addRawEdge(BasicBlock src,
                          BytecodeInstruction target,
                          ControlFlowEdge origEdge)

addRawEdge

Parameters:

src - a BasicBlock object.

target - a BytecodeInstruction object.

origEdge - a ControlFlowEdge object.

addRawEdge

protected void addRawEdge(BasicBlock src,
                          BasicBlock target,
                          ControlFlowEdge origEdge)

addRawEdge

Parameters:

src - a BasicBlock object.

target - a BasicBlock object.

origEdge - a ControlFlowEdge object.

getBlockOf

public BasicBlock getBlockOf(BytecodeInstruction instruction)

If the given instruction is known to this graph, the BasicBlock holding that instruction is returned. Otherwise null will be returned.

Parameters:

instruction - a BytecodeInstruction object.

Returns:

a BasicBlock object.

knowsInstruction

public boolean knowsInstruction(BytecodeInstruction instruction)

Checks whether this graph knows the given instruction. That is there is a BasicBlock in this graph's vertexSet containing the given instruction.

Parameters:

instruction - a BytecodeInstruction object.

Returns:

a boolean.

getDistance

public int getDistance(BytecodeInstruction v1,
                       BytecodeInstruction v2)

getDistance

Parameters:

v1 - a BytecodeInstruction object.

v2 - a BytecodeInstruction object.

Returns:

a int.

isDirectSuccessor

public boolean isDirectSuccessor(BytecodeInstruction v1,
                                 BytecodeInstruction v2)

isDirectSuccessor

Parameters:

v1 - a BytecodeInstruction object.

v2 - a BytecodeInstruction object.

Returns:

a boolean.

isEntryPoint

public boolean isEntryPoint(BasicBlock block)

isEntryPoint

Parameters:

block - a BasicBlock object.

Returns:

a boolean.

isExitPoint

public boolean isExitPoint(BasicBlock block)

isExitPoint

Parameters:

block - a BasicBlock object.

Returns:

a boolean.

belongsToMethod

public boolean belongsToMethod(BytecodeInstruction instruction)

belongsToMethod

Parameters:

instruction - a BytecodeInstruction object.

Returns:

a boolean.

checkSanity

public void checkSanity()

checkSanity

containsInstruction

public boolean containsInstruction(BytecodeInstruction v)

Determines, whether a given instruction is contained in this CFG

Specified by:

containsInstruction in class ControlFlowGraph<BasicBlock>

Parameters:

v - a BytecodeInstruction object.

Returns:

a boolean.

getInstruction

public BytecodeInstruction getInstruction(int instructionId)

Can be used to retrieve an instruction contained in this CFG identified by it's instructionId If no such instruction exists in this CFG, null is returned

Specified by:

getInstruction in class ControlFlowGraph<BasicBlock>

Parameters:

instructionId - a int.

Returns:

a BytecodeInstruction object.

getEntryPoint

public BytecodeInstruction getEntryPoint()

Getter for the field entryPoint.

Returns:

a BytecodeInstruction object.

getExitPoints

public Set<BytecodeInstruction> getExitPoints()

Getter for the field exitPoints.

Returns:

a Set object.

getBranches

public Set<BytecodeInstruction> getBranches()

Getter for the field branches.

Returns:

a Set object.

getJoins

public Set<BytecodeInstruction> getJoins()

Getter for the field joins.

Returns:

a Set object.

getCFGType

public String getCFGType()

getCFGType

Specified by:

getCFGType in class ControlFlowGraph<BasicBlock>

Returns:

a String object.