This is cqual, a type qualifier inference system for C.  

Specific instructions for using cqual to check the linux kernel can be
found in KERNEL-QUICKSTART.

To build cqual, you need
- gcc
- emacs (cqual has some code generators written in elisp)
- perl

To install cqual, run configure and then make:

	./configure
	make

and, as root,

	make install

If all goes well, the makefile will build two executables in the src
directory:  cqual, the type qualifier inference system, and iquals, a
small tool for experimenting with qualifier constraints.  The makefile
will also build PAM (Program Analysis Mode for emacs) and append some
commands to your .emacs file so that you can run cqual using PAM.

See examples/README for a walkthrough of a small example.  Full
documentation can be found in doc/user-guide.{ps,pdf}.  

This is a beta version of cqual.  See Appendix A of the documentation
for known bugs and limitations.

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.
