mirror of
https://github.com/Stichting-MINIX-Research-Foundation/pkgsrc-ng.git
synced 2025-09-21 10:37:53 -04:00
6 lines
282 B
Plaintext
6 lines
282 B
Plaintext
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.
|