QTest is a perl-based test framework for testing programs written in any language. It supports a "design for testability" mentality, user-defined test coverage, filters, and multithreading support. Includes documentation.
Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.