Bauhaus Toolkit

We proudly announce that Bauhaus received a prize at the DoIT Award 2003 for outstanding scientific achievements of universities in the German state Baden-Württemberg. Form your own opinion and join us for a ride through the world of program analysis and architecture reconstruction with Bauhaus. This guided tour illustrates the Bauhaus capabilities by analyzing a real system.

A guide on the guide (tips on this guided tour): Below you find the sections of this guided tour. All the pages in these sections have three buttons at their top. These buttons take you from one section to the next or previous one or back to this page, respectively.

We recommend to start with the first link "About Bauhaus" and then simply to continue with the "Next" button. This gives you a complete journey through Bauhaus. Alternatively, if you have little time, you may just check out those sections tagged to visit the most interesting corners of Bauhaus.

Off you go. Have a great journey.

Disclaimer: The Bauhaus toolkit has been successfully used to help in real industrial settings on large and complex programs. Yet, Bauhaus is also a research framework with more experimental features: We are not just using advanced technology, we are also inventing it. We ship experimental parts of Bauhaus only upon specific request. The mature parts are marked with a blue rectangle in the following list, the experimental parts with a black rectangle.

About Bauhaus Background about Bauhaus
The unknown system Background about the system to be analyzed in this guided tour
Program Analyses Analyze your source text Extraction Extract the information Understanding Resolve pointers Uncover side effects Uncover control and data dependencies Distinguish harmless pointers Code anomalies Detect duplicated code Measure code attributes Detect dead code Error detection Find uninitialized variables Trace objects statically	Architectural understanding Reconstruct and analyze your software architecture Component mining Component interfaces and dependencies Architecture resonstruction and validation Feature location

Institute of Software Technology, University of Stuttgart