Commit Graph

2 Commits (db55fcfd54e6ece29993e462faad15a8a2c04ffe)

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