2007-10-31: Updated User Manual
Version 6.1 of the
User Manual (pdf) was
published today on the Bound-T website.
This is a minor update that explains some new command-line options:
- The -alone option makes Bound-T analyse only the
named "root" subprogram, not its callees.
- The -arith_ref option lets the user control which
dynamic memory references are analysed with the Presburger