Average Ratings 0 Ratings
Average Ratings 0 Ratings
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
PVS-Studio can detect security flaws in source code of programs written in C++, C#, and Java. It can analyze source code for embedded ARM platforms, 32-bit, 64 bit, and Linux systems.
API Access
Has API
API Access
Has API
Integrations
C
C++
HTML
Java
Jenkins
SonarQube Server
.NET
Ada
Apache Maven
CLion
Integrations
C
C++
HTML
Java
Jenkins
SonarQube Server
.NET
Ada
Apache Maven
CLion
Pricing Details
No price information available.
Free Trial
Free Version
Pricing Details
No price information available.
Free Trial
Free Version
Deployment
Web-Based
On-Premises
iPhone App
iPad App
Android App
Windows
Mac
Linux
Chromebook
Deployment
Web-Based
On-Premises
iPhone App
iPad App
Android App
Windows
Mac
Linux
Chromebook
Customer Support
Business Hours
Live Rep (24/7)
Online Support
Customer Support
Business Hours
Live Rep (24/7)
Online Support
Types of Training
Training Docs
Webinars
Live Training (Online)
In Person
Types of Training
Training Docs
Webinars
Live Training (Online)
In Person
Vendor Details
Company Name
AdaCore
Founded
1994
Country
France
Website
www.adacore.com/codepeer
Vendor Details
Company Name
Program Verification Systems
Founded
2008
Country
Russian Federation
Website
www.viva64.com
Product Features
Static Application Security Testing (SAST)
Application Security
Dashboard
Debugging
Deployment Management
IDE
Multi-Language Scanning
Real-Time Analytics
Source Code Scanning
Vulnerability Scanning
Static Code Analysis
Analytics / Reporting
Code Standardization / Validation
Multiple Programming Language Support
Provides Recommendations
Standard Security/Industry Libraries
Vulnerability Management
Product Features
Application Development
Access Controls/Permissions
Code Assistance
Code Refactoring
Collaboration Tools
Compatibility Testing
Data Modeling
Debugging
Deployment Management
Graphical User Interface
Mobile Development
No-Code
Reporting/Analytics
Software Development
Source Control
Testing Management
Version Control
Web App Development
Automated Testing
Hierarchical View
Move & Copy
Parameterized Testing
Requirements-Based Testing
Security Testing
Supports Parallel Execution
Test Script Reviews
Unicode Compliance
DevOps
Approval Workflow
Dashboard
KPIs
Policy Management
Portfolio Management
Prioritization
Release Management
Timeline Management
Troubleshooting Reports
Source Code Management
Access Controls/Permissions
Bug Tracking
Build Automation
Change Management
Code Review
Collaboration
Continuous Integration
Repository Management
Version Control
Static Application Security Testing (SAST)
Application Security
Dashboard
Debugging
Deployment Management
IDE
Multi-Language Scanning
Real-Time Analytics
Source Code Scanning
Vulnerability Scanning