blob: d799f8b97b70dc0786d4fb38e32346a337fa1b54 (
plain)
1
2
3
4
5
|
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.
|
