org.evosuite.graphs.cfg

Class RawControlFlowGraph

java.lang.Object

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

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

org.evosuite.graphs.cfg.RawControlFlowGraph

public class RawControlFlowGraph
extends ControlFlowGraph<BytecodeInstruction>

Represents the complete CFG of a method Essentially this is a graph containing all BytecodeInstrucions of a method as nodes. From each such instruction there is an edge to each possible instruction the control flow can reach immediately after that instruction.

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

Constructor and Description
RawControlFlowGraph(ClassLoader classLoader, String className, String methodName, int access) Constructor for RawControlFlowGraph.

Method Summary

Modifier and Type	Method and Description
protected ControlFlowEdge	addEdge(BytecodeInstruction src, BytecodeInstruction target, boolean isExceptionEdge) addEdge
boolean	addVertex(BytecodeInstruction ins) addVertex
boolean	containsInstruction(BytecodeInstruction instruction) Determines, whether a given instruction is contained in this CFG
BasicBlock	determineBasicBlockFor(BytecodeInstruction instruction) determineBasicBlockFor
BytecodeInstruction	determineEntryPoint() determineEntryPoint
Set<BytecodeInstruction>	determineExitPoints() determineExitPoints
List<BytecodeInstruction>	determineMethodCalls() determineMethodCalls
List<BytecodeInstruction>	determineMethodCallsToOwnClass() determineMethodCallsToOwnClass
String	getCFGType() getCFGType
ClassLoader	getClassLoader()
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
BytecodeInstruction	getInstructionWithBiggestId() getInstructionWithBiggestId
BytecodeInstruction	getInstructionWithSmallestId() getInstructionWithSmallestId
Set<BytecodeInstruction>	getLaterInstructionsInMethod(BytecodeInstruction v) Returns the Set of BytecodeInstructions that can potentially be executed from passing the given BytecodeInstruction until the end of the method of this CFG is reached.
Set<BytecodeInstruction>	getPreviousInstructionsInMethod(BytecodeInstruction v) Returns the Set of BytecodeInstructions that can potentially be executed from entering the method of this CFG until the given BytecodeInstruction is reached.
Set<Use>	getUsesForDef(Definition def) getUsesForDef
boolean	hasDefClearPath(DefUse targetDU, Set<String> handle) Checks if the given DefUse has a definition-clear path to its methods exit
boolean	hasDefClearPathFromMethodEntry(Use duVertex) hasDefClearPathFromMethodEntry
boolean	hasDefClearPathToMethodExit(Definition duVertex) hasDefClearPathToMethodExit
int	removeIsolatedNodes() In some cases there can be isolated nodes within a CFG.
String	toString()

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

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

Methods inherited from class org.evosuite.graphs.EvoSuiteGraph

addEdge, addEdge, addVertices, addVertices, computeReverseJGraph, containsEdge, containsEdge, containsVertex, determineBranches, determineConnectedVertices, determineEntryPoints, 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, wait, wait, wait

Constructor Detail

RawControlFlowGraph

public RawControlFlowGraph(ClassLoader classLoader,
                           String className,
                           String methodName,
                           int access)

Constructor for RawControlFlowGraph.

Parameters:

className - a String object.

methodName - a String object.

access - a int.

Method Detail

getClassLoader

public ClassLoader getClassLoader()

Returns:

the classLoader

containsInstruction

public boolean containsInstruction(BytecodeInstruction instruction)

Determines, whether a given instruction is contained in this CFG

Specified by:

containsInstruction in class ControlFlowGraph<BytecodeInstruction>

Parameters:

instruction - 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<BytecodeInstruction>

Parameters:

instructionId - a int.

Returns:

a BytecodeInstruction object.

addEdge

protected ControlFlowEdge addEdge(BytecodeInstruction src,
                                  BytecodeInstruction target,
                                  boolean isExceptionEdge)

addEdge

Parameters:

src - a BytecodeInstruction object.

target - a BytecodeInstruction object.

isExceptionEdge - a boolean.

Returns:

a ControlFlowEdge object.

determineBasicBlockFor

public BasicBlock determineBasicBlockFor(BytecodeInstruction instruction)

determineBasicBlockFor

Parameters:

instruction - a BytecodeInstruction object.

Returns:

a BasicBlock object.

determineEntryPoint

public BytecodeInstruction determineEntryPoint()

determineEntryPoint

Overrides:

determineEntryPoint in class ControlFlowGraph<BytecodeInstruction>

Returns:

a V object.

determineExitPoints

public Set<BytecodeInstruction> determineExitPoints()

determineExitPoints

Overrides:

determineExitPoints in class EvoSuiteGraph<BytecodeInstruction,ControlFlowEdge>

Returns:

Set containing all nodes with out degree 0

getInstructionWithSmallestId

public BytecodeInstruction getInstructionWithSmallestId()

getInstructionWithSmallestId

Returns:

a BytecodeInstruction object.

getInstructionWithBiggestId

public BytecodeInstruction getInstructionWithBiggestId()

getInstructionWithBiggestId

Returns:

a BytecodeInstruction object.

removeIsolatedNodes

public int removeIsolatedNodes()

In some cases there can be isolated nodes within a CFG. For example in an completely empty try-catch-finally. Since these nodes are not reachable but cause trouble when determining the entry point of a CFG they get removed.

Returns:

a int.

getPreviousInstructionsInMethod

public Set<BytecodeInstruction> getPreviousInstructionsInMethod(BytecodeInstruction v)

Returns the Set of BytecodeInstructions that can potentially be executed from entering the method of this CFG until the given BytecodeInstruction is reached.

Parameters:

v - a BytecodeInstruction object.

Returns:

a Set object.

getLaterInstructionsInMethod

public Set<BytecodeInstruction> getLaterInstructionsInMethod(BytecodeInstruction v)

Returns the Set of BytecodeInstructions that can potentially be executed from passing the given BytecodeInstruction until the end of the method of this CFG is reached.

Parameters:

v - a BytecodeInstruction object.

Returns:

a Set object.

getUsesForDef

public Set<Use> getUsesForDef(Definition def)

getUsesForDef

Parameters:

def - a Definition object.

Returns:

a Set object.

hasDefClearPathToMethodExit

public boolean hasDefClearPathToMethodExit(Definition duVertex)

hasDefClearPathToMethodExit

Parameters:

duVertex - a Definition object.

Returns:

a boolean.

hasDefClearPathFromMethodEntry

public boolean hasDefClearPathFromMethodEntry(Use duVertex)

hasDefClearPathFromMethodEntry

Parameters:

duVertex - a Use object.

Returns:

a boolean.

hasDefClearPath

public boolean hasDefClearPath(DefUse targetDU,
                               Set<String> handle)

Checks if the given DefUse has a definition-clear path to its methods exit

Parameters:

targetDU - a DefUse object.

handle - a Set object.

Returns:

a boolean.

toString

public String toString()

Overrides:

toString in class Object

getCFGType

public String getCFGType()

getCFGType

Specified by:

getCFGType in class ControlFlowGraph<BytecodeInstruction>

Returns:

a String object.

determineMethodCalls

public List<BytecodeInstruction> determineMethodCalls()

determineMethodCalls

Returns:

a List object.

determineMethodCallsToOwnClass

public List<BytecodeInstruction> determineMethodCallsToOwnClass()

determineMethodCallsToOwnClass

Returns:

a List object.

addVertex

public boolean addVertex(BytecodeInstruction ins)

addVertex

Overrides:

addVertex in class EvoSuiteGraph<BytecodeInstruction,ControlFlowEdge>

Parameters:

ins - a V object.

Returns:

a boolean.