Projects / cqual

cqual

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
Licenses
Implementation

Recent releases

  •  11 Sep 2003 02:54

    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.

    •  13 Sep 2001 15:03

      No changes have been submitted for this release.

      Screenshot

      Project Spotlight

      OpenStack4j

      A Fluent OpenStack client API for Java.

      Screenshot

      Project Spotlight

      TurnKey TWiki Appliance

      A TWiki appliance that is easy to use and lightweight.