| Splint - Secure Programming Lint | info@splint.org |
|
Download
-
Documentation
-
Manual
-
Links Source - Linux - Publications - Talks |
Reporting
Bugs -
Mailing
Lists |
|
Splint - Secure Programming Lint |
info@splint.org |
| Download - Documentation - Manual - Links | Reporting Bugs - Mailing Lists Sponsors - Credits |
Downloading Splint 3.1.0
Splint should compile (effortlessly) on any UNIX system with a Standard C compiler. A bit of effort may be required to port Splint to a non-UNIX platform.Source Code Distribution: http://www.splint.org/downloads/splint-3.1.0.tar.gz
Instructions
You should be able to install and execute this binary on any standard x86-based Linux system. We build and test it on RedHat 7.0.Linux x86 Binary Distribution: http://www.splint.org/downloads/binaries/splint-3.1.0.Linux.tgz
Instructions
|
|
|
||||||