A GCC-based checker for compliance with MISRA-C's single-translation-unit rules

A GCC-based checker for compliance with MISRA-C's single-translation-unit rules

MISRA-C is a writing specification for the C programming language defined by the Motor Industry Software Reliability Association (MISRA). It establishes a set of rules to enhance the development of software that is safe, reliable, and portable. MISRA-C is widely adopted by industries such as aerospa...

Full description

Saved in:
Bibliographic Details
Main Authors: Chih-Yuan Chen, Yung-An Fang, Guan-Ren Wang, Peng-Sheng Chen
Format: Article
Language:English
Published: Taylor & Francis Group 2023-12-01
Series:Connection Science
Subjects:
misra-c
compiler front-end
gcc
static analysis
software reliability
Online Access:http://dx.doi.org/10.1080/09540091.2023.2222934
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

http://dx.doi.org/10.1080/09540091.2023.2222934

Similar Items