Prev
Up
Next
Before
other Bauhaus analyses come into play, the source code is analyzed by
a pipe of Bauhaus tools. Every stage extracts deeper knowledge on the
program:
- Parsing and
semantic analysis
- Linkage and
global name resolution
- Computation of
the control flow graph
- Resolution of
pointers
- Detection of side
effects
- Explicit
representation of control and data dependencies
- Extraction of
global declarations and their dependencies as a graph
All the steps are
completely automatic. You may reuse your makefiles of your
project.
Last modified: Tue Aug 26 10:44:00 MET DST 2003