Commit graph

2 commits

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