static code analysis downloads

Cppcheck Portable

2.14.2 download

... John T. Haller, is a versatile and robust static analysis tool designed to help developers identify bugs and potential issues in C and C++ code. This portable version of Cppcheck allows users to ...

Pascal Analyzer

9.13.1.0 download

... sophisticated tool designed to enhance the productivity and code quality of Pascal developers. This comprehensive static code analysis software meticulously examines your Pascal and Delphi source code, providing detailed insights and actionable feedback to help ...

Understand

7.0 Build 1219 download

"Understand" by Scientific Toolworks is a powerful static analysis tool designed to help developers and software engineers gain deep insights into their codebases. Whether you're dealing with legacy code or managing ...

New Version

PVS-Studio

7.21 download

PVS-Studio is a static analyzer that detects errors in source code of C/C++/C++11 applications. There are sets of rules ... convenient user interface to analyze files, navigate through code and get reference information. You do not need ...

ClearSQL

8.0.1.169 download

ClearSQL is a PL/SQL code analyzer with advanced functionality for code review, editing, and formatting, quality control, and system optimization. It generates interactive visuals and delivers comprehensive analysis reports, outlining flaws in the code syntax and ...

SqlCodeGuard

2.9 download

... Sql Server Management Studio designed to analyze T-Sql code and to generate object dependencies. SqlCodeGuard scans your code and finds the most complex procedures and functions ...

Eclipse Checkstyle Plug-in

10.21.2 download

... tool for Java developers aiming to maintain high code quality and consistency within their projects. Seamlessly integrating ... Eclipse IDE, this plug-in leverages the powerful Checkstyle static code analysis tool to enforce coding standards and ...

Cppcheck

2.16.0 download

Cppcheck, developed by Daniel Marjamäki, is a powerful static analysis tool designed to identify bugs, undefined behaviors, and other potential issues in C and C++ code. Unlike traditional compilers that focus primarily on syntax ...

Freud

1.5 download

A framework to write static analysis tests. Unlike tools such as checkstyle, PMD ... the user easy and full control of their static analysis tests. Freud does not attempt to give ...

Boomerang for Windows

0.3.1 Alpha download

A general, open source, retargetable decompiler of machine code programs This project is an attempt to develop a real decompiler for machine code programs through the open source community. A decompiler ...

Boomerang for Linux

0.3 Alpha download

A general, open source, retargetable decompiler of machine code programs This project is an attempt to develop a real decompiler for machine code programs through the open source community. A decompiler ...

EngiLab Truss.2D 2022

1.1 download

... a powerful structural engineering software for the linear static analysis of plane (2D) trusses for Windows. The program ... uses the Finite Element Method (FEM) for the analysis, with 2 DOFs per Node (DX, DY). The ...

AdLint

3.2.14 download

AdLint is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of ...

AdLint for Linux

3.2.14 download

AdLint is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of ...

Fornux C++ Superset

1.1.0 download

... suite of advanced features that significantly boost productivity, code quality, and performance. One of the standout features of Fornux C++ Superset is its robust static analysis capabilities. The software meticulously scans code for ...

Dependency Finder

1.2.0 download

... a suite of tools for analyzing compiled Java code. At the core is a powerful dependency analysis application that extracts dependency graphs and mines them ... suite. It compares two versions of the same codebase and reports the differences in the API. It ...

Android Studio for Mac and Linux

3.6.3 download

... and test Android applications. Android Studio benefits from static code analysis, which allows you to identify bugs more quickly ...

FindBugs

3.0.1 download

FindBugs, a program which uses static analysis to look for bugs in Java code. It is free software, distributed under the terms ...

Obsidium

1.6.5-8 download

... to that scenario. Key features * Code virtualization Code Virtualization allows you to transform certain parts of your application's code in order to make it harder to reverse-engineer, understand or modifiy. Native machine code will be converted into functionally equivalent byte code ...

Obsidium Lite

1.6.5-7 download

... and licensing them. Key features * Code virtualization Code Virtualization allows you to transform certain parts of your application's code in order to make it harder to reverse-engineer, understand or modifiy. Native machine code will be converted into functionally equivalent byte code ...

Crystal REVS for C

4.60 download

... is the best context-sensitive editor there is. Review Code in No Time Create Flowchart from Source for a clear view of the code Verify correctness of function. Detect errors Use Flowcharts ...

Crystal REVS for C++

4.59 download

... is the best context-sensitive editor there is. Review Code in No Time Create Flowchart from Source for a clear view of the code Verify correctness of function. Detect errors Use Flowcharts ...

Hopper Disassembler for Mac OS X

4.5.28 download

... developer tool designed to assist you in your static analysis of executable files. Thanks to Hopper Disassembler, you ... representations of the file. Semantic Coloration The analysis performed by Hopper separates code from data, memory ...

Microsoft Visual Studio Enterprise

2022.17.13.2 download

... productivity and focus on what matters most—writing high-quality code. One of the standout features of Visual ... integration and continuous deployment (CI/CD) pipelines, ensuring that code changes are automatically tested and deployed, reducing the ...

New Version

dbForge Studio for MySQL for Linux

10.1 download

... of MySQL and MariaDB development, management, administration, data analysis, and reporting. The rich feature set of the ... streamline effective version control of database schemas and static table data. Database Design. In terms of database ...