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

References

• 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.
   Google Scholar
• 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.
   Google Scholar
• Cppcheck (n.d.). Cppcheck: a tool for static C/C++ code analysis. https://cppcheck.sourceforge.io.
   Google Scholar
• Gawade, M., Ravikanth, K., & Aggarwal, S. (2014). Constantine: configurable static analysis tool in Eclipse. Software: Practice and Experience, 44(5), 537–563. https://doi.org/10.1002/spe.2173
   Web of Science ®Google Scholar
• GrammaTech (n.d.). CodeSonar C/C++: static code analysis when safety and security matter. Accessed: 2023-02-28. https://www.grammatech.com/codesonar-cc.
   Google Scholar
• Hermenegildo, M. V., Bueno Carrillo, F., Cabeza Gras, D., Carro Liñares, M., García de la Banda, M., López García, P., & A. G. Puebla Sánchez (1996). The CIAO multi-dialect compiler and system: an experimentation workbench for future (C) LP systems.
   Google Scholar
• IAR Systems (n.d.). IAR C-STAT: static analysis tool. (Accessed: 2023-02-28). https://www.iar.com/cstat.
   Google Scholar
• ISO (1999). ISO C standard 1999. Technical report. ISO/IEC 9899:1999 draft.
   Google Scholar
• Lattner, C., & Adve, V. (2004). LLVM: a compilation framework for lifelong program analysis & transformation. In International symposium on code generation and optimization, CGO 2004 (pp. 75–86). IEEE Computer Society.
   Google Scholar
• Malcolm, D. (2020). Static analysis in GCC 10. (Accessed: 2021-06-30). https://developers.redhat.com/blog/2020/03/26/static-analysis-in-gcc-10#.
   Google Scholar
• Marpons, G., Mariño, J., Carro, M., Herranz, Á., Fredlund, L., Moreno-Navarro, J. J., & Polo, Á. (2009). A coding rule conformance checker integrated into GCC. Electronic Notes in Theoretical Computer Science, 248, 149–159. https://doi.org/10.1016/j.entcs.2009.07.065Proceedings of the Eighth Spanish Conference on Programming and Computer Languages (PROLE 2008).
   Google Scholar
• MathWorks (n.d.). Polyspace: making critical code safe and secure. (Accessed: 2023-02-28). https://www.mathworks.com/products/polyspace.html.
   Google Scholar
• Mihailovici, M. (2021). When sofware writes sofware. Porsche Engineering Magazine.
   Google Scholar
• MISRA (2002). A MISRA C exemplary test suite. (Accessed: 2023-02-28). https://www.leshatton.org/MISRA_CNF_1002.html.
   Google Scholar
• MISRA-C: Example-Suite (A suite of example files illustrating the issues addressed by MISRA C:2012. (Accessed: 2021-06-30). https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite.
   Google Scholar
• MISRA C Working Group (2013). MISRA C:2012 Guidelines for the use of the C language in critical systems. MISRA.
   Google Scholar
• MISRA C Working Group (2016). MISRA C:2012 Amendment 1, Additional security guidelines for MISRA C:2012. MISRA.
   Google Scholar
• Parasoft (n.d.). Parasoft C/C++test: a unified, fully integrated testing solution for C/C++ software development. (Accessed: 2023-02-28). https://www.parasoft.com/products/parasoft-c-ctest/.
   Google Scholar
• Perforce Software (n.d.). Helix QAC: best static code analyzer for functional safety and standards compliance. (Accessed: 2023-02-28). https://www.perforce.com/products/helix-qac.
   Google Scholar
• PVS-Studio (n.d.). PVS Studio: a static analyzer on guard of code quality, security (SAST), and code safety. (Accessed: 2023-02-28). https://pvs-studio.com/en/pvs-studio/.
   Google Scholar
• SC22/WG14 (1990). Implementation of ISO/IEC 9899:1990 (E) Programming languages – C. British Standards Institution.
   Google Scholar
• Sebor, M. (2019). Understanding GCC warnings. https://developers.redhat.com/blog/2019/03/13/understanding-gcc-warnings.
   Google Scholar
• Stallman, R., Pesch, R., & Shebs, S. (2011). Debugging with GDB. Free Software Foundation, 10 edition.
   Google Scholar
• Stallman, R. M., the GCC Developer Community, (2020). Using the GNU Compiler Collection. GNU Press. Online available at http://gcc.gnu.org/onlinedocs.
   Google Scholar
• Synopsys (n.d.a). Coverity: static application security testing. (Accessed: 2023-02-28). https://www.synopsys.com/software-integrity/security-testing/static-analysis-sast.html.
   Google Scholar
• Synopsys (n.d.b). What is MISRA? https://www.synopsys.com/automotive/what-is-misra.html.
   Google Scholar
• Vector Informatik (n.d.). PC-lint plus: static code analysis for C and C++. (Accessed: 2023-02-28). https://pclintplus.com/pc-lint-plus/.
   Google Scholar
• Volanschi, N. (2008). A portable compiler-integrated approach to permanent checking. Automated Software Engineering, 15(1), 3–33. https://doi.org/10.1007/s10515-007-0022-4
   Web of Science ®Google Scholar