{"id":"https://openalex.org/W4380992142","doi":"https://doi.org/10.1080/09540091.2023.2222934","title":"A GCC-based checker for compliance with MISRA-C's single-translation-unit rules","display_name":"A GCC-based checker for compliance with MISRA-C's single-translation-unit rules","publication_year":2023,"publication_date":"2023-06-16","ids":{"openalex":"https://openalex.org/W4380992142","doi":"https://doi.org/10.1080/09540091.2023.2222934"},"language":"en","primary_location":{"id":"doi:10.1080/09540091.2023.2222934","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1080/09540091.2023.2222934","pdf_url":"https://www.tandfonline.com/doi/pdf/10.1080/09540091.2023.2222934?needAccess=true&role=button","source":{"id":"https://openalex.org/S4210188800","display_name":"Connection Science","issn_l":"0954-0091","issn":["0954-0091","1360-0494"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Connection Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.tandfonline.com/doi/pdf/10.1080/09540091.2023.2222934?needAccess=true&role=button","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076412762","display_name":"Chih\u2010Yuan Chen","orcid":"https://orcid.org/0000-0001-7665-5909"},"institutions":[{"id":"https://openalex.org/I148099254","display_name":"National Chung Cheng University","ror":"https://ror.org/0028v3876","country_code":"TW","type":"education","lineage":["https://openalex.org/I148099254"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Chih-Yuan Chen","raw_affiliation_strings":["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"],"affiliations":[{"raw_affiliation_string":"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","institution_ids":["https://openalex.org/I148099254"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101213895","display_name":"Yung-An Fang","orcid":null},"institutions":[{"id":"https://openalex.org/I148099254","display_name":"National Chung Cheng University","ror":"https://ror.org/0028v3876","country_code":"TW","type":"education","lineage":["https://openalex.org/I148099254"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Yung-An Fang","raw_affiliation_strings":["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"],"affiliations":[{"raw_affiliation_string":"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","institution_ids":["https://openalex.org/I148099254"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001070418","display_name":"Guan\u2010Ren Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I148099254","display_name":"National Chung Cheng University","ror":"https://ror.org/0028v3876","country_code":"TW","type":"education","lineage":["https://openalex.org/I148099254"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Guan-Ren Wang","raw_affiliation_strings":["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"],"affiliations":[{"raw_affiliation_string":"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","institution_ids":["https://openalex.org/I148099254"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101616908","display_name":"Peng\u2010Sheng Chen","orcid":"https://orcid.org/0000-0003-3875-4150"},"institutions":[{"id":"https://openalex.org/I148099254","display_name":"National Chung Cheng University","ror":"https://ror.org/0028v3876","country_code":"TW","type":"education","lineage":["https://openalex.org/I148099254"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"Peng-Sheng Chen","raw_affiliation_strings":["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"],"affiliations":[{"raw_affiliation_string":"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","institution_ids":["https://openalex.org/I148099254"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5101616908"],"corresponding_institution_ids":["https://openalex.org/I148099254"],"apc_list":{"value":1270,"currency":"USD","value_usd":1270},"apc_paid":{"value":1270,"currency":"USD","value_usd":1270},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12596314,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"35","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8652358055114746},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.771750807762146},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.622527003288269},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4845115542411804},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4667496979236603},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4124765396118164}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8652358055114746},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.771750807762146},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.622527003288269},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4845115542411804},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4667496979236603},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4124765396118164}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1080/09540091.2023.2222934","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1080/09540091.2023.2222934","pdf_url":"https://www.tandfonline.com/doi/pdf/10.1080/09540091.2023.2222934?needAccess=true&role=button","source":{"id":"https://openalex.org/S4210188800","display_name":"Connection Science","issn_l":"0954-0091","issn":["0954-0091","1360-0494"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Connection Science","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:3cf17d0dd33d43d3b1342d2d4bcea734","is_oa":true,"landing_page_url":"https://doaj.org/article/3cf17d0dd33d43d3b1342d2d4bcea734","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Connection Science, Vol 35, Iss 1 (2023)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1080/09540091.2023.2222934","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1080/09540091.2023.2222934","pdf_url":"https://www.tandfonline.com/doi/pdf/10.1080/09540091.2023.2222934?needAccess=true&role=button","source":{"id":"https://openalex.org/S4210188800","display_name":"Connection Science","issn_l":"0954-0091","issn":["0954-0091","1360-0494"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Connection Science","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.550000011920929,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G3285786385","display_name":null,"funder_award_id":"MOST 110-2221-E-194-019-MY3","funder_id":"https://openalex.org/F4320322795","funder_display_name":"Ministry of Science and Technology, Taiwan"}],"funders":[{"id":"https://openalex.org/F4320322795","display_name":"Ministry of Science and Technology, Taiwan","ror":"https://ror.org/02kv4zf79"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4380992142.pdf","grobid_xml":"https://content.openalex.org/works/W4380992142.grobid-xml"},"referenced_works_count":6,"referenced_works":["https://openalex.org/W1531030808","https://openalex.org/W1884279821","https://openalex.org/W2064583368","https://openalex.org/W2888867776","https://openalex.org/W4246166885","https://openalex.org/W4247602083"],"related_works":["https://openalex.org/W4240253816","https://openalex.org/W3096456556","https://openalex.org/W2169584677","https://openalex.org/W2979513934","https://openalex.org/W1713081424","https://openalex.org/W2127315869","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W4379536100","https://openalex.org/W1869907491"],"abstract_inverted_index":{"MISRA-C":[0,37],"is":[1,32,38,69,95],"a":[2,21,56,120],"writing":[3],"specification":[4],"for":[5],"the":[6,12,27,72,80,83,89,92],"C":[7],"programming":[8],"language":[9],"defined":[10],"by":[11,41],"Motor":[13],"Industry":[14],"Software":[15],"Reliability":[16],"Association":[17],"(MISRA).":[18],"It":[19,108],"establishes":[20],"set":[22],"of":[23,29,59,104],"rules":[24],"to":[25,97],"enhance":[26],"development":[28],"software":[30],"that":[31],"safe,":[33],"reliable,":[34],"and":[35,47,50,86,114],"portable.":[36],"widely":[39],"adopted":[40],"industries":[42],"such":[43],"as":[44],"aerospace,":[45],"defense":[46],"security,":[48],"telecommunications,":[49],"medical":[51],"device":[52],"manufacturers.":[53],"We":[54],"developed":[55],"static":[57],"detector":[58],"code's":[60],"compliance":[61,100],"with":[62,101],"MISRA-C's":[63],"single-translation-unit":[64,106],"rules.":[65,107],"The":[66,124],"code":[67,126],"checker":[68,94],"based":[70],"on":[71],"GNU":[73],"Compiler":[74],"Collection":[75],"(GCC).":[76],"This":[77],"paper":[78],"describes":[79],"strategies":[81],"underlying":[82],"detector's":[84],"design":[85],"implementation.":[87],"For":[88],"tested":[90],"benchmarks,":[91],"proposed":[93],"demonstrated":[96],"correctly":[98],"assess":[99],"or":[102],"violation":[103],"all":[105],"can":[109,127],"also":[110],"obtain":[111],"more":[112,115],"accurate":[113],"complete":[116],"results":[117],"than":[118],"Cppcheck,":[119],"popular":[121],"open-source":[122],"checker.":[123],"source":[125],"be":[128],"downloaded":[129],"from":[130],"https://github.com/CCU-HPCLAB/GCC-MISRAC-Checker.":[131]},"counts_by_year":[],"updated_date":"2025-12-22T23:10:17.713674","created_date":"2025-10-10T00:00:00"}