Parasoft supports MISRA-C 2025

Parasoft, a software company based in the US, is expediting the release of its C/C++test 2025.1 software in response to the recent publication of the MISRA-C:2025 coding specification tailored for safety-critical systems.

One of the key updates in the latest MISRA-C guidelines is the clarification regarding AI-generated code. It now explicitly states that AI-generated code should be treated equivalently to manually written code, resolving any ambiguity in this area.

The Parasoft extension for Visual Studio Code leverages GenAI technology to speed up the identification and resolution of MISRA and other standards violations. By simply clicking a button, developers can access detailed explanations of violations and proposed code fixes that automatically replace the non-compliant code.

• MISRA-C Introduces 2025 Guidelines

MISRA C:2025 aims to simplify compliance efforts by eliminating outdated rules and reinforcing coding best practices. Notably, the new guidelines enhance functional safety by imposing stricter rules on unions and pointers to reduce the risks of undefined behavior. Moreover, developers now have more flexibility in terminating switch clauses, such as using return or continue statements, enabling them to streamline audits and avoid unnecessary rework.

Set to be released in May 2025, Parasoft C/C++2025.1 will facilitate a seamless transition to the latest MISRA C standards, leading to reduced compliance costs and complexities. Industries subject to stringent regulations, such as automotive, aerospace, defense, medical, industrial automation, and railway sectors, stand to benefit from this swift response and early access to align their source code with the updated MISRA regulations.

“Our commitment lies in empowering software developers by embracing the latest MISRA guidelines, which are instrumental in delivering secure, reliable, and safe code,” stated Igor Kirilenko, the chief product officer at Parasoft. “As one of the pioneering providers of software testing solutions supporting MISRA C:2025, we provide our customers with the confidence to enhance software quality amidst the ever-evolving technological landscape.”

The Parasoft Development Testing Platform (DTP) offers specialized compliance reporting tailored for MISRA-C:2025, streamlining the code certification process. Through web-based reports, users can track the progress of compliance processes efficiently. The availability of dedicated reports, such as the Guidelines Enforcement Plan, Recategorization Plan, Deviations Report, and Compliance Summary, significantly reduces audit efforts and alleviates compliance-related stress.