Release Notes: 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.
Release Notes: This release adds support for detection of security vulnerabilities (including buffer overflows) and extensible checks and annotations, support for ISO C99, and bugfixes.
Release Notes: Bug fixes and minor enhancements.