{"id":"https://openalex.org/W4389571996","doi":"https://doi.org/10.1145/3637227","title":"A Smart Status Based Monitoring Algorithm\u00a0for the Dynamic Analysis of Memory Safety","display_name":"A Smart Status Based Monitoring Algorithm\u00a0for the Dynamic Analysis of Memory Safety","publication_year":2023,"publication_date":"2023-12-11","ids":{"openalex":"https://openalex.org/W4389571996","doi":"https://doi.org/10.1145/3637227"},"language":"en","primary_location":{"id":"doi:10.1145/3637227","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3637227","pdf_url":null,"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100457692","display_name":"Zhe Chen","orcid":"https://orcid.org/0000-0002-4707-2402"},"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":true,"raw_author_name":"Zhe Chen","raw_affiliation_strings":["Nanjing University of Aeronautics and Astronautics, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100716378","display_name":"Rui Yan","orcid":"https://orcid.org/0009-0001-2899-2588"},"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":"Rui Yan","raw_affiliation_strings":["Nanjing University of Aeronautics and Astronautics, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100446841","display_name":"Yingzi Ma","orcid":"https://orcid.org/0009-0003-8242-3241"},"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":"Yingzi Ma","raw_affiliation_strings":["Nanjing University of Aeronautics and Astronautics, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053058502","display_name":"Yulei Sui","orcid":"https://orcid.org/0000-0002-9510-6574"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Yulei Sui","raw_affiliation_strings":["University of New South Wales, Sydney, Australia"],"affiliations":[{"raw_affiliation_string":"University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024664385","display_name":"Jingling Xue","orcid":"https://orcid.org/0000-0003-0380-3506"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Jingling Xue","raw_affiliation_strings":["University of New South Wales, Sydney, Australia"],"affiliations":[{"raw_affiliation_string":"University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5100457692"],"corresponding_institution_ids":["https://openalex.org/I9842412"],"apc_list":null,"apc_paid":null,"fwci":0.8698,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.79818707,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"33","issue":"4","first_page":"1","last_page":"47"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9988999962806702,"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/T11424","display_name":"Security and Verification in Computing","score":0.9988999962806702,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9927999973297119,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9728000164031982,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8458662033081055},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.45395299792289734},{"id":"https://openalex.org/keywords/memory-leak","display_name":"Memory leak","score":0.42396894097328186},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.1872776448726654},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1707327961921692}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8458662033081055},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.45395299792289734},{"id":"https://openalex.org/C156731835","wikidata":"https://www.wikidata.org/wiki/Q751740","display_name":"Memory leak","level":4,"score":0.42396894097328186},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.1872776448726654},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1707327961921692},{"id":"https://openalex.org/C136085584","wikidata":"https://www.wikidata.org/wiki/Q910289","display_name":"Overlay","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3637227","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3637227","pdf_url":null,"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"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6499999761581421,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G2087396116","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2108627349","display_name":null,"funder_award_id":"U1533130","funder_id":"https://openalex.org/F4320324522","funder_display_name":"Civil Aviation Administration of China"},{"id":"https://openalex.org/G2667854454","display_name":null,"funder_award_id":"U1533130","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G391238517","display_name":null,"funder_award_id":", and","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5994120800","display_name":null,"funder_award_id":"Natural","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7379720977","display_name":null,"funder_award_id":"62172217","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/F4320324522","display_name":"Civil Aviation Administration of China","ror":"https://ror.org/05gfwht30"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1530333203","https://openalex.org/W1685737956","https://openalex.org/W1940023874","https://openalex.org/W1966634194","https://openalex.org/W2022102318","https://openalex.org/W2043647957","https://openalex.org/W2072385532","https://openalex.org/W2098806455","https://openalex.org/W2117798902","https://openalex.org/W2135531618","https://openalex.org/W2154843497","https://openalex.org/W2155851497","https://openalex.org/W2156858199","https://openalex.org/W2157579724","https://openalex.org/W2301548261","https://openalex.org/W2460107372","https://openalex.org/W2606228508","https://openalex.org/W2622485323","https://openalex.org/W2752596063","https://openalex.org/W2755634893","https://openalex.org/W2809242908","https://openalex.org/W2809609713","https://openalex.org/W2889788853","https://openalex.org/W2891057055","https://openalex.org/W2914982603","https://openalex.org/W2931305575","https://openalex.org/W2962349163","https://openalex.org/W2964705723","https://openalex.org/W3182691614","https://openalex.org/W4240519264","https://openalex.org/W4241197470","https://openalex.org/W4246553962","https://openalex.org/W4246840565","https://openalex.org/W4300420355"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W4391913857"],"abstract_inverted_index":{"C":[0],"is":[1,99,204,211,286,317],"a":[2,75,104,156,172,246],"dominant":[3],"programming":[4],"language":[5],"for":[6,44,83,108,159],"implementing":[7],"system":[8],"and":[9,55,70,119,132,138,169,261,282,298,304,312,316,327],"low-level":[10,19],"embedded":[11],"software.":[12],"Unfortunately,":[13],"the":[14,116,126,130,139,143,167,177,180,185,189,193,207,226,233,252,325],"unsafe":[15],"nature":[16],"of":[17,21,60,122,135,145,171,179,228,237,249,267,272,288,294,308,324],"its":[18,220,238],"control":[20],"memory":[22,26,36,71,89,110,273,299,313,328,335],"often":[23],"leads":[24],"to":[25,34,100,149,163,188],"errors.":[27,291],"Dynamic":[28],"analysis":[29,46],"has":[30],"been":[31],"widely":[32],"used":[33],"detect":[35,57],"errors":[37],"at":[38,102,154],"runtime.":[39],"However,":[40],"existing":[41],"monitoring":[42,77],"algorithms":[43],"dynamic":[45,94],"are":[47],"not":[48,165],"yet":[49],"satisfactory,":[50],"as":[51,63,284],"they":[52],"cannot":[53],"deterministically":[54],"completely":[56],"some":[58],"types":[59,271],"errors,":[61,66],"such":[62],"segment":[64,133],"confusion":[65],"sub-object":[67],"overflows,":[68],"use-after-frees":[69],"leaks.":[72],"We":[73,240],"propose":[74],"new":[76],"algorithm,":[78],"namely":[79],"Smatus":[80,152,231,243,275,301],",":[81,86],"short":[82],"smart":[84,205],"status":[85,106,113,117,127,182,195,202],"that":[87,209],"improves":[88],"safety":[90],"by":[91,219,244],"performing":[92],"comprehensive":[93,235],"analysis.":[95],"The":[96],"key":[97],"innovation":[98],"maintain":[101],"runtime":[103,155],"small":[105],"node":[107,114,196,203],"each":[109,160],"object.":[111,151],"A":[112,201],"records":[115],"value":[118,128],"reference":[120,140,221],"count":[121,141,222],"an":[123],"object,":[124,137],"where":[125],"denotes":[129],"liveness":[131],"type":[134],"this":[136,150],"tracks":[142],"number":[144],"pointer":[146,157,161,199],"variables":[147],"pointing":[148,187],"maintains":[153],"metadata":[158],"variable,":[162],"record":[164],"only":[166],"base":[168],"bound":[170],"pointer\u2019s":[173],"referent":[174,191],"but":[175],"also":[176],"address":[178],"referent\u2019s":[181],"node.":[183],"All":[184],"pointers":[186],"same":[190,194],"share":[192],"in":[197,206,306,322],"their":[198],"metadata.":[200],"sense":[208],"it":[210,215,285],"automatically":[212],"deleted":[213],"when":[214],"becomes":[216],"useless":[217],"(indicated":[218],"reaching":[223],"zero).":[224],"To":[225],"best":[227],"our":[229],"knowledge,":[230],"represents":[232],"most":[234],"approach":[236],"kind.":[239],"have":[241],"evaluated":[242],"using":[245],"large":[247],"set":[248],"programs":[250],"including":[251],"NIST":[253],"Software":[254],"Assurance":[255],"Reference":[256],"Dataset,":[257],"MSBench,":[258],"MiBench,":[259],"SPEC":[260],"stress":[262],"testing":[263],"benchmarks.":[264],"In":[265,292],"terms":[266,293,307,323],"effectiveness":[268],"(detecting":[269],"different":[270],"errors),":[274],"outperforms":[276,302],"state-of-the-art":[277],"tools,":[278],"Google\u2019s":[279],"AddressSanitizer,":[280],"SoftBoundCETS":[281,303],"Valgrind,":[283],"capable":[287],"detecting":[289],"more":[290],"performance":[295],"(the":[296],"time":[297,311,326],"overheads),":[300],"Valgrind":[305],"both":[309],"lower":[310,334],"overheads":[314,336],"incurred,":[315],"on":[318],"par":[319],"with":[320],"AddressSanitizer":[321],"overhead":[329],"tradeoff":[330],"made":[331],"(with":[332],"much":[333],"incurred).":[337]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3}],"updated_date":"2026-03-29T08:15:47.926485","created_date":"2025-10-10T00:00:00"}