2008-02-22: Updated and reorganized User Manuals

Version 6.2 of the Bound-T User Manual was published today on the Bound-T website.

This version splits the manual into three parts:

• the User Guide (pdf),
• the Reference Manual (pdf), and
• the Assertion Language manual (pdf).

This split is meant to make the manual easier to handle and update. In the future, each of the three parts can be updated separately and at different times, as necessary.

At the same time, the manuals were updated and extended in several respects. The most important are listed below.

Updates to the User Guide:

• More examples of call-graph and flow-graph drawings from Bound-T.
• Extended discussion of stack-usage analysis, including the new ability to assert the stack usage or the final stack height.
• Additions to the glossary.

Updates to the Reference Manual:

• A new chapter on the "Analysis Process" shows an overview of how Bound-T analyses a program.
• Updates to the command-line options, outputs, and warning and error message descriptions.

Updates to the Assertion Language manual:

• Assertions on stack usage and final stack height.
• Assertion to "omit" a subprogram from the analysis.