Name: | splint |
---|---|
Version: | 3.1.1 |
Release: | 16.el5 |
Architecture: | i386 |
Group: | Development/Tools |
Size: | 3335945 |
License: | GPL |
RPM: | splint-3.1.1-16.el5.i386.rpm |
Source RPM: | splint-3.1.1-16.el5.src.rpm |
Build Date: | Wed Jun 06 2007 |
Build Host: | ca-build14 |
Vendor: | Oracle USA |
URL: | http://www.splint.org/ |
Summary: | An implementation of the lint program |
Description: | Splint is a tool for statically checking C programs for coding errors and security vulnerabilities. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform even stronger checks than can be done by any standard lint. |