{"id":"https://openalex.org/W4284961179","doi":"https://doi.org/10.1007/s10664-022-10146-1","title":"CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively","display_name":"CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively","publication_year":2022,"publication_date":"2022-07-08","ids":{"openalex":"https://openalex.org/W4284961179","doi":"https://doi.org/10.1007/s10664-022-10146-1"},"language":"en","primary_location":{"id":"doi:10.1007/s10664-022-10146-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10664-022-10146-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10664-022-10146-1.pdf","source":{"id":"https://openalex.org/S109852484","display_name":"Empirical Software Engineering","issn_l":"1382-3256","issn":["1382-3256","1573-7616"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Empirical Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10664-022-10146-1.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068864058","display_name":"Karine Even-Mendoza","orcid":"https://orcid.org/0000-0002-3099-1189"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Karine Even-Mendoza","raw_affiliation_strings":["Imperial College London, Department of Computing, London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College London, Department of Computing, London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053355200","display_name":"Cristian Cadar","orcid":"https://orcid.org/0000-0002-3599-7264"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Cristian Cadar","raw_affiliation_strings":["Imperial College London, Department of Computing, London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College London, Department of Computing, London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080781439","display_name":"Alastair F. Donaldson","orcid":"https://orcid.org/0000-0002-7448-7961"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alastair F. Donaldson","raw_affiliation_strings":["Imperial College London, Department of Computing, London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College London, Department of Computing, London, UK","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5068864058"],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":6.8716,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.97572362,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"27","issue":"6","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/compiler","display_name":"Compiler","score":0.9305346012115479},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8419599533081055},{"id":"https://openalex.org/keywords/interprocedural-optimization","display_name":"Interprocedural optimization","score":0.7899653911590576},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.7422623038291931},{"id":"https://openalex.org/keywords/compiler-correctness","display_name":"Compiler correctness","score":0.6885056495666504},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6057898998260498},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.4799935519695282},{"id":"https://openalex.org/keywords/hang","display_name":"Hang","score":0.47802576422691345},{"id":"https://openalex.org/keywords/limiting","display_name":"Limiting","score":0.4147469997406006},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3147638738155365},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.30338260531425476},{"id":"https://openalex.org/keywords/loop-optimization","display_name":"Loop optimization","score":0.2882925271987915}],"concepts":[{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.9305346012115479},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8419599533081055},{"id":"https://openalex.org/C111564260","wikidata":"https://www.wikidata.org/wiki/Q4288856","display_name":"Interprocedural optimization","level":5,"score":0.7899653911590576},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.7422623038291931},{"id":"https://openalex.org/C68366613","wikidata":"https://www.wikidata.org/wiki/Q5156378","display_name":"Compiler correctness","level":3,"score":0.6885056495666504},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6057898998260498},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.4799935519695282},{"id":"https://openalex.org/C2781323245","wikidata":"https://www.wikidata.org/wiki/Q1363761","display_name":"Hang","level":2,"score":0.47802576422691345},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.4147469997406006},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3147638738155365},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.30338260531425476},{"id":"https://openalex.org/C29331672","wikidata":"https://www.wikidata.org/wiki/Q3354468","display_name":"Loop optimization","level":4,"score":0.2882925271987915},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s10664-022-10146-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10664-022-10146-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10664-022-10146-1.pdf","source":{"id":"https://openalex.org/S109852484","display_name":"Empirical Software Engineering","issn_l":"1382-3256","issn":["1382-3256","1573-7616"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Empirical Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:kclpure.kcl.ac.uk:openaire/84d6d6c7-4293-441d-af22-d3144785d579","is_oa":true,"landing_page_url":"https://kclpure.kcl.ac.uk/portal/en/publications/84d6d6c7-4293-441d-af22-d3144785d579","pdf_url":null,"source":{"id":"https://openalex.org/S4306400216","display_name":"Research Portal (King's College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I183935753","host_organization_name":"King's College London","host_organization_lineage":["https://openalex.org/I183935753"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Even-Mendoza, K, Cadar, C & Donaldson, A F 2022, 'CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively', EMPIRICAL SOFTWARE ENGINEERING, vol. 27, no. 6, 129. https://doi.org/10.1007/s10664-022-10146-1","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/96987","is_oa":true,"landing_page_url":"http://hdl.handle.net/10044/1/96987","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"}],"best_oa_location":{"id":"doi:10.1007/s10664-022-10146-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10664-022-10146-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10664-022-10146-1.pdf","source":{"id":"https://openalex.org/S109852484","display_name":"Empirical Software Engineering","issn_l":"1382-3256","issn":["1382-3256","1573-7616"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Empirical Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.6000000238418579}],"awards":[{"id":"https://openalex.org/G1641431731","display_name":null,"funder_award_id":"EP/R006865/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G1934935867","display_name":null,"funder_award_id":"Engineering and Physical Sciences R","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4598332832","display_name":null,"funder_award_id":"EP/R011605/1 and EP/R006865/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4956428346","display_name":null,"funder_award_id":"Horizon 2020 research and innovatio","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5036817778","display_name":null,"funder_award_id":"European Union's Horizon 2020 research and innov","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6480646621","display_name":"Interface reasoning for interacting systems (IRIS).","funder_award_id":"EP/R006865/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7810353978","display_name":"Automatically Detecting and Surviving Exploitable Compiler Bugs","funder_award_id":"EP/R011605/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8318064016","display_name":null,"funder_award_id":"Horizon","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8633428685","display_name":null,"funder_award_id":"European Union's Horizon 2020 research and innovat","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8820919500","display_name":null,"funder_award_id":"EP/R011605/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8840470266","display_name":null,"funder_award_id":"R006865/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G947817967","display_name":"Program Analysis for Safe and Secure Software Evolution","funder_award_id":"819141","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4284961179.pdf","grobid_xml":"https://content.openalex.org/works/W4284961179.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W165943180","https://openalex.org/W190884830","https://openalex.org/W1966021031","https://openalex.org/W1978364288","https://openalex.org/W1981618658","https://openalex.org/W2023035194","https://openalex.org/W2025898372","https://openalex.org/W2041713059","https://openalex.org/W2095027325","https://openalex.org/W2095445208","https://openalex.org/W2132984320","https://openalex.org/W2151704521","https://openalex.org/W2155877593","https://openalex.org/W2170737051","https://openalex.org/W2295658119","https://openalex.org/W2324595780","https://openalex.org/W2370472429","https://openalex.org/W2532737545","https://openalex.org/W2576158840","https://openalex.org/W2759550170","https://openalex.org/W2964241064","https://openalex.org/W3000636126","https://openalex.org/W3107362213","https://openalex.org/W3124420928","https://openalex.org/W3126096841","https://openalex.org/W3173506450","https://openalex.org/W4238083723","https://openalex.org/W4240590466"],"related_works":["https://openalex.org/W4246454774","https://openalex.org/W2121223013","https://openalex.org/W4220800565","https://openalex.org/W2094199724","https://openalex.org/W2083681681","https://openalex.org/W2169584677","https://openalex.org/W4232954277","https://openalex.org/W2749133591","https://openalex.org/W4240253816","https://openalex.org/W4389209036"],"abstract_inverted_index":{"Abstract":[0],"Compiler":[1,210],"fuzzing":[2],"techniques":[3],"require":[4],"a":[5,84,121],"means":[6],"of":[7,35,41,65,79,147,160,202],"generating":[8],"programs":[9,44,104,166,180],"that":[10,151,187,212,231,246],"are":[11,105],"free":[12],"from":[13],"undefined":[14],"behaviour":[15],"(UB)":[16],"to":[17,69,99,109,125,170,185,216,228],"reliably":[18],"reveal":[19],"miscompilation":[20,173,221],"bugs.":[21],"Existing":[22],"program":[23,132],"generators":[24],"such":[25],"as":[26],"Csmith":[27,91,139,240],"achieve":[28],"UB-freedom":[29,153],"by":[30],"heavily":[31],"restricting":[32],"the":[33,42,47,55,63,76,96,130,158,188,206],"form":[34],"generated":[36,103,131],"programs.":[37],"The":[38,163,178],"idiomatic":[39],"nature":[40],"resulting":[43,164],"risks":[45],"limiting":[46],"test":[48,171,191],"coverage":[49],"they":[50,58],"can":[51,59,167,181],"offer,":[52],"and":[53,120,135,205,242],"thus":[54,102],"compiler":[56,81,189],"bugs":[57,174,222,245],"discover.":[60],"We":[61],"investigate":[62],"idea":[64],"adapting":[66],"existing":[67],"fuzzers":[68],"be":[70,110,168,183,234],"less":[71],"restrictive":[72],"concerning":[73],"UB,":[74],"in":[75,144,226],"practical":[77],"setting":[78],"C":[80],"testing":[82,238],"via":[83,175,236],"new":[85],"tool,":[86],"CsmithEdge":[87,93,213],",":[88,241],"which":[89],"extends":[90],".":[92],"probabilistically":[94],"weakens":[95],"constraints":[97],"used":[98,169,184],"enforce":[100],"UB-freedom,":[101],"no":[106],"longer":[107],"guaranteed":[108],"UB-free.":[111],"It":[112],"then":[113],"employs":[114],"several":[115],"off-the-shelf":[116],"UB":[117,134],"detection":[118],"tools":[119],"novel":[122],"dynamic":[123],"analysis":[124],"(a)":[126],"detect":[127],"cases":[128],"where":[129,138],"exhibits":[133],"(b)":[136],"determine":[137],"has":[140],"been":[141],"too":[142],"conservative":[143],"its":[145],"use":[146,159],"safe":[148],"math":[149],"wrappers":[150],"guarantee":[152],"for":[154,172],"arithmetic":[155],"operations,":[156],"removing":[157],"redundant":[161],"ones.":[162],"UB-free":[165],"differential":[176],"testing.":[177],"non-UB-free":[179],"still":[182],"check":[186],"under":[190],"does":[192],"not":[193,233],"crash":[194],"or":[195],"hang.":[196],"Our":[197],"experiments":[198],"on":[199],"recent":[200],"versions":[201],"GCC,":[203],"LLVM":[204],"Microsoft":[207],"Visual":[208],"Studio":[209],"show":[211],"was":[214],"able":[215],"discover":[217],"7":[218],"previously":[219],"unknown":[220],"(5":[223],"already":[224],"fixed":[225,248],"response":[227],"our":[229],"reports)":[230],"could":[232],"found":[235],"intensive":[237],"using":[239],"2":[243],"compiler-hang":[244],"were":[247],"independently":[249],"shortly":[250],"before":[251],"we":[252],"considered":[253],"reporting":[254],"them.":[255]},"counts_by_year":[{"year":2025,"cited_by_count":11},{"year":2024,"cited_by_count":10},{"year":2023,"cited_by_count":4}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}