{"id":"https://openalex.org/W4321360187","doi":"https://doi.org/10.3103/s014641162207001x","title":"On the Characteristics of Symbolic Execution in the Problem of Assessing the Quality of Obfuscating Transformations","display_name":"On the Characteristics of Symbolic Execution in the Problem of Assessing the Quality of Obfuscating Transformations","publication_year":2022,"publication_date":"2022-12-01","ids":{"openalex":"https://openalex.org/W4321360187","doi":"https://doi.org/10.3103/s014641162207001x"},"language":"en","primary_location":{"id":"doi:10.3103/s014641162207001x","is_oa":false,"landing_page_url":"https://doi.org/10.3103/s014641162207001x","pdf_url":null,"source":{"id":"https://openalex.org/S17203304","display_name":"Automatic Control and Computer Sciences","issn_l":"0146-4116","issn":["0146-4116","1558-108X"],"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":"Automatic Control and Computer Sciences","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/A5079680695","display_name":"Petr Borisov","orcid":"https://orcid.org/0000-0002-8919-8310"},"institutions":[{"id":"https://openalex.org/I137534880","display_name":"Southern Federal University","ror":"https://ror.org/01tv9ph92","country_code":"RU","type":"education","lineage":["https://openalex.org/I137534880"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"P. D. Borisov","raw_affiliation_strings":["Southern Federal University, 344090, Rostov-on-Don, Russia"],"raw_orcid":"https://orcid.org/0000-0002-8919-8310","affiliations":[{"raw_affiliation_string":"Southern Federal University, 344090, Rostov-on-Don, Russia","institution_ids":["https://openalex.org/I137534880"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011133256","display_name":"Y. V. Kosolapov","orcid":"https://orcid.org/0000-0002-1491-524X"},"institutions":[{"id":"https://openalex.org/I137534880","display_name":"Southern Federal University","ror":"https://ror.org/01tv9ph92","country_code":"RU","type":"education","lineage":["https://openalex.org/I137534880"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Y. V. Kosolapov","raw_affiliation_strings":["Southern Federal University, 344090, Rostov-on-Don, Russia"],"raw_orcid":"https://orcid.org/0000-0002-1491-524X","affiliations":[{"raw_affiliation_string":"Southern Federal University, 344090, Rostov-on-Don, Russia","institution_ids":["https://openalex.org/I137534880"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5011133256","https://openalex.org/A5079680695"],"corresponding_institution_ids":["https://openalex.org/I137534880"],"apc_list":null,"apc_paid":null,"fwci":0.3534,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.54335895,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"56","issue":"7","first_page":"595","last_page":"605"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.996399998664856,"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.996399998664856,"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.9883000254631042,"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.9810000061988831,"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.9157119989395142},{"id":"https://openalex.org/keywords/obfuscation","display_name":"Obfuscation","score":0.8082215785980225},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.7344884872436523},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.632647693157196},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5812241435050964},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5663436651229858},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5634623765945435},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5425113439559937},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5185742974281311},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.4856216013431549},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.4805793762207031},{"id":"https://openalex.org/keywords/reverse-engineering","display_name":"Reverse engineering","score":0.4494183659553528},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.43919479846954346},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3706655502319336},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3184141516685486},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1565171480178833},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.14161458611488342}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9157119989395142},{"id":"https://openalex.org/C40305131","wikidata":"https://www.wikidata.org/wiki/Q2616305","display_name":"Obfuscation","level":2,"score":0.8082215785980225},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.7344884872436523},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.632647693157196},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5812241435050964},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5663436651229858},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5634623765945435},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5425113439559937},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5185742974281311},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.4856216013431549},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.4805793762207031},{"id":"https://openalex.org/C207850805","wikidata":"https://www.wikidata.org/wiki/Q269608","display_name":"Reverse engineering","level":2,"score":0.4494183659553528},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.43919479846954346},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3706655502319336},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3184141516685486},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1565171480178833},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.14161458611488342},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"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/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3103/s014641162207001x","is_oa":false,"landing_page_url":"https://doi.org/10.3103/s014641162207001x","pdf_url":null,"source":{"id":"https://openalex.org/S17203304","display_name":"Automatic Control and Computer Sciences","issn_l":"0146-4116","issn":["0146-4116","1558-108X"],"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":"Automatic Control and Computer Sciences","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W2010417554","https://openalex.org/W2101512909","https://openalex.org/W2145912048","https://openalex.org/W2146567535","https://openalex.org/W2149216329","https://openalex.org/W2294090359","https://openalex.org/W2294873628","https://openalex.org/W2406879113","https://openalex.org/W2474861573","https://openalex.org/W2560252021","https://openalex.org/W3023495226","https://openalex.org/W3033606455","https://openalex.org/W3033734688","https://openalex.org/W3122206581","https://openalex.org/W4234480284","https://openalex.org/W4237759043","https://openalex.org/W4246166885","https://openalex.org/W4247464060"],"related_works":["https://openalex.org/W3029595134","https://openalex.org/W3128730542","https://openalex.org/W2899100898","https://openalex.org/W2229758354","https://openalex.org/W2734268041","https://openalex.org/W2060012464","https://openalex.org/W2990227674","https://openalex.org/W4285791054","https://openalex.org/W3136499069","https://openalex.org/W4321360187"],"abstract_inverted_index":{"Obfuscation":[0],"is":[1,108,142,185,198,232,308],"used":[2],"to":[3,48,75,144,170,234,267],"protect":[4],"programs":[5],"from":[6],"analysis":[7],"and":[8,15,42,106,133,160,163,166,187,227,251,281],"reverse":[9],"engineering.":[10],"There":[11],"are":[12,23,32,68,82,263,275],"theoretically":[13],"effective":[14],"resistant":[16],"obfuscation":[17,62,80,284],"methods,":[18,289],"however,":[19],"most":[20],"of":[21,39,45,52,61,78,89,100,103,136,152,154,175,194,210,212,223,237,249,271,283,305],"them":[22],"not":[24],"implemented":[25],"in":[26,70,189,215,257],"practice":[27],"yet.":[28],"The":[29,72,192,229],"main":[30],"issues":[31],"the":[33,37,43,55,76,86,92,97,150,158,172,176,195,201,208,213,224,235,247,258,269,279,292,300],"large":[34,59],"overhead":[35],"for":[36,277],"execution":[38,184,197,273],"obfuscated":[40,165],"code":[41],"limitation":[44],"application":[46],"only":[47],"a":[49,58,109,116,147,178,182,239,303],"specific":[50],"class":[51],"programs.":[53,90,137],"On":[54],"other":[56],"hand,":[57],"number":[60],"methods":[63,81,124],"have":[64],"been":[65],"developed":[66,293],"that":[67,114,129,203,274],"applied":[69],"practice.":[71],"existing":[73],"approaches":[74],"assessment":[77],"such":[79,115,146,204],"based":[83,125,180,285],"mainly":[84],"on":[85,126,149,181,286,299],"static":[87,132],"characteristics":[88,99,135,153,174,205,270,307],"Therefore,":[91],"comprehensive":[93],"(taking":[94],"into":[95,253],"account":[96],"dynamic":[98,134,173,216],"programs)":[101],"justification":[102,117],"their":[104],"effectiveness":[105,280],"resistance":[107,282],"relevant":[110],"task.":[111],"It":[112],"seems":[113],"can":[118,206],"be":[119],"made":[120],"using":[121],"machine":[122,287],"learning":[123,288],"feature":[127],"vectors":[128],"describe":[130,207],"both":[131],"In":[138,168,265],"this":[139,190],"paper,":[140],"it":[141,245],"proposed":[143],"build":[145],"vector":[148],"basis":[151],"two":[155,221],"compared":[156],"programs:":[157],"original":[159,162],"obfuscated,":[161],"deobfuscated,":[164],"deobfuscated.":[167],"order":[169,266],"obtain":[171],"program,":[177],"scheme":[179,231,260],"symbolic":[183,196,272],"constructed":[186],"presented":[188],"paper.":[191],"choice":[193],"justified":[199],"by":[200,241],"fact":[202],"difficulty":[209],"comprehension":[211],"program":[214,240],"analysis.":[217],"This":[218],"paper":[219],"proposes":[220],"implementations":[222],"scheme:":[225],"extended":[226,230],"simplified.":[228],"closer":[233],"process":[236],"analyzing":[238],"an":[242],"analyst,":[243],"since":[244],"includes":[246],"steps":[248,262],"disassembly":[250],"translation":[252],"intermediate":[254],"code,":[255],"while":[256],"simplified":[259],"these":[261],"excluded.":[264],"identify":[268],"suitable":[276,306],"assessing":[278],"experiments":[290],"with":[291],"schemes":[294],"were":[295],"carried":[296],"out.":[297],"Based":[298],"obtained":[301],"results,":[302],"set":[304],"determined.":[309]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}