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.
- Author: David Evans <evans@cs.virginia.edu>
- Installation Tree: /usr/local
- License: GNU General Public License v2
- Home URL: http://www.splint.org/
- Languages used: C
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 2 | Gzipped Binary Depot | 1.80 MB | 19 Apr 2018 | Yes | HTTP FTP |
| HP-UX 11i v3 (HP-UX 11.31) Deprecated | 32-bit Itanium 2 | Gzipped Binary Depot | 1.82 MB | 11 Oct 2010 | Yes | HTTP FTP |
| HP-UX 11.23 Deprecated | 32-bit Itanium 2 | Gzipped Binary Depot | 1.82 MB | 11 Oct 2010 | Yes | HTTP FTP |
| HP-UX 11i v3 (HP-UX 11.31) Deprecated | 32-bit PA-RISC 2.0 | Gzipped Binary Depot | 963 K | 19 Apr 2018 | Yes | HTTP FTP |
| HP-UX 11.23 Deprecated | 32-bit PA-RISC 2.0 | Gzipped Binary Depot | 963 K | 11 Oct 2010 | Yes | HTTP FTP |
| HP-UX 11.11 Deprecated | 32-bit PA-RISC 2.0 | Gzipped Binary Depot | 962 K | 11 Oct 2010 | Yes | HTTP FTP |
| HP-UX | - | Tarred/Gzipped Source Code | 2.24 MB | 19 Apr 2018 | No | HTTP FTP |
