Home > Repositories > base > splint
Splint (Secure Programming Lint) 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.
splint: A tool for statically checking C programs for vulnerabilities and coding mistakes
Splint (Secure Programming Lint) 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.
| Name: | splint |
| Release: | 3.1.2-2mamba |
| Group: | Applications/Security |
| Maintainer: | aleph0 |
| License: | GPL |
| Size: | 2.18 MB |
| Upstream URL: | http://lclint.cs.virginia.edu/ |
| Build time: | 2013-08-22 03:45:36 |
Binary packages and requirements
| i586 | |
|---|---|
| Built RPMS | splint |
| Build requirements |
History of changes
| Date | Packager | Release | Description |
|---|---|---|---|
| 2013-08-22 | autodist | 3.1.2-2mamba | - automatic rebuild by autodist |
