PrevPrev UpUp NextNext

Extract the Information

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:

  1. Parsing and semantic analysis
  2. Linkage and global name resolution
  3. Computation of the control flow graph
  4. Resolution of pointers
  5. Detection of side effects
  6. Explicit representation of control and data dependencies
  7. 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