./devel/cqual, Tool for adding type qualifiers to C

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: pkgsrc-2017Q2, Version: 0.991nb14, Package name: cqual-0.991nb14, Maintainer: pkgsrc-users

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.


Master sites:

SHA1: f559af6947465ca242f19c1f499c7cb004e713e4
RMD160: e3837a11c75f750196ec4be7f991ec519c1260f6
Filesize: 1169.625 KB

Version history: (Expand)