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 libunistring m4        
Build-time dependencies:
flex gettext libiconv libunistring m4 make      
Operating System Architecture Package Type Package Size Date Archived View Contents? Download
HP-UX 11i v3
(HP-UX 11.31)
64-bit Itanium 2Gzipped
Binary Depot
1.80 MB19 Apr 2018YesHTTP FTP
HP-UX 11i v3
(HP-UX 11.31)
 Deprecated 
32-bit Itanium 2Gzipped
Binary Depot
1.82 MB11 Oct 2010YesHTTP FTP
HP-UX 11.23
 Deprecated 
32-bit Itanium 2Gzipped
Binary Depot
1.82 MB11 Oct 2010YesHTTP FTP
HP-UX 11i v3
(HP-UX 11.31)
 Deprecated 
32-bit PA-RISC 2.0Gzipped
Binary Depot
963 K19 Apr 2018YesHTTP FTP
HP-UX 11.23
 Deprecated 
32-bit PA-RISC 2.0Gzipped
Binary Depot
963 K11 Oct 2010YesHTTP FTP
HP-UX 11.11
 Deprecated 
32-bit PA-RISC 2.0Gzipped
Binary Depot
962 K11 Oct 2010YesHTTP FTP
HP-UX -Tarred/Gzipped
Source Code
2.24 MB19 Apr 2018NoHTTP FTP