Ratings and Reviews 0 Ratings
Ratings and Reviews 147 Ratings
What is Polyspace Code Prover?
Polyspace Code Prover functions as a static analysis tool designed to guarantee the absence of critical runtime errors in C and C++ programming without having to execute the code. Utilizing formal methods, it meticulously assesses every possible code path and input scenario to identify potential issues like overflows, division by zero, and out-of-bounds accesses. This tool provides essential insights into variable ranges and points out unreachable code, thereby assisting developers in improving software performance and ensuring quality. Furthermore, Polyspace Code Prover complies with stringent safety standards such as IEC 61508, ISO 26262, and DO-178C, making it a preferred option for sectors that require rigorous software certification. With its in-depth analysis capabilities, teams can confidently produce dependable and resilient software solutions, ultimately enhancing their overall development processes.
What is Parasoft?
Parasoft aims to deliver automated testing tools and knowledge that enable companies to accelerate the launch of secure and dependable software. Parasoft C/C++test serves as a comprehensive test automation platform for C and C++, offering capabilities for static analysis, unit testing, and structural code coverage, thereby assisting organizations in meeting stringent industry standards for functional safety and security in embedded software applications. This robust solution not only enhances code quality but also streamlines the development process, ensuring that software is both effective and compliant with necessary regulations.
Integrations Supported
C
C++
SonarQube Server
Apache Groovy
Apache Kafka
Azure DevOps Labs
Azure Kubernetes Service (AKS)
Bamboo
CucumberStudio
Docker
Integrations Supported
C
C++
SonarQube Server
Apache Groovy
Apache Kafka
Azure DevOps Labs
Azure Kubernetes Service (AKS)
Bamboo
CucumberStudio
Docker
API Availability
Has API
API Availability
Has API
Pricing Information
Pricing not provided.
Free Trial Offered?
Free Version
Pricing Information
$35/user/mo
Free Trial Offered?
Free Version
Supported Platforms
SaaS
Android
iPhone
iPad
Windows
Mac
On-Prem
Chromebook
Linux
Supported Platforms
SaaS
Android
iPhone
iPad
Windows
Mac
On-Prem
Chromebook
Linux
Customer Service / Support
Standard Support
24 Hour Support
Web-Based Support
Customer Service / Support
Standard Support
24 Hour Support
Web-Based Support
Training Options
Documentation Hub
Webinars
Online Training
On-Site Training
Training Options
Documentation Hub
Webinars
Online Training
On-Site Training
Company Facts
Organization Name
MathWorks
Date Founded
1984
Company Location
United States
Company Website
www.mathworks.com/products/polyspace-code-prover.html
Company Facts
Organization Name
Parasoft
Date Founded
1987
Company Location
United States
Company Website
www.parasoft.com/products/parasoft-c-ctest/
Categories and Features
Static Code Analysis
Analytics / Reporting
Code Standardization / Validation
Multiple Programming Language Support
Provides Recommendations
Standard Security/Industry Libraries
Vulnerability Management
Categories and Features
API Testing
Functional Testing
Fuzz Testing
Load Testing
Penetration Testing
Runtime and Error Detection
Security Testing
UI Testing
Validation Testing
Automated Testing
Hierarchical View
Move & Copy
Parameterized Testing
Requirements-Based Testing
Security Testing
Supports Parallel Execution
Test Script Reviews
Unicode Compliance
Functional Testing
Automated Testing
Interface Testing
Regression Testing
Reporting / Analytics
Sanity Testing
Smoke Testing
System Testing
Unit Testing
Load Testing
API Load Testing
Database Load Testing
Load Test Performance Reporting
Mail Load Testing
Multilocation Load Testing
Multiple Protocol Support
Test Script Customization
Web Application Testing
Performance Testing
API Testing
Benchmarking
Cross Browser Testing
Debugging
Historical Reporting
Load Testing
Mobile Testing
Parallel Testing
Regression Testing
UI Testing
Web Testing
Software Testing
Automated Testing
Black-Box Testing
Dynamic Testing
Issue Tracking
Manual Testing
Quality Assurance Planning
Reporting / Analytics
Static Testing
Test Case Management
Variable Testing Methods
White-Box Testing
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