diff --git a/README.md b/README.md index 7478790..331bb86 100644 --- a/README.md +++ b/README.md @@ -1,2 +1,5 @@ # 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. + diff --git a/splint.spec b/splint.spec new file mode 100644 index 0000000..48d9987 --- /dev/null +++ b/splint.spec @@ -0,0 +1,50 @@ +Name: splint +Version: 3.1.2 +Release: 2mamba +Summary: A tool for statically checking C programs for vulnerabilities and coding mistakes +Group: Applications/Security +Vendor: openmamba +Distribution: openmamba +Packager: Aleph0 +URL: http://lclint.cs.virginia.edu/ +Source: http://www.splint.org/downloads/splint-%{version}.src.tgz +License: GPL +BuildRoot: %{_tmppath}/%{name}-%{version}-root + +%description +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. + +%prep +%setup -q + +%build +%configure +%make + +%install +[ "%{buildroot}" != / ] && rm -rf %{buildroot} +%makeinstall + +%clean +[ "%{buildroot}" != / ] && rm -rf %{buildroot} + +%files +%defattr(-,root,root) +%{_bindir}/splint +%dir %{_datadir}/splint +%{_datadir}/splint/imports/* +%{_datadir}/splint/lib/* +%{_mandir}/man1/splint.* +%doc README + +%changelog +* Thu Aug 22 2013 Automatic Build System 3.1.2-2mamba +- automatic rebuild by autodist + +* Fri Feb 15 2008 Aleph0 3.1.2-1mamba +- update to 3.1.2 +- new packager maintainer + +* Wed Oct 26 2005 Davide Madrisan 3.1.1-1qilnx +- package created by autospec