Otawa
0.10
|
#include <otawa/cfg/CFGBuilder.h>
#include <otawa/cfg.h>
#include <otawa/prog/TextDecoder.h>
#include <otawa/prog/WorkSpace.h>
#include <otawa/loader/new_gliss/BranchInst.h>
#include <otawa/util/FlowFactLoader.h>
Namespaces | |
otawa | |
$Id$ Copyright (c) 2007, IRIT - UPS casse @iri t.fr | |
Functions | |
p::feature | otawa::CFG_INFO_FEATURE ("otawa::CFG_INFO_FEATURE", new Maker< CFGBuilder >()) |
Feature asserting that the CFG has been scanned in the program. More... | |