Category: Static analysis
BLAST
BLAST (Berkeley Lazy Abstraction Software verification Tool) is a static software verification tool for C language that solves the reachability problem, i.e.…
- Rating
- Views
- 3151
CMT++
Testwell CMT++ analyse your applications for the following metrics: Lines-of-code Metrics (LOC) Halstead-Metrics McCabe Cyclomatic Number v(G) Maintainability Index
- Rating
- Views
- 3091
ht://Check
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…
- Rating
- Views
- 2662
SourceMeter
SourceMeter is an innovative tool built for the precise static source code analysis of C/C++, Java, C#, Python, and RPG…
- Rating
- Views
- 4240
PMD
PMD is a source code analyzer. It finds common programming flaws like unused variables, empty catch blocks, unnecessary object creation,…
- Rating
- Views
- 4036
Polyspace Bug Finder
Polyspace Bug Finder™ identifies run-time errors, concurrency issues, security vulnerabilities, and other defects in C and C++ embedded software. Using…
- Rating
- Views
- 9126
QA.Static Analyzers
Assess software reliability, security, and conformance to ISO coding best practices while reducing development time.
- Rating
- Views
- 2498
QualityGate
QualityGate measures and manages the maintainability of your source code.
- Rating
- Views
- 2595
RIPS
RIPS is a security software for web applications that are written in PHP programming language. RIPS automatically detects security vulnerabilities in PHP code,…
- Rating
- Views
- 3809
ReSharper
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,…
- Price
- 399€ per year
- Rating
- Views
- 3132