Category: Static analysis

Gendarme is a extensible rule-based tool to find problems in .NET applications and libraries. Gendarme inspects programs and libraries that…

Read More

Link checker

Read More

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

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

The MALPAS toolset consists of a number of analysers which focus on different aspects of software correctness and integrity. These…

Read More

JSpider is: A highly configurable and customizable Web Spider engine. Developed under the LGPL Open Source license In 100% pure Java You can use…

Read More

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

Read More

YASAT (Yet Another Static Analysis Tool) is a very basic static analysis tool, really it’s less about static analysis and…

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

Browsera tests and reports cross-browser layout differences and scripting errors on your site.

Read More