Home
Catalogue
FAQ
What's New?
Search for a package
Package name
Description
Author
Search Term
Case Sensitive
Locator:
Home
>
Catalogue
>
splint-3.1.2
splint-3.1.2
Tool for checking security and coding mistakes
Description:
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
>
Home URL:
http://www.splint.org/
License:
GNU General Public License v2
Installation Tree:
/usr/local
Languages used:
C
Build-time dependencies:
flex
gettext
libiconv
m4
make
Run-time dependencies:
flex
gettext
libiconv
m4
Documentation:
Installation
README
Man Page
Downloads for splint-3.1.2 (
Help!
) - why not use
depothelper
?
Operating System
Architecture
Package Type
Package Size
Date Archived
View Contents?
Download
HP-UX 11i v3
(HP-UX 11.31)
Itanium 2
Gzipped
Binary Depot
1.82 MB
11 Oct 2010
Yes
[HTTP]
[FTP]
HP-UX 11i v2
(HP-UX 11.23)
Itanium 2
Gzipped
Binary Depot
1.82 MB
11 Oct 2010
Yes
[HTTP]
[FTP]
HP-UX 11i v3
(HP-UX 11.31)
PA-RISC 2.0
Gzipped
Binary Depot
962 K
11 Oct 2010
Yes
[HTTP]
[FTP]
HP-UX 11i v2
(HP-UX 11.23)
PA-RISC 2.0
Gzipped
Binary Depot
963 K
11 Oct 2010
Yes
[HTTP]
[FTP]
HP-UX 11i v1
(HP-UX 11.11)
PA-RISC 2.0
Gzipped
Binary Depot
962 K
11 Oct 2010
Yes
[HTTP]
[FTP]
HP-UX
-
Tarred/Gzipped
Source Code
2.24 MB
11 Oct 2010
No
[HTTP]
[FTP]
Home
|
Catalogue
|
FAQ
|
What's New?
|
Contact Us
