Category: Static Testing

Sparse, the semantic parser, provides a compiler frontend capable of parsing most of ANSI C as well as many GCC…

Read More

Gendarme is a extensible rule-based tool to find problems in .NET applications and libraries. Gendarme inspects programs and libraries that…

Read More

Browsera tests and reports cross-browser layout differences and scripting errors on your site.

Read More

nsiqcppstyle is aiming to provide the extensible / easy use / highly maintainable coding style checker for C/C++ source code.…

Read More

CodeCheck Version  is a programmable tool for managing all C and C++ source code on a file or project basis.…

Read More

XHTMLUnit builds on JUnit and XMLUnit in order to provide testing and validation of generated (and static) XHTML code.

Read More

JSpider is: A highly configurable and customizable Web Spider engine. Developed under the LGPL Open Source license In 100% pure Java You can use…

Read More

Brakeman is an open source vulnerability scanner specifically designed for Ruby on Rails applications. It statically analyzes Rails application code…

Read More

To help you deal with the quality of your software developments, the open source Software QUALity Enhancement project (aka Squale) focuses on…

Read More

FLUCTUAT is an abstract-interpretation based static analyzer of numerical programs (C or Ada) developed since 2001 by the MEASI (ModElling…

Read More