CodePeerAdaCore
|
||||||
Related Products
|
||||||
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 VideosNo 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/
|
Reviews/
|
|||||
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 InformationAdaCore
Founded: 1994
France
www.adacore.com/codepeer
|
Company InformationGuardix
guardix.io
|
|||||
Alternatives |
Alternatives |
|||||
|
|
|
|||||
|
|
||||||
|
|
||||||
|
|
|
|||||
Categories |
Categories |
|||||
Integrations
Ada
Supported
C
Supported
C++
Supported
Claude Code
Not Supported
Cursor
Not Supported
HTML
Supported
Java
Supported
Jenkins
Supported
PikeOS
Supported
Python
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
|
|||||
|
|
|