ControlDependenceGraph.hh File Reference

#include <map>
#include "CompilerWarnings.hh"
#include <boost/graph/reverse_graph.hpp>
#include "BaseType.hh"
#include "Exception.hh"
#include "NullAddress.hh"
#include "BoostGraph.hh"
#include "ControlFlowGraph.hh"
#include "ControlDependenceEdge.hh"
#include "ControlDependenceNode.hh"
#include "hash_set.hh"

Include dependency graph for ControlDependenceGraph.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	ControlDependenceGraph

Detailed Description

Declaration of prototype control dependence graph of TTA program representation.

Known limitations are:

• can not create CDG for procedure with indirect jump - multiple out edges to basic blocks in CFG without edge predicates
• can not create CDG for procedure with unreachable basic block - crt0 with missing fall through edge after calling __exit

Author

Andrea Cilio 2005 (cilio-no.spam-cs.tut.fi)

Vladimir Guzma 2006 (vladimir.guzma-no.spam-tut.fi)

Note

rating: red

Definition in file ControlDependenceGraph.hh.