{"id":"https://openalex.org/W4399376277","doi":"https://doi.org/10.1109/access.2024.3409838","title":"Combining Static Analysis With Directed Symbolic Execution for Scalable and Accurate Memory Leak Detection","display_name":"Combining Static Analysis With Directed Symbolic Execution for Scalable and Accurate Memory Leak Detection","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4399376277","doi":"https://doi.org/10.1109/access.2024.3409838"},"language":"en","primary_location":{"id":"doi:10.1109/access.2024.3409838","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2024.3409838","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/access.2024.3409838","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030326593","display_name":"Hayk Aslanyan","orcid":"https://orcid.org/0000-0002-7320-4835"},"institutions":[{"id":"https://openalex.org/I188529364","display_name":"Russian-Armenian University","ror":"https://ror.org/01v4e7289","country_code":"AM","type":"education","lineage":["https://openalex.org/I188529364"]}],"countries":["AM"],"is_corresponding":false,"raw_author_name":"Hayk Aslanyan","raw_affiliation_strings":["Center of Advanced Software Technologies, Russian–Armenian University, Yerevan, Armenia"],"raw_orcid":"https://orcid.org/0000-0002-7320-4835","affiliations":[{"raw_affiliation_string":"Center of Advanced Software Technologies, Russian–Armenian University, Yerevan, Armenia","institution_ids":["https://openalex.org/I188529364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036515141","display_name":"Hovhannes Movsisyan","orcid":"https://orcid.org/0000-0002-7582-7948"},"institutions":[{"id":"https://openalex.org/I188529364","display_name":"Russian-Armenian University","ror":"https://ror.org/01v4e7289","country_code":"AM","type":"education","lineage":["https://openalex.org/I188529364"]}],"countries":["AM"],"is_corresponding":false,"raw_author_name":"Hovhannes Movsisyan","raw_affiliation_strings":["Center of Advanced Software Technologies, Russian–Armenian University, Yerevan, Armenia"],"raw_orcid":"https://orcid.org/0000-0002-7582-7948","affiliations":[{"raw_affiliation_string":"Center of Advanced Software Technologies, Russian–Armenian University, Yerevan, Armenia","institution_ids":["https://openalex.org/I188529364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063919620","display_name":"Hripsime Hovhannisyan","orcid":"https://orcid.org/0000-0001-8483-1829"},"institutions":[{"id":"https://openalex.org/I188529364","display_name":"Russian-Armenian University","ror":"https://ror.org/01v4e7289","country_code":"AM","type":"education","lineage":["https://openalex.org/I188529364"]}],"countries":["AM"],"is_corresponding":false,"raw_author_name":"Hripsime Hovhannisyan","raw_affiliation_strings":["Center of Advanced Software Technologies, Russian–Armenian University, Yerevan, Armenia"],"raw_orcid":"https://orcid.org/0000-0001-8483-1829","affiliations":[{"raw_affiliation_string":"Center of Advanced Software Technologies, Russian–Armenian University, Yerevan, Armenia","institution_ids":["https://openalex.org/I188529364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012190186","display_name":"Zhora Gevorgyan","orcid":null},"institutions":[{"id":"https://openalex.org/I188529364","display_name":"Russian-Armenian University","ror":"https://ror.org/01v4e7289","country_code":"AM","type":"education","lineage":["https://openalex.org/I188529364"]}],"countries":["AM"],"is_corresponding":false,"raw_author_name":"Zhora Gevorgyan","raw_affiliation_strings":["Center of Advanced Software Technologies, Russian–Armenian University, Yerevan, Armenia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center of Advanced Software Technologies, Russian–Armenian University, Yerevan, Armenia","institution_ids":["https://openalex.org/I188529364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075335146","display_name":"Ruslan Mkoyan","orcid":null},"institutions":[{"id":"https://openalex.org/I188529364","display_name":"Russian-Armenian University","ror":"https://ror.org/01v4e7289","country_code":"AM","type":"education","lineage":["https://openalex.org/I188529364"]}],"countries":["AM"],"is_corresponding":false,"raw_author_name":"Ruslan Mkoyan","raw_affiliation_strings":["Center of Advanced Software Technologies, Russian–Armenian University, Yerevan, Armenia"],"raw_orcid":"https://orcid.org/0000-0003-2978-9298","affiliations":[{"raw_affiliation_string":"Center of Advanced Software Technologies, Russian–Armenian University, Yerevan, Armenia","institution_ids":["https://openalex.org/I188529364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108443332","display_name":"Arutyun Avetisyan","orcid":"https://orcid.org/0000-0002-0470-9944"},"institutions":[{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Arutyun Avetisyan","raw_affiliation_strings":["Ivannikov Institute for System Programming, Russian Academy of Sciences (RAS), Moscow, Russia"],"raw_orcid":"https://orcid.org/0000-0002-0470-9944","affiliations":[{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences (RAS), Moscow, Russia","institution_ids":["https://openalex.org/I4210101868"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072944852","display_name":"Sevak Sargsyan","orcid":"https://orcid.org/0000-0002-8831-4965"},"institutions":[{"id":"https://openalex.org/I188529364","display_name":"Russian-Armenian University","ror":"https://ror.org/01v4e7289","country_code":"AM","type":"education","lineage":["https://openalex.org/I188529364"]}],"countries":["AM"],"is_corresponding":false,"raw_author_name":"Sevak Sargsyan","raw_affiliation_strings":["Center of Advanced Software Technologies, Russian–Armenian University, Yerevan, Armenia"],"raw_orcid":"https://orcid.org/0000-0002-8831-4965","affiliations":[{"raw_affiliation_string":"Center of Advanced Software Technologies, Russian–Armenian University, Yerevan, Armenia","institution_ids":["https://openalex.org/I188529364"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":1.7719,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.84649776,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"12","issue":null,"first_page":"80128","last_page":"80137"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9980000257492065,"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.842900276184082},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.7199817895889282},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6117444038391113},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.533825159072876},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5028261542320251},{"id":"https://openalex.org/keywords/memory-leak","display_name":"Memory leak","score":0.4751955270767212},{"id":"https://openalex.org/keywords/symbolic-data-analysis","display_name":"Symbolic data analysis","score":0.4669915735721588},{"id":"https://openalex.org/keywords/leak-detection","display_name":"Leak detection","score":0.419598251581192},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.3893207013607025},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3845697045326233},{"id":"https://openalex.org/keywords/leak","display_name":"Leak","score":0.38377660512924194},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3460713028907776},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.23187470436096191},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.23053419589996338}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.842900276184082},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.7199817895889282},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6117444038391113},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.533825159072876},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5028261542320251},{"id":"https://openalex.org/C156731835","wikidata":"https://www.wikidata.org/wiki/Q751740","display_name":"Memory leak","level":4,"score":0.4751955270767212},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.4669915735721588},{"id":"https://openalex.org/C2987355568","wikidata":"https://www.wikidata.org/wiki/Q4420957","display_name":"Leak detection","level":3,"score":0.419598251581192},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.3893207013607025},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3845697045326233},{"id":"https://openalex.org/C2780378346","wikidata":"https://www.wikidata.org/wiki/Q1349983","display_name":"Leak","level":2,"score":0.38377660512924194},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3460713028907776},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.23187470436096191},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.23053419589996338},{"id":"https://openalex.org/C136085584","wikidata":"https://www.wikidata.org/wiki/Q910289","display_name":"Overlay","level":2,"score":0.0},{"id":"https://openalex.org/C87717796","wikidata":"https://www.wikidata.org/wiki/Q146326","display_name":"Environmental engineering","level":1,"score":0.0},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"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":2,"locations":[{"id":"doi:10.1109/access.2024.3409838","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2024.3409838","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:7a2c1cb16f6f4d83ac2468e2cdda9a14","is_oa":true,"landing_page_url":"https://doaj.org/article/7a2c1cb16f6f4d83ac2468e2cdda9a14","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 12, Pp 80128-80137 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2024.3409838","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2024.3409838","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1491178396","https://openalex.org/W2043855508","https://openalex.org/W2149237601","https://openalex.org/W2156858199","https://openalex.org/W2170612356","https://openalex.org/W2297774820","https://openalex.org/W2954121408","https://openalex.org/W3104656873","https://openalex.org/W4312948334"],"related_works":["https://openalex.org/W2019299443","https://openalex.org/W345638404","https://openalex.org/W4245197793","https://openalex.org/W1994915990","https://openalex.org/W4200059639","https://openalex.org/W2101264565","https://openalex.org/W2514597554","https://openalex.org/W3141167149","https://openalex.org/W1868112486","https://openalex.org/W4244118184"],"abstract_inverted_index":{"This":[0,33,110,122],"article":[1],"introduces":[2],"a":[3],"novel":[4],"method":[5,141],"for":[6,115],"the":[7,83,87,93,128,145,156,171,175,178],"precise":[8],"and":[9,22,104,130,162,168],"scalable":[10],"detection":[11,135],"of":[12,43,63,90,96,132,177],"memory":[13,31,133],"leaks":[14],"comprising":[15],"two":[16],"primary":[17],"stages.":[18],"Initially,":[19],"context-,":[20],"flow-,":[21],"field-sensitive":[23],"static":[24,74,120],"analysis":[25,71,75],"is":[26,76,112],"used":[27],"to":[28,50,126],"identify":[29],"potential":[30],"leaks.":[32],"includes":[34],"an":[35],"annotation":[36,62],"system":[37,67],"that":[38],"allows":[39,60],"specifying":[40],"key":[41],"properties":[42],"functions.":[44],"Therefore,":[45],"they":[46,55],"do":[47],"not":[48],"need":[49],"be":[51],"reanalyzed":[52],"every":[53],"time":[54],"are":[56],"called.":[57],"It":[58],"also":[59],"manual":[61],"important":[64],"library":[65],"or":[66],"functions,":[68],"thus":[69],"enhancing":[70],"quality.":[72],"The":[73,139],"conducted":[77],"in":[78,136,144,155],"reverse":[79],"topological":[80],"order":[81],"on":[82],"call":[84],"graph,":[85],"enabling":[86],"parallel":[88],"processing":[89],"functions":[91],"within":[92],"same":[94],"level":[95],"hierarchy.":[97],"Subsequently,":[98],"directed":[99],"symbolic":[100],"execution":[101],"provides":[102],"path-sensitivity":[103],"effectively":[105],"filters":[106],"out":[107],"false":[108],"positives.":[109],"process":[111],"performed":[113],"concurrently":[114],"each":[116],"bug":[117],"detected":[118],"by":[119,170],"analysis.":[121],"two-stage":[123],"approach":[124],"aims":[125],"enhance":[127],"efficiency":[129],"precision":[131],"leak":[134],"industrial":[137],"software.":[138],"proposed":[140],"was":[142],"implemented":[143],"MLH":[146],"(Memory":[147],"Leak":[148],"Hunter)":[149],"tool,":[150],"which":[151],"identified":[152],"numerous":[153],"bugs":[154,165],"open-source":[157],"software,":[158],"including":[159],"OpenSSL,":[160],"FFmpeg,":[161],"Radare2.":[163],"These":[164],"were":[166],"reported":[167],"confirmed":[169],"community,":[172],"thereby":[173],"proving":[174],"effectiveness":[176],"developed":[179],"method.":[180]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}