Splint is a tool for statically checking C programs for security vulnerabilities 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.
|
|
|
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| alpha | 917.7 kB | 3388 kB | [list of files] |
| amd64 | 862.9 kB | 2784 kB | [list of files] |
| arm | 766.3 kB | 2488 kB | [list of files] |
| hppa | 883.3 kB | 2844 kB | [list of files] |
| i386 | 808.4 kB | 2628 kB | [list of files] |
| ia64 | 1,222.6 kB | 4968 kB | [list of files] |
| mips | 835.2 kB | 3656 kB | [list of files] |
| mipsel | 833.3 kB | 3652 kB | [list of files] |
| powerpc | 805.9 kB | 2764 kB | [list of files] |
| s390 | 818.1 kB | 2760 kB | [list of files] |
| sparc | 772.9 kB | 2592 kB | [list of files] |