splint-3.1.2

Tool for checking security 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.

There are run-time dependencies that need to be installed first. Why not use depothelper to install them all in one go?

Dependencies
Run-time dependencies:
flex gettext libiconv m4 libunistring        
Build-time dependencies:
flex gettext libiconv libunistring m4 make      
Operating System Architecture Package Type Package Size Date Archived View Contents? Download
HP-UX 11i 11i v3
(HP-UX 11.31)
Itanium 2Gzipped
Binary Depot
1.82 MB11 Oct 2010YesHTTP FTP
HP-UX 11i 11i v2
(HP-UX 11.23)
Itanium 2Gzipped
Binary Depot
1.82 MB11 Oct 2010YesHTTP FTP
HP-UX 11i 11i v3
(HP-UX 11.31)
PA-RISC 2.0Gzipped
Binary Depot
962 K11 Oct 2010YesHTTP FTP
HP-UX 11i 11i v2
(HP-UX 11.23)
PA-RISC 2.0Gzipped
Binary Depot
963 K11 Oct 2010YesHTTP FTP
HP-UX 11i 11i v1
(HP-UX 11.11)
PA-RISC 2.0Gzipped
Binary Depot
962 K11 Oct 2010YesHTTP FTP
HP-UX 11i -Tarred/Gzipped
Source Code
2.24 MB11 Oct 2010NoHTTP FTP