CodePeer

CodePeer

AdaCore
+
+

Related Products

  • Aikido Security
    364 Ratings
    Visit Website
  • TrustInSoft Analyzer
    6 Ratings
    Visit Website
  • Parasoft
    152 Ratings
    Visit Website
  • PeerGFS
    28 Ratings
    Visit Website
  • BAND
    3 Ratings
    Visit Website
  • Feroot
    33 Ratings
    Visit Website
  • Pensero
    3 Ratings
    Visit Website
  • CallHub
    428 Ratings
    Visit Website
  • 8am
    1,242 Ratings
    Visit Website
  • Rocket z/Assure VAP
    1 Rating
    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

Guardix audits Solidity smart contracts on Ethereum Virtual Machine (EVM) chains. Teams connect a GitHub repository and choose a commit for automated analysis of vulnerabilities, logic errors, access-control weaknesses, and accounting issues. Reports provide severity-ranked findings, explanations, code locations, and supporting evidence; critical findings may include an exploit demonstrated on a mainnet fork. Developers can review audits in the web app, use the open-source CLI on Windows, macOS, or Linux, or access audits through official Claude Code and Cursor skills. Guardix serves Solidity developers, Web3 teams, and security reviewers seeking to identify issues before releases or manual audits. Each paid audit covers one repository at one commit; later commits can be audited separately. Reports support review and remediation but do not replace human assessment of novel protocol design or economic risks.

Platforms Supported

Windows Not Supported
Mac Not Supported
Linux Not Supported
Cloud Supported
On-Premises Not Supported
iPhone Not Supported
iPad Not Supported
Android Not Supported
Chromebook Not Supported

Platforms Supported

Windows Supported
Mac Supported
Linux Supported
Cloud Supported
On-Premises Not Supported
iPhone Not Supported
iPad Not Supported
Android Not Supported
Chromebook Not Supported

Audience

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

Audience

Smart contract developers, Web3 teams, and security auditors.

Support

Phone Support Not Supported
24/7 Live Support Not Supported
Online Supported

Support

Phone Support Not Supported
24/7 Live Support Not Supported
Online Supported

API

Offers API Not Supported

API

Offers API Supported

Screenshots and Videos

Screenshots and Videos

No images available

Pricing

No information available.
Free Version Not Supported
Free Trial Not Supported

Pricing

$200/audit
Each audit is a one-time $200 charge for one repository at one commit; each re-audit on a later commit costs $200. Team workspaces include a configurable free-audit allowance for evaluation; the cap is set when the workspace is provisioned.
Free Version Not Supported
Free Trial Supported

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 Supported
Webinars Supported
Live Online Not Supported
In Person Not Supported

Training

Documentation Supported
Webinars Not Supported
Live Online Not Supported
In Person Not Supported

Company Information

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

Company Information

Guardix
guardix.io

Alternatives

CodeSonar

CodeSonar

CodeSecure

Alternatives

Bugbot

Bugbot

Cursor
SonarQube Server

SonarQube Server

SonarSource
ScanMyApp

ScanMyApp

AI Innovate Solutions Ltd
beSOURCE

beSOURCE

Beyond Security (Fortra)
Claude Security

Claude Security

Anthropic

Categories

Categories

Code Security Supported

Integrations

Ada Supported
C Supported
C++ Supported
Claude Code Not Supported
Cursor Not Supported
HTML Supported
Java Supported
Jenkins Supported
PikeOS Supported
Python Supported
Seeker Supported
Simulink Supported
SonarQube Server Supported

Integrations

Ada Not Supported
C Not Supported
C++ Not Supported
Claude Code Supported
Cursor Supported
HTML Not Supported
Java Not Supported
Jenkins Not Supported
PikeOS Not Supported
Python Not Supported
Seeker Not Supported
Simulink Not Supported
SonarQube Server Not Supported
Claim CodePeer and update features and information
Claim CodePeer and update features and information
Claim Guardix and update features and information
Claim Guardix and update features and information