org.evosuite.graphs.cfg

Class CFGGenerator

java.lang.Object

org.evosuite.graphs.cfg.CFGGenerator

public class CFGGenerator
extends Object

This classed is used to create the RawControlFlowGraph which can then be used to create the ActualControlFlowGraph When analyzing a CUT the BytecodeAnalyzer creates an instance of this class for each method contained in it This class's methods get called in the following order: - upon constructing, the method at hand is registered via registerMethodNode() which fills the BytecodeInstructionPool with all instructions inside that method - then registerControlFlowEdge() is called by the BytecodeAnalyzer for each possible transition from one byteCode instruction to another within the current method. In this step the CFGGenerator asks the BytecodeInstructionPool for the previously created instructions and fills up it's RawControlFlowGraph After those calls the RawControlFlowGraph of the method at hand is complete It should contain a Vertex for each BytecodeInstruction inside the specified method and an edge for every possible transition between these instructions

Author:

Andre Mis

Constructor Summary

Constructors

Constructor and Description

CFGGenerator(ClassLoader classLoader, String className, String methodName, org.objectweb.asm.tree.MethodNode node) Initializes this generator to generate the CFG for the method identified by the given parameters Calls registerMethodNode() which in turn calls BytecodeInstructionPool.registerMethodNode() leading to the creation of all BytecodeInstruction instances for the method at hand TODO might not want to give asm.MethodNode to the outside, but rather a MyMethodNode extended from BytecodeInstruction or something

Method Summary

Modifier and Type	Method and Description
ActualControlFlowGraph	computeActualCFG() Computes the ActualCFG with BasicBlocks rather then BytecodeInstructions for this RawCFG.
String	getClassName() Getter for the field className.
String	getMethodName() Getter for the field methodName.
protected RawControlFlowGraph	getRawGraph() Getter for the field rawGraph.
void	registerCFGs() Adds the RawControlFlowGraph created by this instance to the GraphPool, computes the resulting ActualControlFlowGraph
void	registerControlFlowEdge(int src, int dst, org.objectweb.asm.tree.analysis.Frame[] frames, boolean isExceptionEdge) Internal management of fields and actual building up of the rawGraph Is called by the corresponding BytecodeAnalyzer whenever it detects a control flow edge

Methods inherited from class java.lang.Object

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

Constructor Detail

CFGGenerator

public CFGGenerator(ClassLoader classLoader,
                    String className,
                    String methodName,
                    org.objectweb.asm.tree.MethodNode node)

Initializes this generator to generate the CFG for the method identified by the given parameters Calls registerMethodNode() which in turn calls BytecodeInstructionPool.registerMethodNode() leading to the creation of all BytecodeInstruction instances for the method at hand TODO might not want to give asm.MethodNode to the outside, but rather a MyMethodNode extended from BytecodeInstruction or something

Parameters:

className - a String object.

methodName - a String object.

node - a MethodNode object.

Method Detail

registerCFGs

public void registerCFGs()

Adds the RawControlFlowGraph created by this instance to the GraphPool, computes the resulting ActualControlFlowGraph

registerControlFlowEdge

public void registerControlFlowEdge(int src,
                                    int dst,
                                    org.objectweb.asm.tree.analysis.Frame[] frames,
                                    boolean isExceptionEdge)

Internal management of fields and actual building up of the rawGraph Is called by the corresponding BytecodeAnalyzer whenever it detects a control flow edge

Parameters:

src - a int.

dst - a int.

frames - an array of Frame objects.

isExceptionEdge - a boolean.

computeActualCFG

public ActualControlFlowGraph computeActualCFG()

Computes the ActualCFG with BasicBlocks rather then BytecodeInstructions for this RawCFG. See ActualControlFlowGraph and GraphPool for further details.

Returns:

a ActualControlFlowGraph object.

getRawGraph

protected RawControlFlowGraph getRawGraph()

Getter for the field rawGraph.

Returns:

a RawControlFlowGraph object.

getClassName

public String getClassName()

Getter for the field className.

Returns:

a String object.

getMethodName

public String getMethodName()

Getter for the field methodName.

Returns:

a String object.