Category: Static analysis

Semmle engineering analytics unlock the insights held within your repos.

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

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

Read More

CodeCheck Version  is a programmable tool for managing all C and C++ source code on a file or project basis.…

Read More

HTML checker

Read More

Parasoft® Jtest® is an integrated Development Testing solution for automating a broad range of practices proven to improve development team…

Read More

Brakeman is an open source vulnerability scanner specifically designed for Ruby on Rails applications. It statically analyzes Rails application code…

Read More

ReSharper extends Visual Studio with over 2000 on-the-fly code inspections for C#, VB.NET, ASP.NET, JavaScript, TypeScript and other technologies. For most inspections,…

Read More

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

Read More