All releases of cqual

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.