Category: Static analysis

Semmle engineering analytics unlock the insights held within your repos.

Read More

Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes.

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

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

Read More

Perltidy is a Perl script which indents and reformats Perl scripts to make them easier to read. If you write…

Read More

Continuous Code Quality

Read More

The goal is to enforce uniform coding habits among software personnel in the engineering department so that reading, checking and…

Read More

At the heart of the LDRA tool suite is the LDRA Testbed, which provides the core static and dynamic analysis…

Read More

VectorCAST is a highly automated unit and integration test solution used by embedded developers to validate safety and business critical…

Read More

Web Link Validator is a powerful, comprehensive site management and link checker tool that helps webmasters automate the process of website…

Read More