scan.coverity.com

说明（暂未翻译，以下为英文原文）

Static code analysis for Java, C/C++, C# and JavaScript, free for Open Source