Numerous enhancements were made, including
improved accuracy of the bounds checking code,
HTML and CSV output, and support for numabstract
types. Numerous bugfixes and house-keeping
updates were also made. Additional security
checks were introduced, including the addition
of messagestream, warningstream, and errorstream
control flags, and support for +longint and
+shortint flags. The type checking was also
changed accordingly.
This release adds support for detection of security vulnerabilities
(including buffer overflows) and extensible checks and annotations,
support for ISO C99, and bugfixes.
