Category: Static analysis

software testing tool

FindBugs

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

Read More

Rating
0 / 5
Views
180
software testing tool

RIPS

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

Rating
0 / 5
Views
229
software testing tool

Binary Analysis Tool

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

Read More

Rating
0 / 5
Views
205
software testing tool

JSpider

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

Rating
0 / 5
Views
237
software testing tool

WebLight

HTML checker

Read More

Price
33€
Rating
0 / 5
Views
188
software testing tool

CPAchecker

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

Read More

Rating
0 / 5
Views
253
software testing tool

LTP

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

Read More

Rating
0 / 5
Views
222
software testing tool

FLUCTUAT

FLUCTUAT is an abstract-interpretation based static analyzer of numerical programs (C or Ada) developed since 2001 by the MEASI (ModElling…

Read More

Rating
0 / 5
Views
243
software testing tool

semmle

Semmle engineering analytics unlock the insights held within your repos.

Read More

Rating
0 / 5
Views
210
software testing tool

BLAST

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

Rating
0 / 5
Views
227
Choose Page Layout
Header Position
Submenu Style