{"id":"https://openalex.org/W2844028096","doi":"https://doi.org/10.1134/s0361768819070028","title":"Dynamic Detection of Use-After-Free Bugs","display_name":"Dynamic Detection of Use-After-Free Bugs","publication_year":2019,"publication_date":"2019-12-01","ids":{"openalex":"https://openalex.org/W2844028096","doi":"https://doi.org/10.1134/s0361768819070028","mag":"2844028096"},"language":"en","primary_location":{"id":"doi:10.1134/s0361768819070028","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768819070028","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","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/A5082292863","display_name":"Sergey Asryan","orcid":null},"institutions":[{"id":"https://openalex.org/I4210133484","display_name":"Institute for Informatics and Automation Problems","ror":"https://ror.org/04a8k4p47","country_code":"AM","type":"facility","lineage":["https://openalex.org/I4210133484","https://openalex.org/I99064381"]}],"countries":["AM"],"is_corresponding":true,"raw_author_name":"S. A. Asryan","raw_affiliation_strings":["Institute of Problems in Informatics and Automation, Armenia National Academy of Sciences, 0014, Erevan, Armenia"],"affiliations":[{"raw_affiliation_string":"Institute of Problems in Informatics and Automation, Armenia National Academy of Sciences, 0014, Erevan, Armenia","institution_ids":["https://openalex.org/I4210133484"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112375694","display_name":"Serguei Gaissaryan","orcid":null},"institutions":[{"id":"https://openalex.org/I153845743","display_name":"Moscow Institute of Physics and Technology","ror":"https://ror.org/00v0z9322","country_code":"RU","type":"education","lineage":["https://openalex.org/I153845743"]},{"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"]},{"id":"https://openalex.org/I118501908","display_name":"National Research University Higher School of Economics","ror":"https://ror.org/055f7t516","country_code":"RU","type":"education","lineage":["https://openalex.org/I118501908"]},{"id":"https://openalex.org/I19880235","display_name":"Lomonosov Moscow State University","ror":"https://ror.org/010pmpe69","country_code":"RU","type":"education","lineage":["https://openalex.org/I19880235"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"S. S. Gaissaryan","raw_affiliation_strings":["Faculty of Computational Mathematics and Cybernetics, Moscow State University, 119991, Moscow, Russia","Ivannikov Institute for System Programming, Russian Academy of Sciences, 109004, Moscow, Russia","Moscow Institute of Physics and Technology, 141700, Dolgoprudnyi, Moscow oblast, Russia","State University\u2014Higher School of Economics, 101000, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Faculty of Computational Mathematics and Cybernetics, Moscow State University, 119991, Moscow, Russia","institution_ids":["https://openalex.org/I19880235"]},{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences, 109004, Moscow, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Moscow Institute of Physics and Technology, 141700, Dolgoprudnyi, Moscow oblast, Russia","institution_ids":["https://openalex.org/I153845743"]},{"raw_affiliation_string":"State University\u2014Higher School of Economics, 101000, Moscow, Russia","institution_ids":["https://openalex.org/I118501908"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062354880","display_name":"\u0428. \u0424. \u041a\u0443\u0440\u043c\u0430\u043d\u0433\u0430\u043b\u0435\u0435\u0432","orcid":null},"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":"Sh. F. Kurmangaleev","raw_affiliation_strings":["Ivannikov Institute for System Programming, Russian Academy of Sciences, 109004, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences, 109004, Moscow, Russia","institution_ids":["https://openalex.org/I4210101868"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085909910","display_name":"A. M. Aghabalyan","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"A. M. Aghabalyan","raw_affiliation_strings":["Erevan State University, 0025, Erevan, Armenia"],"affiliations":[{"raw_affiliation_string":"Erevan State University, 0025, Erevan, Armenia","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061514311","display_name":"N. G. Hovsepyan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"N. G. Hovsepyan","raw_affiliation_strings":["Erevan State University, 0025, Erevan, Armenia"],"affiliations":[{"raw_affiliation_string":"Erevan State University, 0025, Erevan, Armenia","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072944852","display_name":"Sevak Sargsyan","orcid":"https://orcid.org/0000-0002-8831-4965"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"S. S. Sargsyan","raw_affiliation_strings":["Erevan State University, 0025, Erevan, Armenia"],"affiliations":[{"raw_affiliation_string":"Erevan State University, 0025, Erevan, Armenia","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5082292863","https://openalex.org/A5085909910"],"corresponding_institution_ids":["https://openalex.org/I4210133484"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.00312999,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"45","issue":"7","first_page":"365","last_page":"371"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998000264167786,"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/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","score":0.9932000041007996,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9926000237464905,"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.8452584743499756},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.8131718635559082},{"id":"https://openalex.org/keywords/satisfiability-modulo-theories","display_name":"Satisfiability modulo theories","score":0.7730741500854492},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6230714321136475},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6011996269226074},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5303148627281189},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.52702796459198},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.5072307586669922},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.4885907769203186},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4817500114440918},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.4733942747116089},{"id":"https://openalex.org/keywords/dynamic-random-access-memory","display_name":"Dynamic random-access memory","score":0.41196635365486145},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.29028427600860596},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.15200138092041016}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8452584743499756},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.8131718635559082},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.7730741500854492},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6230714321136475},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6011996269226074},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5303148627281189},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.52702796459198},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.5072307586669922},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.4885907769203186},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4817500114440918},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.4733942747116089},{"id":"https://openalex.org/C118702147","wikidata":"https://www.wikidata.org/wiki/Q189396","display_name":"Dynamic random-access memory","level":3,"score":0.41196635365486145},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.29028427600860596},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.15200138092041016},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C98986596","wikidata":"https://www.wikidata.org/wiki/Q1143031","display_name":"Semiconductor memory","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1134/s0361768819070028","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768819070028","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W157156687","https://openalex.org/W1480909796","https://openalex.org/W1491178396","https://openalex.org/W1926604100","https://openalex.org/W1984471991","https://openalex.org/W1997394198","https://openalex.org/W2059278087","https://openalex.org/W2113864883","https://openalex.org/W2144706305","https://openalex.org/W6794278287"],"related_works":["https://openalex.org/W2287565210","https://openalex.org/W1938597047","https://openalex.org/W2184716478","https://openalex.org/W2143744897","https://openalex.org/W4210813503","https://openalex.org/W3083162932","https://openalex.org/W1992485833","https://openalex.org/W345638404","https://openalex.org/W2006860739","https://openalex.org/W2968047603"],"abstract_inverted_index":{"A":[0],"novel":[1],"method":[2,54],"for":[3],"detecting":[4],"use-after-free":[5],"bugs":[6,28,71],"based":[7],"on":[8],"the":[9,32,53,56,59,66,77,80,91,107],"program":[10,33,50,88],"dynamic":[11,67],"analysis":[12,68],"is":[13,69,99],"described.":[14],"In":[15],"memory":[16,42],"unsafe":[17],"programming":[18],"languages,":[19],"such":[20],"as":[21],"C":[22],"or":[23],"C++,":[24],"this":[25],"class":[26],"of":[27,39,58,79,93,109],"mainly":[29],"occurs":[30],"when":[31],"tries":[34],"to":[35,104],"access":[36,63],"an":[37],"area":[38],"dynamically":[40],"allocated":[41],"that":[43,82],"has":[44],"been":[45],"already":[46],"freed.":[47],"For":[48],"each":[49],"execution":[51,89,113],"path,":[52],"checks":[55],"correction":[57],"allocation,":[60],"deallocation,":[61],"and":[62],"operations.":[64],"Since":[65],"used,":[70],"can":[72],"be":[73],"found":[74],"only":[75],"in":[76],"parts":[78],"code":[81],"was":[83],"actually":[84],"executed.":[85],"The":[86],"symbolic":[87],"with":[90],"help":[92],"SMT":[94],"(Satisfiability":[95],"Modulo":[96],"Theories)":[97],"solvers":[98],"used.":[100],"This":[101],"allows":[102],"us":[103],"generate":[105],"data":[106],"processing":[108],"which":[110],"produces":[111],"new":[112],"paths.":[114]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}