Automated Linux Error Checking

Posted by ryuzaki0 on Monday March 6, 2006 @04:09AM from the see-what-they-produce dept.

Caydel writes "In a recent message to the Linux Kernel Mailing List (LKML), Ben Chelf, CTO of Coverity, Inc. announced an internal framework to continually scan open source projects for source defects and provide the results of their analysis back to the developers of those projects. The linux kernel is one of 32 open source projects monitored by Coverity. Coverity is looking for a few group-nominated maintainers to access the reports, in order to patch the bugs found before they are announced to the general public. For those not familiar with Coverity, they are a small company out of Stanford who monitor source code correctness through automatic static source code analysis."

2 of 25 comments (clear)

Min score:

Reason:

Sort:

CTO passes the initial LKML scrutiny... by tcopeland · 2006-03-06 04:15 · Score: 3, Insightful

....he makes some polite, reasonable replies to the answers to his post. Nice to see.

--
The Army reading list
Re:static_analysis++ by jreiser · 2006-03-06 05:17 · Score: 3, Insightful

If it saves 4 bytes then the compiler's optimizer needs some improvement. The code as written has some advantages for debugging of control flow at low optimization levels. [I did quite a lot of such by-hand code improvement--25 years ago.]