{"id":"https://openalex.org/W4388502398","doi":"https://doi.org/10.1109/ase56229.2023.00198","title":"Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count","display_name":"Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count","publication_year":2023,"publication_date":"2023-09-11","ids":{"openalex":"https://openalex.org/W4388502398","doi":"https://doi.org/10.1109/ase56229.2023.00198"},"language":"en","primary_location":{"id":"doi:10.1109/ase56229.2023.00198","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase56229.2023.00198","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-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/A5045026321","display_name":"Xutong Ma","orcid":"https://orcid.org/0009-0009-1510-1668"},"institutions":[{"id":"https://openalex.org/I4391767820","display_name":"State Key Laboratory of Computer Science","ror":"https://ror.org/01hsx4r68","country_code":null,"type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4391767820"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xutong Ma","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences,State Key Laboratory of Computer Science","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences","University of Chinese Academy of Sciences"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences,State Key Laboratory of Computer Science","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366","https://openalex.org/I4391767820"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100625102","display_name":"Jiwei Yan","orcid":"https://orcid.org/0000-0001-8080-7506"},"institutions":[{"id":"https://openalex.org/I4391767820","display_name":"State Key Laboratory of Computer Science","ror":"https://ror.org/01hsx4r68","country_code":null,"type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4391767820"]},{"id":"https://openalex.org/I114772536","display_name":"Software Engineering Institute","ror":"https://ror.org/01xqjjn94","country_code":"US","type":"facility","lineage":["https://openalex.org/I114772536","https://openalex.org/I74973139"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN","US"],"is_corresponding":false,"raw_author_name":"Jiwei Yan","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences,State Key Laboratory of Computer Science","Institute of Software, Chinese Academy of Sciences,Technology Center of Software Engineering","Technology Center of Software Engineering, Institute of Software, Chinese Academy of Sciences"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences,State Key Laboratory of Computer Science","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366","https://openalex.org/I4391767820"]},{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences,Technology Center of Software Engineering","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Technology Center of Software Engineering, Institute of Software, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I114772536","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100396834","display_name":"Hao Zhang","orcid":"https://orcid.org/0000-0001-9786-5008"},"institutions":[{"id":"https://openalex.org/I4391767820","display_name":"State Key Laboratory of Computer Science","ror":"https://ror.org/01hsx4r68","country_code":null,"type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4391767820"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hao Zhang","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences,State Key Laboratory of Computer Science","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences","University of Chinese Academy of Sciences"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences,State Key Laboratory of Computer Science","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366","https://openalex.org/I4391767820"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110155466","display_name":"Jun Yan","orcid":null},"institutions":[{"id":"https://openalex.org/I4391767820","display_name":"State Key Laboratory of Computer Science","ror":"https://ror.org/01hsx4r68","country_code":null,"type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4391767820"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]},{"id":"https://openalex.org/I114772536","display_name":"Software Engineering Institute","ror":"https://ror.org/01xqjjn94","country_code":"US","type":"facility","lineage":["https://openalex.org/I114772536","https://openalex.org/I74973139"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN","US"],"is_corresponding":false,"raw_author_name":"Jun Yan","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences,State Key Laboratory of Computer Science","Institute of Software, Chinese Academy of Sciences,Technology Center of Software Engineering","University of Chinese Academy of Sciences","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences","Technology Center of Software Engineering, Institute of Software, Chinese Academy of Sciences"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences,State Key Laboratory of Computer Science","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366","https://openalex.org/I4391767820"]},{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences,Technology Center of Software Engineering","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"Technology Center of Software Engineering, Institute of Software, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I114772536","https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100410059","display_name":"Jian Zhang","orcid":"https://orcid.org/0000-0003-1375-4947"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4391767820","display_name":"State Key Laboratory of Computer Science","ror":"https://ror.org/01hsx4r68","country_code":null,"type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4391767820"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian Zhang","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences,State Key Laboratory of Computer Science","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences","University of Chinese Academy of Sciences"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences,State Key Laboratory of Computer Science","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366","https://openalex.org/I4391767820"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210165038"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5045026321"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4210165038","https://openalex.org/I4391767820"],"apc_list":null,"apc_paid":null,"fwci":0.9189,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.80980907,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1429","last_page":"1440"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9962999820709229,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9835000038146973,"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/python","display_name":"Python (programming language)","score":0.851576030254364},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7870090007781982},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.638150691986084},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.5025434494018555},{"id":"https://openalex.org/keywords/memory-leak","display_name":"Memory leak","score":0.44090884923934937},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.43576550483703613},{"id":"https://openalex.org/keywords/heap","display_name":"Heap (data structure)","score":0.41104114055633545},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3611794710159302},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.1436978578567505},{"id":"https://openalex.org/keywords/garbage-collection","display_name":"Garbage collection","score":0.09589618444442749}],"concepts":[{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.851576030254364},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7870090007781982},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.638150691986084},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.5025434494018555},{"id":"https://openalex.org/C156731835","wikidata":"https://www.wikidata.org/wiki/Q751740","display_name":"Memory leak","level":4,"score":0.44090884923934937},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.43576550483703613},{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.41104114055633545},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3611794710159302},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.1436978578567505},{"id":"https://openalex.org/C105122174","wikidata":"https://www.wikidata.org/wiki/Q322202","display_name":"Garbage collection","level":3,"score":0.09589618444442749},{"id":"https://openalex.org/C75403996","wikidata":"https://www.wikidata.org/wiki/Q5521979","display_name":"Garbage","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ase56229.2023.00198","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase56229.2023.00198","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4000000059604645,"display_name":"Responsible consumption and production","id":"https://metadata.un.org/sdg/12"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W71566816","https://openalex.org/W1599830632","https://openalex.org/W2010163347","https://openalex.org/W2063742843","https://openalex.org/W2065947145","https://openalex.org/W2139223589","https://openalex.org/W2315953879","https://openalex.org/W2475728800","https://openalex.org/W2654868256","https://openalex.org/W2898544411","https://openalex.org/W2954121408","https://openalex.org/W2977323193","https://openalex.org/W3014990389","https://openalex.org/W3035965352","https://openalex.org/W3095662607","https://openalex.org/W3099878876","https://openalex.org/W3106029585","https://openalex.org/W3158969310","https://openalex.org/W3177181855","https://openalex.org/W3193019423","https://openalex.org/W4206394013","https://openalex.org/W4236304066","https://openalex.org/W4283728548","https://openalex.org/W4295312788","https://openalex.org/W6766978945","https://openalex.org/W6794637089"],"related_works":["https://openalex.org/W2622138879","https://openalex.org/W1537002606","https://openalex.org/W2789551765","https://openalex.org/W4307888121","https://openalex.org/W4226215696","https://openalex.org/W4224692222","https://openalex.org/W2367339285","https://openalex.org/W2072754671","https://openalex.org/W4247959794","https://openalex.org/W2749562936"],"abstract_inverted_index":{"Third-party":[0],"Python":[1],"modules":[2],"are":[3,27,246],"usually":[4],"implemented":[5],"as":[6,228,231],"binary":[7],"extensions":[8],"by":[9,29,57],"using":[10],"native":[11,22,86,114],"code":[12,87],"(C/C++)":[13],"to":[14,47,77,88,120,157,190,199,239],"provide":[15],"additional":[16],"features":[17],"and":[18,50,53,64,130,152,165,181,204,216,243],"runtime":[19],"acceleration.":[20],"In":[21],"code,":[23,115],"the":[24,30,60,98,108,122,128,142,149,159,179],"heap-allocated":[25],"PyObjects":[26,126,156,173],"managed":[28],"reference":[31],"counting":[32],"mechanism":[33],"provided":[34],"in":[35,107,113,133],"Python/C":[36,162],"APIs":[37],"for":[38],"automatic":[39],"reclaiming.":[40],"Hence,":[41],"improper":[42],"refcount":[43,81,129,153],"manipulations":[44],"can":[45,94],"lead":[46],"memory":[48],"leaks":[49],"use-after-free":[51],"problems,":[52,70],"cannot":[54],"be":[55,95],"detected":[56],"simply":[58],"pairing":[59],"occurrence":[61],"of":[62,100,110,125,155,161,172,207,222],"source":[63],"sink":[65],"points.":[66],"To":[67,103,136],"detect":[68,104,217],"such":[69],"state-of-the-art":[71,232],"approaches":[72],"have":[73],"made":[74],"groundbreaking":[75],"contributions":[76],"identifying":[78],"inappropriate":[79],"final":[80],"values":[82,154],"before":[83],"returning":[84],"from":[85],"Python.":[89],"However,":[90],"not":[91],"all":[92],"problems":[93,183,220],"exposed":[96],"at":[97],"end":[99],"a":[101,111,185,188],"path.":[102],"those":[105,240],"hidden":[106],"middle":[109],"path":[112],"it":[116],"is":[117,196,226],"also":[118,197],"crucial":[119],"track":[121,169],"lifecycle":[123,131,150],"state":[124,170,195],"through":[127],"operations":[132],"API":[134,163],"calls.":[135],"achieve":[137],"this":[138],"goal,":[139],"we":[140],"propose":[141],"PyObject":[143],"State":[144],"Transition":[145],"Model":[146],"(PSTM)":[147],"recording":[148],"states":[151],"describe":[158],"effects":[160],"calls":[164],"pointer":[166,201],"operations.":[167],"We":[168,209,234],"transitions":[171],"with":[174],"symbolic":[175],"execution":[176],"based":[177],"on":[178,212],"model,":[180],"report":[182],"when":[184],"statement":[186],"triggers":[187],"transition":[189],"buggy":[191],"states.":[192],"The":[193],"program":[194],"expanded":[198],"handle":[200],"nullity":[202],"checks":[203],"smart":[205],"pointers":[206],"PyObjects.":[208],"conduct":[210],"experiments":[211],"12":[213],"open-source":[214],"projects":[215],"259":[218],"real":[219,237],"out":[221],"280":[223],"reports,":[224],"which":[225],"twice":[227],"many":[229],"bugs":[230,238],"approaches.":[233],"submit":[235],"168":[236],"active":[241],"projects,":[242],"106":[244],"issues":[245],"either":[247],"confirmed":[248],"or":[249],"resolved.":[250]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-01-13T01:12:25.745995","created_date":"2025-10-10T00:00:00"}