Average Ratings 0 Ratings

Total
ease
features
design
support

No User Reviews. Be the first to provide a review:

Write a Review

Average Ratings 0 Ratings

Total
ease
features
design
support

No User Reviews. Be the first to provide a review:

Write a Review

Description

CodePeer is a highly effective static analysis toolkit designed specifically for Ada programming, enabling developers to thoroughly comprehend their code and create more robust and secure software applications. This powerful source code analyzer identifies potential run-time and logic errors, allowing for the detection of bugs prior to program execution while acting as an automated peer reviewer that simplifies the error-finding process throughout all stages of the development lifecycle. By utilizing CodePeer, developers can enhance code quality and streamline safety or security assessments. This stand-alone application is compatible with both Windows and Linux operating systems and can be utilized alongside any standard Ada compiler or seamlessly integrated into the GNAT Pro development environment. Furthermore, CodePeer has the capability to identify various critical vulnerabilities listed among the “Top 25 Most Dangerous Software Errors” in the Common Weakness Enumeration. It supports all iterations of Ada programming, including versions 83, 95, 2005, and 2012. Notably, CodePeer has received qualification as a Verification Tool under the established DO-178B and EN 50128 software standards, making it a reliable choice for developers aiming to adhere to rigorous safety protocols. Additionally, the tool empowers users to proactively address issues, fostering a more efficient and confident development process.

Description

CodeSonar uses a unified dataflow with symbolic execution analysis to examine the entire application's computations. CodeSonar's static analyze engine is extremely deep and does not rely on pattern matching or similar approximations. It finds 3-5 times more defects than other static analysis tools. SAST tools are able to be easily integrated into any team's software development process, unlike many other tools such as testing tools and compilers. SAST technologies such as CodeSonar attach to existing build environments to add analysis information. CodeSonar works in the same way as a compiler. However, CodeSonar creates an abstraction model of your entire program, instead of creating object codes. CodeSonar's symbolic execution engine analyzes the derived model and makes connections between them.

API Access

Has API No 

API Access

Has API Yes 

Screenshots View All

Screenshots View All

Integrations

C Yes 
C++ Yes 
Java Yes 
Jenkins Yes 
Python Yes 
Seeker Yes 
AWS GovCloud No 
Amazon Web Services (AWS) No 
Android No 
CodeSentry No 
GitHub No 
HTML Yes 
JavaScript No 
Kotlin No 
PikeOS Yes 
Qlik Sense No 
Rust No 
Simulink Yes 
SonarQube Server Yes 
Visual Studio Code No 

Integrations

C Yes 
C++ Yes 
Java Yes 
Jenkins Yes 
Python Yes 
Seeker Yes 
AWS GovCloud Yes 
Amazon Web Services (AWS) Yes 
Android Yes 
CodeSentry Yes 
GitHub Yes 
HTML No 
JavaScript Yes 
Kotlin Yes 
PikeOS No 
Qlik Sense Yes 
Rust Yes 
Simulink No 
SonarQube Server No 
Visual Studio Code Yes 

Pricing Details

No price information available.
Free Trial No 
Free Version No 

Pricing Details

No price information available.
Free Trial No 
Free Version No 

Deployment

Web-Based Yes 
On-Premises No 
iPhone App No 
iPad App No 
Android App No 
Windows No 
Mac No 
Linux No 
Chromebook No 

Deployment

Web-Based Yes 
On-Premises No 
iPhone App No 
iPad App No 
Android App No 
Windows No 
Mac No 
Linux No 
Chromebook No 

Customer Support

Business Hours No 
Live Rep (24/7) No 
Online Support Yes 

Customer Support

Business Hours No 
Live Rep (24/7) No 
Online Support Yes 

Types of Training

Training Docs Yes 
Webinars Yes 
Live Training (Online) No 
In Person No 

Types of Training

Training Docs Yes 
Webinars No 
Live Training (Online) No 
In Person No 

Vendor Details

Company Name

AdaCore

Founded

1994

Country

France

Website

www.adacore.com/codepeer

Vendor Details

Company Name

CodeSecure

Country

United States

Website

www.grammatech.com/products/source-code-analysis

Product Features

Static Application Security Testing (SAST)

Application Security No 
Dashboard No 
Debugging No 
Deployment Management No 
IDE No 
Multi-Language Scanning No 
Real-Time Analytics No 
Source Code Scanning No 
Vulnerability Scanning No 

Static Code Analysis

Analytics / Reporting No 
Code Standardization / Validation No 
Multiple Programming Language Support No 
Provides Recommendations No 
Standard Security/Industry Libraries No 
Vulnerability Management No 

Product Features

Static Application Security Testing (SAST)

Application Security No 
Dashboard No 
Debugging No 
Deployment Management No 
IDE No 
Multi-Language Scanning No 
Real-Time Analytics No 
Source Code Scanning No 
Vulnerability Scanning No 

Static Code Analysis

Analytics / Reporting No 
Code Standardization / Validation No 
Multiple Programming Language Support No 
Provides Recommendations No 
Standard Security/Industry Libraries No 
Vulnerability Management No 

Alternatives

SonarQube Server Reviews

SonarQube Server

SonarSource

Alternatives

Flawnter Reviews

Flawnter

CyberTest
CodeSonar Reviews

CodeSonar

CodeSecure
beSOURCE Reviews

beSOURCE

Beyond Security (Fortra)
SonarQube Cloud Reviews

SonarQube Cloud

SonarSource
SonarQube Server Reviews

SonarQube Server

SonarSource