2 Commits (6268fc7634a5a928d004cee0c4514874cc37b840)

Author	SHA1	Message	Date
Martin Kühl	e65289eb4a	Deparalellize `splint`. ... Signed-off-by: Adam Vandenberg <flangy@gmail.com> * Also tweak for Homebrew style	2010-09-08 09:22:01 -07:00
Zifei Tong	8c7b434a54	New formula: splint ... 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. Signed-off-by: David Höppner <0xffea@gmail.com> * remove white space * improve commit message	2010-08-29 13:18:28 +02:00