BSD Portsdevel/splint 3.1.2_1 DragonFly
Tool for statically checking sourcecode for security vulnerabilities
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- GPLv2+
- Categories
- devel, security
- Package size
- 651.3 KiB, 2582.0 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.
In the other systems
| System | Port | Version |
|---|---|---|
| DragonFly | devel/splint | 3.1.2_1 |
| FreeBSD | devel/splint | 3.1.2_1 |
| OpenBSD | devel/splint | 3.1.2p1 |
| NetBSD | devel/splint | 3.1.2nb3 |
| MidnightBSD | devel/splint | 3.1.2_1 |
| HardenedBSD | devel/splint | 3.1.2_1 |
| GhostBSD | devel/splint | 3.1.2_1 |
Install
Binary package:
pkg install splintFrom DPorts:
cd /usr/dports/devel/splint && make install cleanDependencies
No port depends on this one.