{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T11:34:20Z","timestamp":1753875260642,"version":"3.41.2"},"reference-count":28,"publisher":"Informa UK Limited","issue":"1","license":[{"start":{"date-parts":[[2023,6,16]],"date-time":"2023-06-16T00:00:00Z","timestamp":1686873600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100004663","name":"Ministry of Science and Technology, Taiwan","doi-asserted-by":"publisher","award":["MOST 110-2221-E-194-019-MY3"],"award-info":[{"award-number":["MOST 110-2221-E-194-019-MY3"]}],"id":[{"id":"10.13039\/501100004663","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Connection Science"],"published-print":{"date-parts":[[2023,12,31]]},"DOI":"10.1080\/09540091.2023.2222934","type":"journal-article","created":{"date-parts":[[2023,6,16]],"date-time":"2023-06-16T16:47:14Z","timestamp":1686934034000},"update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":0,"title":["A GCC-based checker for compliance with MISRA-C's single-translation-unit rules"],"prefix":"10.1080","volume":"35","author":[{"given":"Chih-Yuan","family":"Chen","sequence":"first","affiliation":[{"name":"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"}]},{"given":"Yung-An","family":"Fang","sequence":"additional","affiliation":[{"name":"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"}]},{"given":"Guan-Ren","family":"Wang","sequence":"additional","affiliation":[{"name":"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"}]},{"given":"Peng-Sheng","family":"Chen","sequence":"additional","affiliation":[{"name":"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"}]}],"member":"301","published-online":{"date-parts":[[2023,6,16]]},"reference":[{"key":"e_1_3_2_2_1","doi-asserted-by":"crossref","unstructured":"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\u201323). Springer International Publishing.","DOI":"10.1007\/978-3-319-99725-4_2"},{"key":"e_1_3_2_3_1","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/978-3-319-99725-4_2"},{"key":"e_1_3_2_4_1","unstructured":"Cppcheck (n.d.). Cppcheck: a tool for static C\/C++ code analysis. https:\/\/cppcheck.sourceforge.io."},{"key":"e_1_3_2_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2173"},{"key":"e_1_3_2_6_1","unstructured":"GrammaTech (n.d.). CodeSonar C\/C++: static code analysis when safety and security matter. Accessed: 2023-02-28. https:\/\/www.grammatech.com\/codesonar-cc."},{"key":"e_1_3_2_7_1","unstructured":"Hermenegildo M. V. Bueno Carrillo F. Cabeza Gras D. Carro Li\u00f1ares M. Garc\u00eda de la Banda M. L\u00f3pez Garc\u00eda P. & A. G. Puebla S\u00e1nchez (1996). The CIAO multi-dialect compiler and system: an experimentation workbench for future (C) LP systems."},{"key":"e_1_3_2_8_1","unstructured":"IAR Systems (n.d.). IAR C-STAT: static analysis tool. (Accessed: 2023-02-28). https:\/\/www.iar.com\/cstat."},{"key":"e_1_3_2_9_1","unstructured":"ISO (1999). ISO C standard 1999. Technical report. ISO\/IEC 9899:1999 draft."},{"key":"e_1_3_2_10_1","doi-asserted-by":"crossref","unstructured":"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\u201386). IEEE Computer Society.","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_11_1","unstructured":"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#."},{"key":"e_1_3_2_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.07.065"},{"key":"e_1_3_2_13_1","unstructured":"MathWorks (n.d.). Polyspace: making critical code safe and secure. (Accessed: 2023-02-28). https:\/\/www.mathworks.com\/products\/polyspace.html."},{"key":"e_1_3_2_14_1","unstructured":"Mihailovici M. (2021). When sofware writes sofware. Porsche Engineering Magazine."},{"key":"e_1_3_2_15_1","unstructured":"MISRA (2002). A MISRA C exemplary test suite. (Accessed: 2023-02-28). https:\/\/www.leshatton.org\/MISRA_CNF_1002.html."},{"key":"e_1_3_2_16_1","unstructured":"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."},{"key":"e_1_3_2_17_1","unstructured":"MISRA C Working Group (2013). MISRA C:2012 Guidelines for the use of the C language in critical systems. MISRA."},{"key":"e_1_3_2_18_1","unstructured":"MISRA C Working Group (2016). MISRA C:2012 Amendment 1 Additional security guidelines for MISRA C:2012. MISRA."},{"key":"e_1_3_2_19_1","unstructured":"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\/."},{"key":"e_1_3_2_20_1","unstructured":"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."},{"key":"e_1_3_2_21_1","unstructured":"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\/."},{"key":"e_1_3_2_22_1","unstructured":"SC22\/WG14 (1990). Implementation of ISO\/IEC 9899:1990 (E) Programming languages \u2013 C . British Standards Institution."},{"key":"e_1_3_2_23_1","unstructured":"Sebor M. (2019). Understanding GCC warnings. https:\/\/developers.redhat.com\/blog\/2019\/03\/13\/understanding-gcc-warnings."},{"key":"e_1_3_2_24_1","unstructured":"Stallman R. Pesch R. & Shebs S. (2011). Debugging with GDB . Free Software Foundation 10 edition."},{"key":"e_1_3_2_25_1","unstructured":"Stallman R. M. the GCC Developer Community (2020). Using the GNU Compiler Collection . GNU Press. Online available at http:\/\/gcc.gnu.org\/onlinedocs."},{"key":"e_1_3_2_26_1","unstructured":"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."},{"key":"e_1_3_2_27_1","unstructured":"Synopsys (n.d.b). What is MISRA? https:\/\/www.synopsys.com\/automotive\/what-is-misra.html."},{"key":"e_1_3_2_28_1","unstructured":"Vector Informatik (n.d.). PC-lint plus: static code analysis for C and C++. (Accessed: 2023-02-28). https:\/\/pclintplus.com\/pc-lint-plus\/."},{"key":"e_1_3_2_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-007-0022-4"}],"container-title":["Connection Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/09540091.2023.2222934","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,28]],"date-time":"2023-12-28T07:44:58Z","timestamp":1703749498000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/09540091.2023.2222934"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,16]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,12,31]]}},"alternative-id":["10.1080\/09540091.2023.2222934"],"URL":"https:\/\/doi.org\/10.1080\/09540091.2023.2222934","relation":{},"ISSN":["0954-0091","1360-0494"],"issn-type":[{"type":"print","value":"0954-0091"},{"type":"electronic","value":"1360-0494"}],"subject":[],"published":{"date-parts":[[2023,6,16]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=ccos20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=ccos20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2023-01-02","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-06-03","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-06-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}],"article-number":"2222934"}}