Polyspace 2024, developed by MathWorks, is a suite of static code analysis tools for verifying and validating embedded software in C, C++, and Ada, ensuring safety, security, and compliance with industry standards. Below is a detailed overview based on available information, including relevant details from the provided search results for “Polyspace 2024 software MathWorks.”
### Key Features of Polyspace 2024
Polyspace 2024 encompasses products like Polyspace Bug Finder, Polyspace Code Prover, Polyspace Test, and Polyspace Access, designed to enhance software quality throughout the development lifecycle. Here’s a breakdown of its core components and capabilities:
1. **Static Code Analysis with Formal Methods**:
– Uses formal methods to prove the absence of critical run-time errors (e.g., arithmetic overflow, buffer overrun, division by zero) under all possible control and data flows.
– Identifies hundreds of bug classes, concurrency issues, and security vulnerabilities, ensuring robust and secure code.
– Checks compliance with coding standards like MISRA C 2012, MISRA C++, AUTOSAR C++14, CERT C/C++, ISO/IEC 17961, and custom naming conventions.
2. **Polyspace Bug Finder**:
– Detects software bugs, concurrency issues, and security vulnerabilities in C and C++ code through static analysis, including semantic, data flow, and interprocedural behavior analysis.
– Generates reports on bugs, coding rule violations, and code metrics (e.g., cyclomatic complexity).
– Traces results to Simulink models and dSPACE TargetLink blocks for automatically generated code.
3. **Polyspace Code Prover**:
– Proves the absence of run-time errors (e.g., overflow, division by zero, out-of-bounds array access) without code execution, using abstract interpretation and formal methods.[](https://www.mathworks.com/products/polyspace-code-prover.html)
– Displays variable range information and identifies variables exceeding specified limits, with color-coded results (safe, faulty, unreachable, or unproven).
– Supports over 60 C/C++ compilers and integrates with Simulink for generated code analysis.
4. **Polyspace Test**:
– Enables development, management, and execution of unit and integration tests for C/C++ code in embedded systems, with support for host and target hardware.[]
– Offers test creation via xUnit API or a graphical test authoring editor, with stubs/mocks for isolating components.
– Measures code coverage (e.g., decision, condition, MC/DC) and supports automatic test generation for boundary values and coverage gaps.
– Certified for IEC 61508, ISO 26262, and DO-178C/DO-330 standards, with report generation for certification processes.
5. **Polyspace Access**:
– Provides a centralized platform for reviewing static code analysis results via a web interface, supporting collaboration across teams.
– Includes Polyspace as You Code, an IDE plugin (for Visual Studio, Visual Studio Code, Eclipse) that detects defects and compliance issues before code submission.[]
– Integrates with JIRA, LDAP, and CI pipelines (e.g., Jenkins, Bamboo) for seamless workflow integration and quality monitoring.
– Highlights new issues compared to the development baseline, aiding efficient bug triage.
6. **Industry Standards and Certification**:
– Supports safety and security standards like DO-178C, IEC 61508, ISO 26262, ISO/SAE 21434, and IEC 62304 (up to Class III medical devices).
– Provides certification kits (IEC Certification Kit, DO Qualification Kit) for compliance documentation.
– Used in automotive (e.g., HL Klemove for ADAS), aerospace (e.g., Leonardo for radar navigation), medical (e.g., Miracor for infusion pumps), and defense applications.[]
7. **Integration and Workflow**:
– Integrates with MATLAB, Simulink, and third-party tools like dSPACE TargetLink, Jenkins, and JIRA for end-to-end development.[
– Supports DevOps workflows with automated analysis in CI pipelines and cloud/on-premises deployment.
– Enables tracing of analysis results to Simulink models and requirements (e.g., IBM DOORS, Microsoft Word/Excel).
8. **New Features in 2024 (R2024a/R2024b)**:
– **R2024a**: Enhanced side panels for coding tasks (Debugger, Project, Source Control, Test Browser, Code Issues, Code Outline), improved desktop search, and accessibility features (e.g., screen reader support).
– **R2024b**: Likely includes updates to Polyspace Access with improved database migration and Docker network handling for seamless upgrades.[]
– Continuous improvements in performance, usability, and integration with modern development practices.
