Tags: source code analysis

Commercial
Pricing Model

Klocwork static code analysis and SAST tool for C, C++, C#, and Java identifies software security, quality, and reliability issues helping to enforce compliance with standards. Built for enterprise DevOps and DevSecOps, Klocwork scales to projects of any ...

Modified
Axivion GmbH
Commercial
Pricing Model

The Axivion Suite gives you the full range of Axivion analysis tools in one box. The Axivion Suite includes static code analysis, architecture analysis and effective tools for the detection of code smells. The Axivion Suite runs on Windows, Linux and Mac ...

Modified
Axivion Suite
Code Dx Inc.
Commercial
Pricing Model

Code Dx helps enterprises rapidly release more secure software, mitgates the risk of a breach, while helping you be faster and more agile.  Orchestrate tools Centralize and harmonize application security testing across all development pipelines in ...

Modified
Code Dx Enterprise
Limited Free Trial
Pricing Model

Astrée is a static code analyzer that proves the absence of run­time errors and invalid con­current behavior in safety-critical software written or gen­er­ated in C. Astrée primarily targets embedded applications as found in aero­nautics, earth trans­por ...

ModifiedNever
Commercial
Pricing Model

ECLAIR is a general platform for software verification. Applications range from coding rule validation, to automatic generation of testcases, to the proof of absence of run-time errors or generation of counterexamples, and to the specification of code mat ...

ModifiedNever
ECLAIR
Gimpel Software LLC
Commercial
Pricing Model

PC-Lint Plus is a comprehensive static analysis solution for C and C++.  Comply with Safety Standards Enforce compliance with industry coding standards including MISRA, AUTOSTAR, and CERT C, customise detection of individual guidelines and easily s ...

Modified
PC-lint Plus
OpenStack Security Group
Open Source
Pricing Model

Bandit is a tool designed to find common security issues in Python code. By processing files, building an AST and running appropriate plugins against the AST nodes, Bandit is able to generate a report once it has finished scanning code.

Modified
bandit
Open Source
Pricing Model

Pylint is a source code, bug and quality checker for the Python programming language. It follows the style recommended by PEP 8, the Python style guide.

ModifiedNever
Commercial
Pricing Model

CodePeer is an Ada source code analyzer that detects run-time and logic errors. It assesses potential bugs before program execution, serving as an automated peer reviewer, helping to find errors easily at any stage of the development life-cycle. CodePeer ...

ModifiedNever
Open Source
Pricing Model

Continuous Inspection - SonarQube provides the capability to not only show health of an application but also to highlight issues newly introduced. With a Quality Gate in place, you can fix the leak and therefore improve code quality systematically. Detec ...

ModifiedNever
Commercial
Pricing Model

Automatically scan your code to identify and remediate vulnerabilities. Compliant with the most stringent security standards, such as OWASP and CWE, Kiuwan Code Security covers all important languages and integrates with leading DevOps tools. Make I ...

Modified
Code Security (SAST)
Commercial
Pricing Model

Deliver C and C++ software that’s robust, predictable, and secure. Manage risk and costs by building better software. Static analysis and unit testing are critical for application quality, security, and safety, and the cornerstone of any connected-applic ...

ModifiedNever
Parasoft C/C++test
Commercial
Pricing Model

Complement your existing Visual Studio tools with deep static analysis and advanced coverage. An automated, non-invasive solution that scans the application codebase to identify issues before they become production problems, Parasoft dotTEST integrates i ...

ModifiedNever
Parasoft dotTEST
Commercial
Pricing Model

Parasoft Jtest enables you to accelerate Java software development while minimizing risks introduced into the code, by providing comprehensive analysis, guidance, and tools to get the job done. Jtest integrates with Parasoft DTP for sophisticated reportin ...

ModifiedNever
The Mathworks, Inc.
Commercial
Pricing Model

Polyspace®static code analysis products use formal methods to prove the absence of critical run-time errors under all possible control flows and data flows. They include checkers for coding rules, security vulnerabilities, code metrics, and hundreds of ad ...

ModifiedNever
Commercial
Pricing Model

Snappy Tick Source Edition(SAST) is a source code review tool, it helps to identify the Vulnerability during static code review. Consider an in-line auditing approaches will identify the largest amount of most significant security issues in your applicati ...

Modified
Snappytick

© Computer Network Defence Limited 2021