{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T04:17:13Z","timestamp":1775017033631,"version":"3.50.1"},"reference-count":15,"publisher":"Pleiades Publishing Ltd","issue":"8","license":[{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"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":["Program Comput Soft"],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1134\/s0361768821080028","type":"journal-article","created":{"date-parts":[[2021,12,28]],"date-time":"2021-12-28T07:02:31Z","timestamp":1640674951000},"page":"858-865","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Intraprocedural Analysis Based on Symbolic Execution for Bug Detection"],"prefix":"10.1134","volume":"47","author":[{"given":"A. E.","family":"Borodin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I. A.","family":"Dudina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2021,12,28]]},"reference":[{"key":"3643_CR1","doi-asserted-by":"publisher","unstructured":"Ivannikov, V.P., Belevantsev, A.A., Borodin, A.E., Ignatyev, V.N., Zhurikhin, D.M., Avetisyan, A.I., and Leonov, M.I., Static analyzer Svace for finding of defects in program source code, Tr. Inst. Sist. Program. Ross. Akad. Nauk (Proc. Inst. Syst. Program. Russ. Acad. Sci.), 2014, vol. 26, no. 1, pp. 231\u2013250. https:\/\/doi.org\/10.15514\/ISPRAS-2014-26(1)-7","DOI":"10.15514\/ISPRAS-2014-26(1)-7"},{"key":"3643_CR2","doi-asserted-by":"publisher","unstructured":"Borodin, A., Belevantsev, A., Zhurikhin, D., and Izbyshev, A., Deterministic static analysis, Proc. Ivannikov Memorial Workshop, 2018, pp. 10\u201314. https:\/\/doi.org\/10.1109\/IVMEM.2018.00009","DOI":"10.1109\/IVMEM.2018.00009"},{"key":"3643_CR3","unstructured":"Clang project. https:\/\/clang.llvm.org. Accessed September 10, 2020."},{"key":"3643_CR4","unstructured":"The javac compiler. https:\/\/docs.oracle.com\/en\/java\/javase\/11\/tools\/javac.html. Accessed September 10, 2020."},{"key":"3643_CR5","unstructured":"LLVM bitcode.\nhttps:\/\/releases.llvm.org\/8.0.1\/docs\/BitCodeFormat. html. Accessed September 10, 2020."},{"key":"3643_CR6","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.","journal-title":"Commun. ACM"},{"key":"3643_CR7","doi-asserted-by":"publisher","unstructured":"Borodin, A.E. and Belevancev, A.A., A static analysis tool Svace as a collection of analyzers with various complexity levels, Tr. Inst. Sist. Program. Ross. Akad. Nauk (Proc. Inst. Syst. Program. Russ. Acad. Sci.), 2015, vol.\u00a027, no. 6, pp. 111\u2013134. https:\/\/doi.org\/10.15514\/ISPRAS-2015-27(6)-8","DOI":"10.15514\/ISPRAS-2015-27(6)-8"},{"key":"3643_CR8","doi-asserted-by":"publisher","unstructured":"Mulyukov, R.R. and Borodin, A.E., Using unreachable code analysis in static analysis tool for finding defects in source code, Tr. Inst. Sist. Program. Ross. Akad. Nauk (Proc. Inst. Syst. Program. Russ. Acad. Sci.), 2016, vol.\u00a028, no. 5, pp. 145\u2013158. https:\/\/doi.org\/10.15514\/ISPRAS-2016-28(5)-9","DOI":"10.15514\/ISPRAS-2016-28(5)-9"},{"key":"3643_CR9","doi-asserted-by":"publisher","first-page":"775","DOI":"10.1002\/(SICI)1097-024X(200006)30:7<775::AID-SPE309>3.0.CO;2-H","volume":"30","author":"W.R. Bush","year":"2000","unstructured":"Bush, W.R., Pincus, J.D., and Sielaff, D.J., A static analyzer for finding dynamic programming errors, Software-Pract. Exper., 2000, vol. 30, no. 7, pp. 775\u2013802.","journal-title":"Software-Pract. Exper."},{"key":"3643_CR10","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1145\/949952.940115","volume":"28","author":"Y. Xie","year":"2003","unstructured":"Xie, Y., Chou, A., and Engler, D., Archer: Using symbolic, path-sensitive analysis to detect memory access errors, ACM SIGSOFT Software Eng. Notes, 2003, vol. 28, no. 5, pp. 327\u2013336.","journal-title":"ACM SIGSOFT Software Eng. Notes"},{"key":"3643_CR11","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/1646353.1646374","volume":"53","author":"A. Bessey","year":"2010","unstructured":"Bessey, A., Block, K., Chelf, B., Chou, A., Fulton, B., Hallem, S., Henri-Gros, C., Kamsky, A., McPeak, S., and Engler, D., A few billion lines of code later: Using static analysis to find bugs in the real world, Commun. ACM, 2010, vol. 53, no. 2, pp. 66\u201375.","journal-title":"Commun. ACM"},{"key":"3643_CR12","doi-asserted-by":"crossref","unstructured":"Aiken, A., Bugrara, S., Dillig, I., Dillig, T., Hackett, B., and Hawkins, P., An overview of the saturn project, Proc. 7th ACM SIGPLAN-SIGSOFT Workshop Program Analysis for Software Tools and Engineering, 2007, pp.\u00a043\u201348.","DOI":"10.1145\/1251535.1251543"},{"key":"3643_CR13","doi-asserted-by":"crossref","unstructured":"Babic, D. and Hu, A.J., Calysto: Scalable and precise extended static checking, Proc. 30th Int. Conf. Software Engineering, 2008, pp. 211\u2013220.","DOI":"10.1145\/1368088.1368118"},{"key":"3643_CR14","doi-asserted-by":"publisher","unstructured":"Koshelev, V.K., Dudina, I.A., Ignatyev, V.N., and Borzilov, A.I., Path-sensitive bug detection analysis of C# program illustrated by null pointer dereference, Tr. Inst. Sist. Program. Ross. Akad. Nauk (Proc. Inst. Syst. Program. Russ. Acad. Sci.), 2015, vol. 27, no. 5, pp. 59\u201386. https:\/\/doi.org\/10.15514\/ISPRAS-2015-27(5)-5","DOI":"10.15514\/ISPRAS-2015-27(5)-5"},{"key":"3643_CR15","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1134\/S0361768817040041","volume":"43","author":"V. Koshelev","year":"2017","unstructured":"Koshelev, V., Ignatiev, V., Borzilov, A., and Belevantsev, A., Sharpchecker: Static analysis tool for C# programs, Program. Comput. Software, 2017, vol. 43, no. 4, pp. 268\u2013276. https:\/\/doi.org\/10.1134\/S0361768817040041","journal-title":"Program. Comput. Software"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768821080028.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768821080028","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768821080028.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:41:35Z","timestamp":1775011295000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768821080028"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12]]},"references-count":15,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["3643"],"URL":"https:\/\/doi.org\/10.1134\/s0361768821080028","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,12]]},"assertion":[{"value":"18 February 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 February 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":"28 December 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}