Category: Static analysis
AMP
AMP is a web-based platform that provides a scalable, turnkey solution for meeting your Section 508, Americans with Disabilities Act (ADA)…
- Rating
- Views
- 3465
nsiqcppstyle
nsiqcppstyle is aiming to provide the extensible / easy use / highly maintainable coding style checker for C/C++ source code.…
- Rating
- Views
- 2594
Compliance Sheriff
Compliance Sheriff provides users with a means to monitor online content for potential compliance issues across digital environments – keeping…
- Rating
- Views
- 3366
XMLTestSuite
XmlTestSuite provides a powerful way to test web applications. Check site structure: HTML pages are well formed and links are…
- Rating
- Views
- 1904
JStyle
JStyle is an automated Java code review tool which knows about important Java coding guidelines practiced widely by expert Java…
- Rating
- Views
- 2583
BLAST
BLAST (Berkeley Lazy Abstraction Software verification Tool) is a static software verification tool for C language that solves the reachability problem, i.e.…
- Rating
- Views
- 2717
Splint
Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes.
- Rating
- Views
- 3973
Gendarme
Gendarme is a extensible rule-based tool to find problems in .NET applications and libraries. Gendarme inspects programs and libraries that…
- Rating
- Views
- 2614
Alert LinkRunner
Link checker
- Rating
- Views
- 2018
MALPAS
The MALPAS toolset consists of a number of analysers which focus on different aspects of software correctness and integrity. These…
- Rating
- Views
- 2429