Category: Static analysis

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

Read More

RIPS is a security software for web applications that are written in PHP programming language. RIPS automatically detects security vulnerabilities in PHP code,…

Read More

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

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

HTML checker

Read More

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

Read More

The Linux Test Project is a joint project started by SGI, developed and maintained by IBM, Cisco, Fujitsu, SUSE, Red…

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

Semmle engineering analytics unlock the insights held within your repos.

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