cqual is a typed-based analysis tool for finding bugs in C programs. It extends the type system of C with extra user-defined type qualifiers. The programmer annotates their program with the appropriate qualifiers, and cqual checks for errors. Incorrect annotations indicate potential bugs. cqual presents the analysis results using Program Analysis Mode, an emacs-based GUI. Among other applications, cqual can be used to detect potential format-string vulnerabilities and to detect user-space/kernel-space pointer errors.
|Tags||Software Development Quality Assurance|
Release Notes: This release includes direct support for checking for user-space/kernel-space pointer errors. It also includes polymorphic recursive qualifier inference, which makes the analysis more precise in many instances. Many general usability improvements were made, including better error messages, smarter presentation of error message paths, and better handling of type casts.
No changes have been submitted for this release.