Category: Static Testing

CPAchecker is a tool for configurable software verification. Our implementation is guided by the concepts described in the CAV’07 paper…

Read More

Static code analysis finds defects and security vulnerabilities in source code without executing the code. Also known as Static Application…

Read More

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

Read More

CodeSonar, GrammaTech’s flagship static analysis SAST tool, identifies bugs that can result in system crashes, unexpected behavior, and security breaches.…

Read More

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

The Binary Analysis Tool (BAT) makes it easier and cheaper to look inside binary code, find compliance issues, and reduce…

Read More

DebugBar features : The toolbar : Menu to customize the DebugBar and check updates. Toggle the Development bar Alert on javascript…

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