CodePeer

CodePeer

AdaCore
DoubleCheck Code Analysis

DoubleCheck Code Analysis

Green Hills Software
Green Hills Optimizing Compilers

Green Hills Optimizing Compilers

Green Hills Software
+

Related Products

  • TrustInSoft Analyzer
    6 Ratings
    Visit Website
  • Parasoft
    131 Ratings
    Visit Website
  • PeerGFS
    22 Ratings
    Visit Website
  • Aikido Security
    106 Ratings
    Visit Website
  • JetBrains Junie
    2 Ratings
    Visit Website
  • Motivosity
    4,126 Ratings
    Visit Website
  • Nectar
    8,199 Ratings
    Visit Website
  • Ditto
    2 Ratings
    Visit Website
  • All in One Accessibility
    26 Ratings
    Visit Website
  • Adobe PDF Library SDK
    35 Ratings
    Visit Website

About

The Most Comprehensive Static Analysis Toolsuite for Ada. CodePeer helps developers gain a deep understanding of their code and build more reliable and secure software systems. 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 helps you improve the quality of your code and makes it easier for you to perform safety and/or security analysis. CodePeer is a stand-alone tool that runs on Windows and Linux platforms and may be used with any standard Ada compiler or fully integrated into the GNAT Pro development environment. It can detect several of the “Top 25 Most Dangerous Software Errors” in the Common Weakness Enumeration. CodePeer supports all versions of Ada (83, 95, 2005, 2012). CodePeer has been qualified as a Verification Tool under the DO-178B and EN 50128 software standards.

About

When it comes to ensuring software quality, reliability, and security in today's sophisticated code bases, traditional debugging and testing methods simply fall short. Automated tools such as static source code analyzers are more effective in finding defects that could result in buffer overflows, resource leaks, and other security and reliability issues. This class of defects are often not detected by compilers during standard builds, run-time testing, or typical field operation. While other source code analyzers run as separate tools, DoubleCheck is an integrated static analyzer, built into the Green Hills C/C++ compiler. DoubleCheck leverages accurate and efficient analysis algorithms that have been tuned and field-proven in 30+ years of producing embedded development tools. DoubleCheck can be used as a single integrated tool to perform compilation and defect analysis in the same pass.

About

As the pace of microprocessor innovation continues to accelerate, application developers know they can rely on Green Hills Compilers to unlock the hardware's full potential and realize maximum performance and functional safety in their next-generation applications. Green Hills Compilers use the most advanced optimizations to maximize your program's performance even within strict size constraints. For example, our CodeFactor™ optimization speeds your program's execution and reduces its size by removing redundant segments of code via subroutine calls and tail merges. Static basing provides the same benefits (faster speed, smaller size) by grouping data items to significantly reduce the number of load address operations. Every one of our optimizations, whether it's our own innovation or an industry standard, is meticulously implemented. Continuing three decades of engineering excellence, we painstakingly research and then test each one against hundreds of benchmarks.

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Audience

Development teams interested in a Static Application Security Testing (SAST) solution

Audience

Developers seeking an integrated code analyzer to test and find app defects that could result in buffer overflows

Audience

Application developers seeking a solution to increase their performance and the functional safety of their operations

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

API

Offers API

API

Offers API

API

Offers API

Screenshots and Videos

Screenshots and Videos

Screenshots and Videos

Pricing

No information available.
Free Version
Free Trial

Pricing

No information available.
Free Version
Free Trial

Pricing

No information available.
Free Version
Free Trial

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Training

Documentation
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Company Information

AdaCore
Founded: 1994
France
www.adacore.com/codepeer

Company Information

Green Hills Software
Founded: 1982
United States
www.ghs.com/products/doublecheck.html

Company Information

Green Hills Software
Founded: 1982
United States
www.ghs.com/products/compiler.html

Alternatives

CodeSonar

CodeSonar

CodeSecure

Alternatives

Klocwork

Klocwork

Perforce

Alternatives

MULTI IDE

MULTI IDE

Green Hills Software
C-STAT

C-STAT

IAR Systems
DoubleCheck Code Analysis

DoubleCheck Code Analysis

Green Hills Software
Helix QAC

Helix QAC

Perforce
AdaMULTI IDE

AdaMULTI IDE

Green Hills Software
Snappytick

Snappytick

Snappycode Audit
PyCharm

PyCharm

JetBrains
TimeMachine

TimeMachine

Green Hills Software
SonarQube Server

SonarQube Server

SonarSource
CodePeer

CodePeer

AdaCore

Categories

Categories

Categories

Integrations

Ada
C
C++
HTML
INTEGRITY RTOS
Java
Jenkins
MULTI IDE
PikeOS
Python
RTX
Seeker
Simulink
SonarQube Server

Integrations

Ada
C
C++
HTML
INTEGRITY RTOS
Java
Jenkins
MULTI IDE
PikeOS
Python
RTX
Seeker
Simulink
SonarQube Server

Integrations

Ada
C
C++
HTML
INTEGRITY RTOS
Java
Jenkins
MULTI IDE
PikeOS
Python
RTX
Seeker
Simulink
SonarQube Server
Claim CodePeer and update features and information
Claim CodePeer and update features and information
Claim DoubleCheck Code Analysis and update features and information
Claim DoubleCheck Code Analysis and update features and information
Claim Green Hills Optimizing Compilers and update features and information
Claim Green Hills Optimizing Compilers and update features and information