BSD Portsdevel/cqual 0.991nb21 NetBSD
Tool for adding type qualifiers to C
- System
- NetBSD
- Repository
- pkgsrc
- Maintainer
- [email protected]
- Last update
- Commit
c340ad3513- Categories
- devel
- Package size
- 676.0 KiB, 2892.4 KiB installed
Description
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.
Install
Binary package:
pkgin install cqualFrom pkgsrc:
cd /usr/pkgsrc/devel/cqual && make install cleanPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | Version |
|---|---|
| NetBSD 10.1 x86_64 | 0.991nb21 |
| NetBSD 10.1 aarch64 | 0.991nb21 |
| SmartOS / illumos x86_64 | 0.991nb21 |
| macOS 15 arm64 | 0.991nb21 |
Dependencies
Run dependencies 2
No port depends on this one.