LDRA Tool Suite brings static code analysis up to date
The latest version of the LDRA software tool suite from the eponymous vendor hast integrated the current MISRA C:2023 guidelines for static code analysis and reporting capabilities.
Thus, the tool suite support embedded developers in aerospace, automotive, defense, industrial and energy sectors to identify and mitigate potentially dangerous code in increasingly complex and difficult-to-test multithreaded, multi-processor systems.
Introduced in 1998, MISRA C is the standard for developing software in the C programming language where safety, security and code quality are essential. At the ongoing Embedded World in Nuremberg, the MISRA C Working Group has announced MISRA C:2012 Amendment 4 (AMD4), which specifies rules and directives for multithreading and atomic types as well as clarifications on existing guidance so as to better align with how developers use the C language today. The group will also introduce MISRA C:2023, which consolidates previous versions of the guidelines into a single, comprehensive edition to facilitate compliance.
According to said Ian Hennell, Operations Director, LDRA, MISRA C guidelines drive the development toward safe, secure and reliable code. The guidelines have evolved over the years to apply to software beyond automotive and address additional security considerations while aligning to newer editions of the C standard, including methods of multithreading and atomic types introduced in ISO/IEC 9899:2011 and 2018 (more colloquially known as C11 and C18).
The MISRA C guidelines contain a recommendation to use static analysis tools to validate code against its rules and directives. With support for all versions of the MISRA guidelines, the LDRA tool suite:
- – Employs static analysis to identify areas of non-conformant code to aid documentation and modification
- – Includes extensive reports and graphical displays to enhance understanding of the source code in line with MISRA guidelines.
- – Facilitates structural coverage analysis to ensure developers can measure and maintain the amount of tested code, as recommended by the MISRA guidelines.
Adopting static analysis tools reduce risks in new software development, advertises LDRA. “Furthermore, by consolidating the recent enhancements into a single source, MISRA C:2023 provides the new benchmark guidance for developers of safety- or security-related, or indeed any high-integrity, software,” says Banks, who serves on the MISRA C Working Group with LDRA colleague and MISRA C++ Working Group chairman Chris Tapp.