This is cqual, a type qualiifer inference system for C.  See the user
manual in doc/user-guide.ps for a full description of cqual.

This is a beta version of cqual.  While cqual is a generic tool
intended for many kinds of type qualifier systems, this version of the
code is tuned to find format-string vulnerabilities, as described in
(Shankar et al, USENIX SECURITY'01).

cqual is distributed under the GNU General Public License. See the
COPYRIGHT and COPYING files for more details. Note that the region
library (libcompat/) is not distributed under the GNU General Public
License. See that directory for details.

cqual is based on the C front-end used in David Gay's Region Compiler,
which is in turn based on the GNU C Compiler.
