{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T23:05:20Z","timestamp":1773615920279,"version":"3.50.1"},"reference-count":30,"publisher":"Allerton Press","issue":"7","license":[{"start":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T00:00:00Z","timestamp":1669852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T00:00:00Z","timestamp":1669852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Aut. Control Comp. Sci."],"published-print":{"date-parts":[[2022,12]]},"DOI":"10.3103\/s014641162207001x","type":"journal-article","created":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T09:03:26Z","timestamp":1676797406000},"page":"595-605","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["On the Characteristics of Symbolic Execution in the Problem of Assessing the Quality of Obfuscating Transformations"],"prefix":"10.3103","volume":"56","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8919-8310","authenticated-orcid":false,"given":"P. D.","family":"Borisov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1491-524X","authenticated-orcid":false,"given":"Y. V.","family":"Kosolapov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1627","published-online":{"date-parts":[[2023,2,19]]},"reference":[{"key":"7517_CR1","doi-asserted-by":"publisher","first-page":"735","DOI":"10.1109\/TSE.2002.1027797","volume":"28","author":"C. Collberg","year":"2002","unstructured":"Collberg, C. and Tomborson, C., Watermarking, tamper-proofing, and obfuscation\u2014Tools for software production, IEEE Trans. Software Eng., 2002, vol. 28, no. 8, pp. 735\u2013746. \u00a0https:\/\/doi.org\/10.1109\/TSE.2002.1027797","journal-title":"IEEE Trans. Software Eng."},{"key":"7517_CR2","doi-asserted-by":"publisher","first-page":"882","DOI":"10.1137\/14095772X","volume":"45","author":"S. Garg","year":"2016","unstructured":"Garg, S., Gentry, C., Halevi, S., Raykova, M., Sahai, A., and Waters, B., Candidate indistinguishability obfuscation and functional encryption for all circuits, SIAM J. Comput., 2016, vol. 45, no. 3, pp. 882\u2013929. \u00a0https:\/\/doi.org\/10.1137\/14095772X","journal-title":"SIAM J. Comput."},{"key":"7517_CR3","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1186\/s42400-020-00049-3","volume":"3","author":"H. Xu","year":"2020","unstructured":"Xu, H., Zhou, Y., Ming, J., and Lyu, M., Layered obfuscation: a taxonomy of software obfuscation techniques for layered security, Cybersecurity, 2020, vol. 3, p. 9. https:\/\/doi.org\/10.1186\/s42400-020-00049-3","journal-title":"Cybersecurity"},{"key":"7517_CR4","unstructured":"Collberg, C., Thomborson, C., and Low, D., A taxonomy of obfuscating transformations, Tech. Report, Department of Computer Science, Univ. of Auckland, 1997, no. 148."},{"key":"7517_CR5","doi-asserted-by":"publisher","unstructured":"Kanzaki, Y., Monden, A., and Collberg, C., Code artificiality: A metric for the code stealth based on an N-gram model, IEEE\/ACM 1st Int. Workshop on Software Protection, Florence, 2015, IEEE, 2015, pp. 31\u201337. \u00a0https:\/\/doi.org\/10.1109\/SPRO.2015.14","DOI":"10.1109\/SPRO.2015.14"},{"key":"7517_CR6","doi-asserted-by":"crossref","unstructured":"Mohsen, R. and Pinto, A.M., Algorithmic information theory for obfuscation security, 12th Int. Joint Conf. on e-Business and Telecommunications (ICETE), Colmar, France, 2015, IEEE, 2015, pp. 76\u201387.","DOI":"10.5220\/0005548200760087"},{"key":"7517_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30303-1_11","volume-title":"Evaluating obfuscation security: A quantitative approach, Foundations and Practice of Security. FPS 2015, Garcia-Alfaro, J.","author":"R. Mohsen","year":"2015","unstructured":"Mohsen, R. and Pinto, A.M., Evaluating obfuscation security: A quantitative approach, Foundations and Practice of Security. FPS 2015, Garcia-Alfaro, J., Kranakis, E., Bonfante, G., Eds., Lecture Notes in Computer Science, vol. 9482, Cham: Springer, 2015, pp. 174\u2013192. \u00a0https:\/\/doi.org\/10.1007\/978-3-319-30303-1_11"},{"key":"7517_CR8","doi-asserted-by":"publisher","unstructured":"Ceccato, M., Di Penta, M., Nagra, J., Falcarin, P., Ricca, F., Torchiano, M., and Tonella, P., The effectiveness of source code obfuscation: An experimental assessment, 17th Int. Conf. on Program Comprehension, Vancouver, 2009, IEEE, 2009, pp. 178\u2013187. \u00a0https:\/\/doi.org\/10.1109\/ICPC.2009.5090041","DOI":"10.1109\/ICPC.2009.5090041"},{"key":"7517_CR9","doi-asserted-by":"publisher","unstructured":"Siegmund, J., Program comprehension: Past, present, and future, IEEE 23rd Int. Conf. on Software Analysis, Evolution, and Reengineering (SANER), Osaka, Japan, 2016, IEEE, 2016, pp. 13\u201320. \u00a0https:\/\/doi.org\/10.1109\/SANER.2016.35","DOI":"10.1109\/SANER.2016.35"},{"key":"7517_CR10","doi-asserted-by":"publisher","unstructured":"Avidan, E. and Feitelson, D.G., From obfuscation to comprehension, IEEE 23rd Int. Conf. on Program Comprehension, Florence, 2015, IEEE, 2015, pp. 178\u2013181. \u00a0https:\/\/doi.org\/10.1109\/ICPC.2015.27","DOI":"10.1109\/ICPC.2015.27"},{"key":"7517_CR11","doi-asserted-by":"publisher","first-page":"317","DOI":"10.18255\/1818-1015-317-331","volume":"26","author":"P.D. Borisov","year":"2019","unstructured":"Borisov, P.D. and Kosolapov, Yu.V., On the automatic analysis of the practical resistance of obfuscating transformations, Model. Anal. Inf. Sist., 2019, vol. 26, no. 3, pp. 317\u2013331. \u00a0https:\/\/doi.org\/10.18255\/1818-1015-317-331","journal-title":"Model. Anal. Inf. Sist."},{"key":"7517_CR12","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J.C. King","year":"1976","unstructured":"King, J.C., Symbolic execution and program testing, Commun. ACM, 1976, vol. 19, no. 7, pp. 385\u2013394. \u00a0https:\/\/doi.org\/10.1145\/360248.360252","journal-title":"Commun. ACM"},{"key":"7517_CR13","doi-asserted-by":"publisher","unstructured":"Yadegari, B. and Debray, S., Symbolic execution of obfuscated code, Proc. 22nd ACM SIGSAC Conf. on Computer and Communications Security, Denver, Colo., 2015, New York: Association for Computing Machinery, 2015, pp. 732\u2013744. \u00a0https:\/\/doi.org\/10.1145\/2810103.2813663","DOI":"10.1145\/2810103.2813663"},{"key":"7517_CR14","doi-asserted-by":"publisher","unstructured":"Lattner, C. and Adve, V., LLVM: A Compilation framework for lifelong program analysis and transformation, Int. Symp. on Code Generation and Optimization. CGO 2004, San Jose, Calif., 2004, IEEE, 2004, pp. 75\u201386. \u00a0https:\/\/doi.org\/10.1109\/CGO.2004.1281665","DOI":"10.1109\/CGO.2004.1281665"},{"key":"7517_CR15","first-page":"467","volume":"18","author":"P.F. Brown","year":"1992","unstructured":"Brown, P.F., Della Pietra, V.J., deSouza, P.V., and Lai, J.C., and Mercer, R.L., Class-based n-gram models of natural language, Comput. Linguist., 1992, vol. 18, no. 4, pp. 467\u2013479.","journal-title":"Comput. Linguist."},{"key":"7517_CR16","unstructured":"Zhang, N., Hikari\u2014An improvement over Obfuscator-LLVM, 2017. https:\/\/github.com\/HikariObfuscator\/Hikari."},{"key":"7517_CR17","volume-title":"McSema: Static translation of x86 instructions to LLVM","author":"A. Dinaburg","year":"2014","unstructured":"Dinaburg, A. and Ruef, A., McSema: Static translation of x86 instructions to LLVM, ReCon Conf., Montreal, 2014."},{"key":"7517_CR18","doi-asserted-by":"publisher","first-page":"867","DOI":"10.1007\/s10009-020-00570-3","volume":"23","author":"C. Cadar","year":"2021","unstructured":"Cadar, C. and Nowack, M., KLEE symbolic execution engine in 2019, Int. J. Software Tools Technol. Transfer, 2021, vol. 23, pp. 867\u2013870. \u00a0https:\/\/doi.org\/10.1007\/s10009-020-00570-3","journal-title":"Int. J. Software Tools Technol. Transfer"},{"key":"7517_CR19","volume-title":"Advanced Compiler Design Implementation","author":"S. Muchnick","year":"1997","unstructured":"Muchnick, S., Advanced Compiler Design Implementation, San Francisco: Morgan Kaufmann, 1997."},{"key":"7517_CR20","volume-title":"The IDA Pro Book: The Unoffcial Guide to the World\u2019s Most Popular Disassembler","author":"C. Eagle","year":"2008","unstructured":"C. Eagle, The IDA Pro Book: The Unoffcial Guide to the World\u2019s Most Popular Disassembler, No Starch Press, 2008, 2nd ed."},{"key":"7517_CR21","volume-title":"G., Bemat, A.R., Rosenblum, N., Miller, B.P., and Hollingsworth, J.K., Towards the deconstruction of Dyninst, Tech. Rep.","author":"Ravipati","year":"2007","unstructured":"Ravipati, G., Bemat, A.R., Rosenblum, N., Miller, B.P., and Hollingsworth, J.K., Towards the deconstruction of Dyninst, Tech. Rep., Univ. of Wisconsin\u2013Madison, 2007."},{"key":"7517_CR22","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1093\/comjnl\/23.3.223","volume":"23","author":"R.N. Horspool","year":"1980","unstructured":"Horspool, R.N. and Marovac, N., An approach to the problem of detranslation of computer programs, Comput. J., 1980, vol. 23, no. 3, pp. 223\u2013229. \u00a0https:\/\/doi.org\/10.1093\/comjnl\/23.3.223","journal-title":"Comput. J."},{"key":"7517_CR23","unstructured":"Microsoft Portable Executable and Common Object File Format Specification, Visual C++ Business Unit, Microsoft Corporation, 1999."},{"key":"7517_CR24","unstructured":"Lu, H., ELF: From the programmer\u2019s perspective, 1995."},{"key":"7517_CR25","unstructured":"K\u0159oustek, J., Matula, P., Kon\u010dick\u00fd, J., and Kol\u00e1\u0159, Accurate retargetable decompilation using additional debugging information, SECURWARE 2012: The Sixth Int. Conf. on Emerging Security Information, System and Technologies, Rome, 2012, pp. 79\u201384."},{"key":"7517_CR26","doi-asserted-by":"publisher","unstructured":"Dasgupta, S., Dinesh, D., Venkatesh, D., Adve, V.S., and Fletcher, C.W., Scalable validation of binary lifters, Proc. 41st ACM SIGPLAN Conf. on Programming Language Design and Implementation, 2020, New York: Association for Computing Machinery, London, 2020, pp. 655\u2013671. \u00a0https:\/\/doi.org\/10.1145\/3385412.3385964","DOI":"10.1145\/3385412.3385964"},{"key":"7517_CR27","doi-asserted-by":"publisher","unstructured":"Banescu, S., Collberg, C., Ganesh, V., Newsham, Z., and Pretschner, A., Code obfuscation against symbolic execution attacks, ACSAC\u201916: Proc. 32nd Ann. Conf. on Computer Security Applications, Los Angeles, 2016, New York: Association for Computing Machinery, 2016, pp. 189\u2013200. \u00a0https:\/\/doi.org\/10.1145\/2991079.2991114","DOI":"10.1145\/2991079.2991114"},{"key":"7517_CR28","doi-asserted-by":"publisher","unstructured":"Junod, P., Rinaldini, J., Wehrli, J., and Michielin, J., Obfuscator-LLVM\u2014Software protection for the masses, IEEE\/ACM 1st Int. Workshop on Software Protection, Florence, 2015, IEEE, 2015, pp. 3\u20139. \u00a0https:\/\/doi.org\/10.1109\/SPRO.2015.10","DOI":"10.1109\/SPRO.2015.10"},{"key":"7517_CR29","first-page":"3","volume":"30","author":"T. Laszlo","year":"2009","unstructured":"Laszlo, T. and Kiss, A., Obfuscating C++ programs via control flow flattening, Ann. Univ. Sci. Budapest., \n               Sect. Comput., 2009, vol. 30, no. 1, pp. 3\u201319.","journal-title":"Sect. Comput."},{"key":"7517_CR30","doi-asserted-by":"publisher","unstructured":"Kosolapov, Yu. and Borisov, P., Similarity features for the evaluation of obfuscation effectiveness, Int. Conf. on Decision Aid Sciences and Application (DASA), Sakheer, Bahrain, 2020, IEEE, 2020, pp. 898\u2013902. \u00a0https:\/\/doi.org\/10.1109\/DASA51403.2020.9317301","DOI":"10.1109\/DASA51403.2020.9317301"}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S014641162207001X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S014641162207001X","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S014641162207001X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:07:10Z","timestamp":1773612430000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S014641162207001X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12]]},"references-count":30,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2022,12]]}},"alternative-id":["7517"],"URL":"https:\/\/doi.org\/10.3103\/s014641162207001x","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,12]]},"assertion":[{"value":"20 February 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 March 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 March 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 February 2023","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare that they have no conflicts of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"CONFLICT OF INTEREST"}}]}}