{"id":"https://openalex.org/W4414956269","doi":"https://doi.org/10.1109/tse.2025.3618552","title":"CEDAR: Silent Control Flow Error Detection via Heterogeneous Relation Learning","display_name":"CEDAR: Silent Control Flow Error Detection via Heterogeneous Relation Learning","publication_year":2025,"publication_date":"2025-10-08","ids":{"openalex":"https://openalex.org/W4414956269","doi":"https://doi.org/10.1109/tse.2025.3618552"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2025.3618552","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2025.3618552","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5104360912","display_name":"Yang Liu","orcid":"https://orcid.org/0009-0001-2596-8419"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yang Liu","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu, China"],"raw_orcid":"https://orcid.org/0009-0001-2596-8419","affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100370034","display_name":"Jingjing Gu","orcid":"https://orcid.org/0000-0002-3989-1520"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jingjing Gu","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu, China"],"raw_orcid":"https://orcid.org/0000-0002-3989-1520","affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005439960","display_name":"Jingxuan Zhang","orcid":"https://orcid.org/0000-0002-8437-6640"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jingxuan Zhang","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu, China"],"raw_orcid":"https://orcid.org/0000-0002-8437-6640","affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5117243255","display_name":"Bao Wen","orcid":"https://orcid.org/0009-0004-4750-6516"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bao Wen","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu, China"],"raw_orcid":"https://orcid.org/0009-0004-4750-6516","affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068220355","display_name":"Yi Zhuang","orcid":"https://orcid.org/0000-0003-0706-0148"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yi Zhuang","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu, China"],"raw_orcid":"https://orcid.org/0000-0003-0706-0148","affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu, China","institution_ids":["https://openalex.org/I9842412"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I9842412"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.13935255,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"51","issue":"12","first_page":"3486","last_page":"3506"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9900000095367432,"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"}},"topics":[{"id":"https://openalex.org/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9900000095367432,"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"}},{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9869999885559082,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.953000009059906,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.6442000269889832},{"id":"https://openalex.org/keywords/control-flow-graph","display_name":"Control flow graph","score":0.6133999824523926},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.5508000254631042},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.48260000348091125},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"Data-flow analysis","score":0.45809999108314514},{"id":"https://openalex.org/keywords/error-detection-and-correction","display_name":"Error detection and correction","score":0.4027999937534332},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3529999852180481},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.33000001311302185},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.3253999948501587}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7922999858856201},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6442000269889832},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.6133999824523926},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.5508000254631042},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.48260000348091125},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.45809999108314514},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.4027999937534332},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.39430001378059387},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.36730000376701355},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3628000020980835},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3529999852180481},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.33000001311302185},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.3253999948501587},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3246000111103058},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.32409998774528503},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.31839999556541443},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3149999976158142},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.31060001254081726},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.3034000098705292},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3012999892234802},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2937999963760376},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.29159998893737793},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.29159998893737793},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.28839999437332153},{"id":"https://openalex.org/C114809511","wikidata":"https://www.wikidata.org/wiki/Q1412924","display_name":"Flow network","level":2,"score":0.2791999876499176},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.27140000462532043},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.2700999975204468},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.2678000032901764},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.262800008058548},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.25619998574256897}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2025.3618552","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2025.3618552","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4361266879","display_name":null,"funder_award_id":"62272225","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5507867357","display_name":"\u9762\u5411\u57ce\u5e02\u6f14\u53d8\u591a\u91cd\u5173\u7cfb\u9a71\u52a8\u7684\u7fa4\u4f53\u51fa\u884c\u6d41\u91cf\u9884\u6d4b\u7684\u7814\u7a76","funder_award_id":"62072235","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W1535906379","https://openalex.org/W1585229822","https://openalex.org/W1619770058","https://openalex.org/W2013037345","https://openalex.org/W2031411490","https://openalex.org/W2053227059","https://openalex.org/W2092621316","https://openalex.org/W2104189106","https://openalex.org/W2116991991","https://openalex.org/W2151677873","https://openalex.org/W2152757758","https://openalex.org/W2156858199","https://openalex.org/W2167381349","https://openalex.org/W2169596872","https://openalex.org/W2270806459","https://openalex.org/W2529578574","https://openalex.org/W2757242886","https://openalex.org/W2762342203","https://openalex.org/W2791148710","https://openalex.org/W2885960763","https://openalex.org/W2898435572","https://openalex.org/W2904542630","https://openalex.org/W2914884088","https://openalex.org/W2917704380","https://openalex.org/W2922164696","https://openalex.org/W2962715466","https://openalex.org/W3012871709","https://openalex.org/W3029334495","https://openalex.org/W3041354572","https://openalex.org/W3043384436","https://openalex.org/W3161071537","https://openalex.org/W3185267556","https://openalex.org/W3187180791","https://openalex.org/W3193634559","https://openalex.org/W3198151908","https://openalex.org/W4200137232","https://openalex.org/W4205708710","https://openalex.org/W4206775542","https://openalex.org/W4221033043","https://openalex.org/W4232751114","https://openalex.org/W4246166885","https://openalex.org/W4281696364","https://openalex.org/W4321021729","https://openalex.org/W4321636616","https://openalex.org/W4380763529","https://openalex.org/W4383901236","https://openalex.org/W4385413375","https://openalex.org/W4386496650","https://openalex.org/W4388031367","https://openalex.org/W4392265901","https://openalex.org/W4394730857","https://openalex.org/W4396659955","https://openalex.org/W4403390226","https://openalex.org/W4406495708"],"related_works":[],"abstract_inverted_index":{"Control":[0],"flow":[1,90],"errors":[2],"(CFEs)":[3],"are":[4,136],"prevalent":[5],"and":[6,14,80,123,142,157,186,196],"de-structive":[7],"runtime":[8],"faults":[9],"that":[10,149],"compromise":[11],"software":[12],"reliability":[13],"security.":[15],"Existing":[16],"CFE":[17,71,145],"detection":[18,72],"approaches":[19],"either":[20],"perform":[21],"coarse-grained":[22],"modeling":[23],"at":[24],"the":[25,109,170,177],"basic-block":[26],"level,":[27],"missing":[28],"fine-grained":[29],"implicit":[30],"features,":[31],"or":[32],"rely":[33],"on":[34,159],"exhaustive":[35],"fault":[36,94],"injection":[37],"for":[38,48,161],"detailed":[39],"error":[40],"patterns.":[41],"These":[42],"limitations":[43],"hinder":[44],"efficient":[45],"detection,":[46],"especially":[47],"silent":[49,76,120,140,155],"CFEs,":[50],"where":[51],"branches":[52],"deviate":[53],"from":[54],"correct":[55],"paths,":[56],"yet":[57],"still":[58],"follow":[59],"compiler-defined":[60],"ones.":[61],"To":[62],"bridge":[63],"this":[64],"gap,":[65],"we":[66,85,112],"propose":[67],"CEDAR,":[68],"a":[69,103,125,181],"novel":[70],"approach,":[73,179],"which":[74],"detects":[75],"CFEs":[77,141,156],"by":[78,97,174],"localizing":[79],"hardening":[81,134],"vulnerable":[82,129],"instructions.":[83,130],"Specifically,":[84],"first":[86],"conduct":[87],"multi-level":[88],"control":[89],"analysis":[91],"with":[92],"limited":[93],"injection,":[95],"enhanced":[96],"dynamic":[98],"data":[99],"propagation,":[100],"to":[101,118,127,138],"construct":[102],"dual-layer":[104],"heterogeneous":[105],"graph":[106],"representation":[107],"of":[108,154],"program.":[110],"Subsequently,":[111],"employ":[113],"Graph":[114],"Neural":[115],"Networks":[116],"(GNNs)":[117],"learn":[119],"CFE-relevant":[121],"embeddings":[122],"develop":[124],"model":[126],"localize":[128],"Finally,":[131],"targeted":[132],"program":[133],"mechanisms":[135],"integrated":[137],"detect":[139],"improve":[143],"overall":[144,162],"coverage.":[146],"Experiments":[147],"demonstrate":[148],"CEDAR":[150],"achieves":[151],"92.28%":[152],"coverage":[153],"96.47%":[158],"average":[160],"CFEs.":[163],"While":[164],"maintaining":[165],"high":[166],"coverage,":[167],"it":[168,189],"improves":[169],"Evaluation":[171],"Factor":[172],"(EF)":[173],"21.97%":[175],"over":[176],"state-of-the-art":[178],"achieving":[180],"favorable":[182],"trade-off":[183],"between":[184],"effectiveness":[185],"overhead.":[187],"More-over,":[188],"demonstrates":[190],"robustness":[191],"across":[192],"diverse":[193],"input":[194],"scenarios":[195],"Instruction":[197],"Set":[198],"Architectures":[199],"(ISAs).":[200]},"counts_by_year":[],"updated_date":"2025-12-12T23:16:27.785689","created_date":"2025-10-10T00:00:00"}