f6ae07692d
cqual is a type-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 in a few places, and cqual performs qualifier inference to check whether the annotations are correct.
33 lines
963 B
Text
33 lines
963 B
Text
@comment $NetBSD: PLIST,v 1.1.1.1 2006/01/11 03:12:38 rillig Exp $
|
|
bin/cqual
|
|
bin/gcqual
|
|
bin/iquals
|
|
bin/kqual
|
|
bin/oldcqual
|
|
bin/oldiquals
|
|
bin/parser
|
|
bin/remblanks
|
|
bin/remquals
|
|
bin/rinf
|
|
info/pam-mode.info
|
|
share/cqual/lattice
|
|
share/cqual/linux-syscalls.cq
|
|
share/cqual/prelude.cq
|
|
share/cqual/proto-noderef.cq
|
|
share/emacs/site-lisp/cqual/avltree.el
|
|
share/emacs/site-lisp/cqual/cqual-pam.el
|
|
share/emacs/site-lisp/cqual/elib-node.el
|
|
share/emacs/site-lisp/cqual/pam-3.el
|
|
share/emacs/site-lisp/cqual/pam-blob.el
|
|
share/emacs/site-lisp/cqual/pam-copyright.el
|
|
share/emacs/site-lisp/cqual/pam-executions.el
|
|
share/emacs/site-lisp/cqual/pam-faces.el
|
|
share/emacs/site-lisp/cqual/pam-hyper.el
|
|
share/emacs/site-lisp/cqual/pam-overlays.el
|
|
share/emacs/site-lisp/cqual/pam-util.el
|
|
share/emacs/site-lisp/cqual/pam-vars.el
|
|
share/emacs/site-lisp/cqual/pam-window.el
|
|
share/emacs/site-lisp/cqual/stack-m.el
|
|
@dirrm share/emacs/site-lisp/cqual
|
|
@dirrm share/emacs/site-lisp
|
|
@dirrm share/cqual
|