rpms/splint
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
A tool for statically checking C programs for vulnerabilities and coding mistakes http://lclint.cs.virginia.edu/
2 Commits 1 Branch 1 Tag 30 KiB
RPM Spec 100%
main
Go to file
Automatic Build System 0738c80447 automatic rebuild by autodist [release 3.1.2-2mamba;Thu Aug 22 2013]
2024-01-05 18:04:24 +01:00
README.md automatic rebuild by autodist [release 3.1.2-2mamba;Thu Aug 22 2013] 2024-01-05 18:04:24 +01:00
splint.spec automatic rebuild by autodist [release 3.1.2-2mamba;Thu Aug 22 2013] 2024-01-05 18:04:24 +01:00

README.md

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.