Splint
Static checking of C programs for security and coding mistakes
Squale
Open source software quality assessment
Testbed
Static and dynamic analysis engine of the LDRA tool suite
VectorCAST
Unit, integration and coverage testing for embedded C, C++ and Ada
Web Link Validator
Link checker and website analysis
XHTMLUnit
Testing and validation of generated XHTML