diff options
| author | rillig <rillig> | 2006-01-11 03:12:38 +0000 |
|---|---|---|
| committer | rillig <rillig> | 2006-01-11 03:12:38 +0000 |
| commit | 75e39465cc442399d18169c8e6600bca8f45958b (patch) | |
| tree | 6e6645369882942a28f7979796a82f21bf01296c /pkgtools/dfdisk | |
| parent | eb0909b652e1673f8f3a74228448a003aaa0fe87 (diff) | |
| download | pkgsrc-75e39465cc442399d18169c8e6600bca8f45958b.tar.gz | |
Imported cqual.
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.
Diffstat (limited to 'pkgtools/dfdisk')
0 files changed, 0 insertions, 0 deletions