{"id":"https://openalex.org/W4383102486","doi":"https://doi.org/10.1145/3607187","title":"<i>Adonis</i> : Practical and Efficient Control Flow Recovery through OS-level Traces","display_name":"<i>Adonis</i> : Practical and Efficient Control Flow Recovery through OS-level Traces","publication_year":2023,"publication_date":"2023-07-04","ids":{"openalex":"https://openalex.org/W4383102486","doi":"https://doi.org/10.1145/3607187"},"language":"en","primary_location":{"id":"doi:10.1145/3607187","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3607187","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3607187","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3607187","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052249316","display_name":"Xuanzhe Liu","orcid":"https://orcid.org/0000-0002-7908-8484"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xuanzhe Liu","raw_affiliation_strings":["Peking University, China"],"raw_orcid":"https://orcid.org/0000-0002-7908-8484","affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101931636","display_name":"Chengxu Yang","orcid":"https://orcid.org/0009-0009-6991-7195"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chengxu Yang","raw_affiliation_strings":["Peking University, China"],"raw_orcid":"https://orcid.org/0009-0009-6991-7195","affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039182822","display_name":"Ding Li","orcid":"https://orcid.org/0000-0001-7558-9137"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ding Li","raw_affiliation_strings":["Peking University, China"],"raw_orcid":"https://orcid.org/0000-0001-7558-9137","affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101827630","display_name":"Yuhan Zhou","orcid":"https://orcid.org/0000-0002-0729-7391"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuhan Zhou","raw_affiliation_strings":["Peking University, China"],"raw_orcid":"https://orcid.org/0000-0002-0729-7391","affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004424243","display_name":"Shaofei Li","orcid":"https://orcid.org/0009-0001-6530-5935"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shaofei Li","raw_affiliation_strings":["Peking University, China"],"raw_orcid":"https://orcid.org/0009-0001-6530-5935","affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100459760","display_name":"Jiali Chen","orcid":"https://orcid.org/0009-0008-5755-3681"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiali Chen","raw_affiliation_strings":["Peking University, China"],"raw_orcid":"https://orcid.org/0009-0008-5755-3681","affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031457464","display_name":"Zhenpeng Chen","orcid":"https://orcid.org/0000-0002-4765-1893"},"institutions":[{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Zhenpeng Chen","raw_affiliation_strings":["University College London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-4765-1893","affiliations":[{"raw_affiliation_string":"University College London, United Kingdom","institution_ids":["https://openalex.org/I45129253"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5052249316"],"corresponding_institution_ids":["https://openalex.org/I20231570"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08530896,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"33","issue":"1","first_page":"1","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.995199978351593,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/adonis","display_name":"Adonis","score":0.9643404483795166},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8423339128494263},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.5793083906173706},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.5625142455101013},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5124717354774475},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4254082441329956},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3231412172317505},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.27504226565361023},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1905381977558136}],"concepts":[{"id":"https://openalex.org/C2781046654","wikidata":"https://www.wikidata.org/wiki/Q147534","display_name":"Adonis","level":3,"score":0.9643404483795166},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8423339128494263},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.5793083906173706},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.5625142455101013},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5124717354774475},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4254082441329956},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3231412172317505},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.27504226565361023},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1905381977558136},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C164913051","wikidata":"https://www.wikidata.org/wiki/Q482","display_name":"Poetry","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3607187","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3607187","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3607187","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:10170891","is_oa":true,"landing_page_url":"https://discovery.ucl.ac.uk/id/eprint/10170891/","pdf_url":"https://discovery.ucl.ac.uk/10170891/1/ASPLOS22_SysPath.pdf","source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"   ACM Transactions on Software Engineering and Methodology       (2023)     (In press).  ","raw_type":"Article"}],"best_oa_location":{"id":"doi:10.1145/3607187","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3607187","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3607187","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4099999964237213,"id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G4486898","display_name":null,"funder_award_id":"2020YFB2104100","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G5196063757","display_name":null,"funder_award_id":"62172009","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"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4383102486.pdf","grobid_xml":"https://content.openalex.org/works/W4383102486.grobid-xml"},"referenced_works_count":36,"referenced_works":["https://openalex.org/W1543187491","https://openalex.org/W1971137495","https://openalex.org/W2048489498","https://openalex.org/W2080573945","https://openalex.org/W2088584545","https://openalex.org/W2096761130","https://openalex.org/W2105691657","https://openalex.org/W2120146528","https://openalex.org/W2126529005","https://openalex.org/W2132383311","https://openalex.org/W2140809377","https://openalex.org/W2161086411","https://openalex.org/W2460584250","https://openalex.org/W2461773937","https://openalex.org/W2625070311","https://openalex.org/W2756723748","https://openalex.org/W2762915977","https://openalex.org/W2763526563","https://openalex.org/W2767094836","https://openalex.org/W2790537587","https://openalex.org/W2913348136","https://openalex.org/W2966971704","https://openalex.org/W2971876914","https://openalex.org/W3004071943","https://openalex.org/W3010215199","https://openalex.org/W3082737479","https://openalex.org/W3152632047","https://openalex.org/W3176404723","https://openalex.org/W3181165372","https://openalex.org/W4230613728","https://openalex.org/W4232365634","https://openalex.org/W4234542549","https://openalex.org/W4238089251","https://openalex.org/W4245124627","https://openalex.org/W4253752119","https://openalex.org/W4308469411"],"related_works":["https://openalex.org/W2283703402","https://openalex.org/W2944239089","https://openalex.org/W3114960363","https://openalex.org/W1414991848","https://openalex.org/W4251820571","https://openalex.org/W2506897857","https://openalex.org/W2379556747","https://openalex.org/W2329078983","https://openalex.org/W1551485776","https://openalex.org/W1989502974"],"abstract_inverted_index":{"Control":[0],"flow":[1,24,192],"recovery":[2,25],"is":[3,27,155,232,252],"critical":[4],"to":[5,30,67,97,200],"promise":[6],"the":[7,18,84,112,141,190,201,211,227,236,239,247,259,275],"software":[8,13],"quality,":[9],"especially":[10],"for":[11,143],"large-scale":[12],"in":[14,74,78],"production":[15],"environment.":[16],"However,":[17],"efficiency":[19],"of":[20,86,114,176,219,230,246,250,269],"most":[21],"current":[22],"control":[23,72,191],"techniques":[26],"compromised":[28],"due":[29],"their":[31],"runtime":[32,122,228],"overheads":[33],"along":[34],"with":[35,193],"deployment":[36,149,248],"and":[37,63,69,89,158,182,196,242,255,267,277],"development":[38,169],"costs.":[39],"To":[40,263],"tackle":[41],"this":[42,270],"problem,":[43],"we":[44,272],"propose":[45],"a":[46,93],"novel":[47],"solution,":[48],"Adonis":[49,76,108,132,154,177,186,205,231,251],",":[50],"which":[51],"harnesses":[52],"Operating":[53],"System":[54],"(OS)":[55],"-level":[56],"traces,":[57,66],"such":[58],"as":[59,153],"dynamic":[60],"library":[61],"calls":[62],"system":[64],"call":[65],"efficiently":[68],"safely":[70],"recover":[71,98,189,217],"flows":[73],"practice.":[75],"operates":[77],"two":[79],"steps:":[80],"It":[81],"first":[82],"identifies":[83],"call-sites":[85],"trace":[87],"entries,":[88],"then":[90],"it":[91,166],"executes":[92],"pairwise":[94],"symbolic":[95],"execution":[96,100,212],"valid":[99],"paths.":[101],"This":[102],"technique":[103],"has":[104],"several":[105],"advantages.":[106],"First,":[107],"does":[109,159],"not":[110,160,207],"require":[111],"insertion":[113],"any":[115],"probes":[116],"into":[117],"existing":[118],"applications,":[119],"thereby":[120],"minimizing":[121],"cost":[123,150,170,229,244],".":[124,151,171],"Second,":[125],"given":[126],"that":[127,221],"OS-level":[128],"traces":[129],"are":[130],"hardware-independent,":[131],"can":[133,187,206],"be":[134,223],"implemented":[135],"across":[136],"various":[137],"hardware":[138],"configurations":[139],"without":[140],"need":[142],"hardware-specific":[144],"engineering":[145],"efforts,":[146],"thus":[147],"reducing":[148],"Third,":[152],"fully":[156],"automated":[157],"depend":[161],"on":[162,178],"manually":[163],"created":[164],"logs,":[165],"circumvents":[167],"additional":[168],"We":[172],"conducted":[173],"an":[174],"evaluation":[175],"representative":[179],"desktop":[180],"applications":[181],"real-world":[183],"IoT":[184],"applications.":[185],"faithfully":[188],"86.8%":[194],"recall":[195],"81.7%":[197],"precision.":[198],"Compared":[199],"state-of-the-art":[202],"log-based":[203],"approach,":[204,261],"only":[208],"cover":[209],"all":[210],"paths":[213],"recovered":[214],"but":[215],"also":[216],"74.9%":[218],"statements":[220],"cannot":[222],"covered.":[224],"In":[225],"addition,":[226],"18.3\u00d7":[233],"lower":[234],"than":[235,258],"instrument-based":[237],"approach;":[238],"analysis":[240],"time":[241],"storage":[243],"(indicative":[245],"cost)":[249],"50\u00d7":[253],"smaller":[254,257],"443\u00d7":[256],"hardware-based":[260],"respectively.":[262],"facilitate":[264],"future":[265],"replication":[266],"extension":[268],"work,":[271],"have":[273],"made":[274],"code":[276],"data":[278],"publicly":[279],"available.":[280]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}