Parasoft C/C++test Delivers Full Support for MISRA C++:2023 TC1 on Day One

Complete support for the latest MISRA C++:2023 corrections and clarifications helps embedded development teams keep compliance analysis current.

MONROVIA, Calif. — Tuesday, September 15 — Parasoft, a global leader in automated software testing for safety- and security-critical software, today announced that Parasoft C/C++test fully supports MISRA C++:2023 Technical Corrigenda 1 (TC1:2026). Available now, the complete support enables embedded development teams to apply the latest corrected and clarified MISRA C++ guidance directly within their existing static analysis and compliance workflows.

MISRA C++:2023 TC1 addresses issues identified since publication of the guidelines. While some changes correct examples and terminology, others affect how rules should be interpreted and enforced, including changes to exceptions, analysis scope, and the classification of compliant and non-compliant code.

For example, TC1 adds an exception permitting controlling expressions resulting from the assert macro and clarifies the treatment of necessary writes, feasible execution paths, and [[maybe_unused]]. It also updates guidance for modern C++ constructs and practices, including templates, numeric conversions, memory management, moved-from objects, and the curiously recurring template pattern (CRTP). Specifically, the CRTP change addresses a case in which the original rule unreasonably prohibited use of the pattern.

C/C++test provides full MISRA C++:2023 (TC1) compliance support.

"MISRA compliance depends on more than having a rule with the right number. Static analysis must reflect the intent, exceptions, and analysis requirements behind that rule," said Michal Rozenau, project lead software engineer at Parasoft and contributing member of MISRA working groups. "With complete support for MISRA C++:2023 TC1, C/C++test gives teams confidence that their analysis is aligned with the latest MISRA guidance.

For organizations developing safety- and security-critical C++ software, keeping static analysis aligned with MISRA updates helps prevent unnecessary investigation of findings based on superseded interpretations while ensuring newly clarified cases are correctly identified.

C/C++test automates enforcement of the updated MISRA C++:2023 guidance across developer and CI/CD workflows, helping teams identify and remediate violations and produce compliance evidence. C/C++test incorporates the applicable TC1 changes directly into the compliance workflow, eliminating the need for teams to manually interpret the corrigenda and assess how each change affects their analysis.

With complete MISRA C++:2023 TC1 support, Parasoft helps organizations keep their compliance programs current while confidently adopting modern C++ practices for critical software development.

Learn more about Parasoft C/C++test and MISRA compliance.

About Parasoft

Parasoft helps organizations continuously deliver high-quality software with its AI-powered software testing platform and automated test solutions. Supporting the embedded, enterprise, and IoT markets, Parasoft’s proven technologies reduce the time, effort, and cost of delivering secure, reliable, and compliant software by integrating everything from deep code analysis and unit testing to web UI and API testing, plus service virtualization and complete code coverage, into the delivery pipeline. Bringing all this together, Parasoft’s award-winning reporting and analytics dashboard provides a centralized view of quality, enabling organizations to deliver with confidence and succeed in today’s most strategic ecosystems and development initiatives—security, safety-critical, Agile, DevOps, and continuous testing.

Media Contacts

For EMEA inquiries:

Beate Lorenzoni

beate@lorenzoni.de

+49 8122 559170