Automated Linux Error Checking

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."

Comments

Re:static_analysis++

[tcopeland]

> I'd like to know how you figured that code would have saved you "4 bytes"

Good question:

$ cat Bar.java Bar1.java && javac Bar.java Bar1.java && ls -l Bar*.class
public class Bar {
  public boolean foo(int x) {
    if (x>2) {
      return true;
    } else {
      return false;
    }
  }
}
public class Bar1 {
  public boolean foo(int x) {
    return x>2;
  }
}
-rw-rw-r-- 1 tom tom 244 Mar 6 11:53 Bar1.class
-rw-rw-r-- 1 tom tom 248 Mar 6 11:53 Bar.class

That's JDK 1.4 on Linux, perhaps newer javac versions do a better job...

Re:CTO passes the initial LKML scrutiny...

[kv9]

what difference? linux *is* a kernel.