Autobuild is a package that processes output from building software, primarily focused on packages using Autoconf and Automake, and generates HTML summaries. The output includes project name, version, build host types, build host name, and indication of success or failure. The output is indexed in many ways to simplify browsing.
Jamit (Java Access Modifiers Inference Tool) allows you to infer tighter access modifiers for Java code. Analyzing bytecode, it can find out if fields or methods may be declared private, default, protected, or final. Engineering software with Jamit can thus help increase hiding and keep interfaces as small as possible. The most useful application for Jamit is dead code elimination. Jamit can be used to find out which methods and classes are unreachable and automatically eliminate the corresponding code, saving space for binary distributions.
Code Analyzer is a software source file metrics application. Metrics calculated include total files (for multiple file metrics), total lines, code lines, comment lines, whitespace lines, average line length, code lines/file (for multiple file metrics), comment lines/file (for multiple file metrics), code/comments ratio, code/whitespace ratio, and code/(comments + whitespace) ratio. It includes built-in comment and file extension definitions for: C, C++, Java, HTML, and assembly.
glibc-audit is a modified version of glibc for application developers who check their code with an automatic memory access checker such as Purify, Insure++, or valgrind. glibc-audit has been audited and cleaned up so that reports from the developer's use of a memory access checker are more likely to be interesting to the developer, with less "noise" from the C library itself. Also, the r_debug.r_brk protocol has been enhanced to co-operate with a co-resident auditor.
Sparse is a semantic parser of source files. It's neither a compiler (although it could be used as a front-end for one) nor a preprocessor (although it contains a preprocessing phase). It is meant to be a small, simple, easy to use library. Its function is to create a semantic parse tree for some arbitrary user for further analysis. It's not a tokenizer, nor is it a generic context-free parser. Context (semantics) is what it's all about: figuring out not just what the grouping of tokens are, but what the types are that the grouping implies.
SVNChecker is a framework for Subversion pre-commit hooks in order to implement checks of the to-be-committed files before they are committed. For example, you can check for the code style or unit tests. The output of the checks can be send by mail, written to a file, or simply printed to the console.
SMATCH is a neat program designed to locate programming errors in any open source software project. Right now it is actively used to screen out errors inside the Linux kernel. There are two main parts to Smatch. The first is a patch to the gcc sources to screen out a lot of useful information. The second part is a collection of Perl scripts and libraries to analyze the information and report the findings.