BSD Portsdevel/splint 3.1.2nb3 NetBSD
Statically check C programs
- System
- NetBSD
- Repository
- pkgsrc
- Maintainer
- [email protected]
- License
- gnu-gpl-v2
- Categories
- devel
- Package size
- 1224.8 KiB, 4061.6 KiB installed
Description
Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done by any standard lint.
Splint 3.0 is the successor to LCLint 2.5.
In the other systems
| System | Port | Version |
|---|---|---|
| NetBSD | devel/splint | 3.1.2nb3 |
| FreeBSD | devel/splint | 3.1.2_1 |
| OpenBSD | devel/splint | 3.1.2p1 |
| DragonFly | devel/splint | 3.1.2_1 |
| MidnightBSD | devel/splint | 3.1.2_1 |
Install
Binary package:
pkgin install splintFrom pkgsrc:
cd /usr/pkgsrc/devel/splint && make install cleanDependencies
No port depends on this one.