A GCC-based checker for compliance with MISRA-C's single-translation-unit rules-Reference-Cited by-同舟云学术

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

Published:2023-06-16 Issue:1 Volume:35 Page:
ISSN:0954-0091
Container-title:Connection Science
language:en
Short-container-title:Connection Science

Author:

Chen Chih-Yuan¹,Fang Yung-An¹,Wang Guan-Ren¹,Chen Peng-Sheng¹

Affiliation:

1. Department of Computer Science and Information Engineering and Advanced Institute of Manufacturing for High-tech Innovations, National Chung Cheng University, Taiwan, People's Republic of China

Funder

Ministry of Science and Technology, Taiwan

Publisher

Informa UK Limited

Subject

Artificial Intelligence,Human-Computer Interaction,Software

Link

https://www.tandfonline.com/doi/pdf/10.1080/09540091.2023.2222934

Reference28 articles.

1. Bagnara R. Bagnara A. & Hill P. M.2018). The MISRA C coding standard and its role in the development and analysis of safety- and security-critical embedded software. In A. Podelski (Ed.) Static analysis (pp. 5–23). Springer International Publishing.

2. Bagnara R. Bagnara A. & Hill P. M. (2019). The MISRA C coding standard: a key enabler for the development of safety and security-critical embedded software. In Embedded world conference . Design & Elektronik.

3. Cppcheck (n.d.). Cppcheck: a tool for static C/C++ code analysis. https://cppcheck.sourceforge.io.

4. Constantine: configurable static analysis tool in Eclipse

5. GrammaTech (n.d.). CodeSonar C/C++: static code analysis when safety and security matter. Accessed: 2023-02-28. https://www.grammatech.com/codesonar-cc.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Call-site tree and its application in function inlining;International Journal of Embedded Systems;2024