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

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


Branch: pkgsrc-2021Q4, Version: 0.991nb19, Package name: cqual-0.991nb19, 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:

Filesize: 1169.625 KB

Version history: (Expand)