Category: Static analysis

AdaTEST 95 is a unit and integration testing tool, enabling developers to verify standard compliant or business critical code on…

Read More

Polyspace Bug Finder™ identifies run-time errors, concurrency issues, security vulnerabilities, and other defects in C and C++ embedded software. Using…

Read More

devAdvantage: an automated code review tool that analyzes .NET C# code looking for bugs and issues with the unique ability…

Read More

TBrun® is a component of the LDRA tool suite®. It is a unit/integration test tool, providing a complete verification environment for…

Read More

LinkChecker is a free, GPL licensed website validator. LinkChecker checks links in web documents or full websites.

Read More

The CROSS (Codenomicon Robust Open Source Software) program is designed to help open source projects fix critical flaws in their…

Read More

Continuous Code Quality

Read More

HTML PowerTools are a suite of HTML development tools that allow the HTML – developer professional and beginner alike – to easily create better…

Read More

AdaControl is a free (GMGPL) tool that detects the use of various kinds of constructs in Ada programs. Its first…

Read More

PMD is a source code analyzer. It finds common programming flaws like unused variables, empty catch blocks, unnecessary object creation,…

Read More