Category: Static analysis

Compliance Sheriff provides users with a means to monitor online content for potential compliance issues across digital environments – keeping…

Read More

ConQAT is a toolkit for rapid development and execution of software quality analyses. Integrated visualization of diverse quality characteristics for software…

Read More

Code review, runtime error detection, code coverage, perfomance analysis

Read More

SSW CodeAuditor is a code analysis tool that allows developers to take control of your code, ensuring large, complex source…

Read More

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

Read More

Implementing state of the art technology, BUGSENG designed ECLAIR Software Verification Platform®, for the automatic verification of C and C++…

Read More

Parasoft® dotTEST™ is an integrated Development Testing solution for automating a broad range of testing best practices proven to improve…

Read More

Parasoft Development Testing Platform (DTP) enables Continuous Testing. Leveraging policies, DTP consistently applies software quality practices across teams and throughout…

Read More

FindBugs, a program which uses static analysis to look for bugs in Java code.

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