Category: Static analysis

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

Testwell CMT++ analyse your applications for the following metrics: Lines-of-code Metrics (LOC) Halstead-Metrics McCabe Cyclomatic Number v(G) Maintainability Index

Read More

ht://Check is more than a link checker. It’s a console application written for GNU/Linux systems in C++ and derived from the best search engine…

Read More

SourceMeter is an innovative tool built for the precise static source code analysis of C/C++, Java, C#, Python, and RPG…

Read More

PMD is a source code analyzer. It finds common programming flaws like unused variables, empty catch blocks, unnecessary object creation,…

Read More

Polyspace Bug Finder™ identifies run-time errors, concurrency issues, security vulnerabilities, and other defects in C and C++ embedded software. Using…

Read More

Assess software reliability, security, and conformance to ISO coding best practices while reducing development time.

Read More

QualityGate measures and manages the maintainability of your source 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

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