Otawa
0.10
|
Go to the source code of this file.
Classes | |
class | otawa::CFGProcessor |
This is a specialization of the processor class dedicated to CFG processing. More... | |
Namespaces | |
otawa | |
$Id$ Copyright (c) 2007, IRIT - UPS casse @iri t.fr | |
Variables | |
Identifier< bool > | otawa::RECURSIVE |
Activate the recucursive feature of BBProcessors : each time a basic block contains a function call, the CFG of this function is recorded to be processed later after the current CFG. More... | |
Identifier< int > | otawa::PROCESSED_CFG |
This property is used to store statistics about the count of processed CFG. More... | |