Path to this page:
./
devel/cqual,
Tool for adding type qualifiers to C
Branch: pkgsrc-2022Q3,
Version: 0.991nb21,
Package name: cqual-0.991nb21,
Maintainer: pkgsrc-userscqual 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)
- (2022-09-26) Package added to pkgsrc.se, version cqual-0.991nb21 (created)