-
1
A GCC-based checker for compliance with MISRA-C's single-translation-unit rules
Published 2023-12-01“…The code checker is based on the GNU Compiler Collection (GCC). This paper describes the strategies underlying the detector's design and implementation. …”
Get full text
Article