Category: Static analysis

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

Read More

HPE Security Fortify offers end-to-end application security solutions with the flexibility of testing on-premise and on-demand to cover the entire…

Read More

AMP is a web-based platform that provides a scalable, turnkey solution for meeting your Section 508, Americans with Disabilities Act (ADA)…

Read More

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

Read More

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

Read More

XmlTestSuite provides a powerful way to test web applications. Check site structure: HTML pages are well formed and links are…

Read More

JStyle is an automated Java code review tool which knows about important Java coding guidelines practiced widely by expert Java…

Read More

BLAST (Berkeley Lazy Abstraction Software verification Tool) is a static software verification tool for C language that solves the reachability problem, i.e.…

Read More

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

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