{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:39:28Z","timestamp":1775054368885,"version":"3.50.1"},"reference-count":9,"publisher":"Pleiades Publishing Ltd","issue":"5","license":[{"start":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T00:00:00Z","timestamp":1504224000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T00:00:00Z","timestamp":1504224000000},"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":[[2017,9]]},"DOI":"10.1134\/s0361768817050024","type":"journal-article","created":{"date-parts":[[2017,9,13]],"date-time":"2017-09-13T05:19:37Z","timestamp":1505279977000},"page":"277-288","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Using static symbolic execution to detect buffer overflows"],"prefix":"10.1134","volume":"43","author":[{"given":"I. A.","family":"Dudina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. A.","family":"Belevantsev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2017,9,14]]},"reference":[{"issue":"5","key":"6356_CR1","first-page":"105","volume":"28","author":"V.K. Koshelev","year":"2016","unstructured":"Koshelev, V.K., Formalization of error detection for static symbolic execution, Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk, 2016, vol. 28, no. 5, pp. 105\u2013118.","journal-title":"Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk"},{"key":"6356_CR2","first-page":"231","volume":"26","author":"V.P. Ivannikov","year":"2014","unstructured":"Ivannikov, V.P., Belevantsev, A.A., Borodin, A.E., Ignat\u2019ev, V.N., Zhurikhin, D.M., Avetisyan, A.I., and Leonov, M.I., Svace static analyzer for error detection in the source code of programs, Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk, 2014, vol. 26, pp. 231\u2013250.","journal-title":"Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk"},{"issue":"5","key":"6356_CR3","first-page":"59","volume":"27","author":"V.K. Koshelev","year":"2015","unstructured":"Koshelev, V.K., Dudina, I.A., Ignat\u2019ev, V.I., and Borzilov, A.I., Path-sensitive error detection in C programs by the example of null pointer dereference, Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk, 2015, vol. 27, no. 5, pp. 59\u201386.","journal-title":"Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk"},{"issue":"4","key":"6356_CR4","first-page":"149","volume":"28","author":"I.A. Dudina","year":"2016","unstructured":"Dudina, I.A., Koshelev, V.K., and Borodin, A.E., Detection of buffer overflows in C\/C++ programs, Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk, 2016, vol. 28, no. 4, pp. 149\u2013168.","journal-title":"Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk"},{"key":"6356_CR5","volume-title":"Cand. Sci. (Phys.\u2013Math.) Dissertation","author":"A.E. Borodin","year":"2016","unstructured":"Borodin, A.E., Context-sensitive static interprocedural analysis for error detection in the source code of C\/C++ programs, Cand. Sci. (Phys.\u2013Math.) Dissertation, Moscow, 2016."},{"issue":"6","key":"6356_CR6","first-page":"111","volume":"27","author":"A.E. Borodin","year":"2015","unstructured":"Borodin, A.E. and Belevantsev, A.A., Svace static analyzer as a collection of analyzers of different complexity levels, Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk, 2015, vol. 27, no. 6, pp. 111\u2013134.","journal-title":"Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk"},{"issue":"6","key":"6356_CR7","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1145\/2254064.2254088","volume":"47","author":"V. Kuznetsov","year":"2012","unstructured":"Kuznetsov, V., Kinder, J., Bucur, S., and Candea, G., Efficient state merging in symbolic execution, Proc. 33rd ACM SIGPLAN Conf. Programming Language Design and Implementation, 2012, vol. 47, no. 6 pp. 193\u2013204.","journal-title":"Proc. 33rd ACM SIGPLAN Conf. Programming Language Design and Implementation"},{"key":"6356_CR8","first-page":"94","volume-title":"Proc. SSIRIC 4th IEEE Int. Conf. Secure Software Integration and Reliability Improvement Companion","author":"H. Shahriar","year":"2010","unstructured":"Shahriar, H. and Zulkernine, M., Classification of static analysis-based buffer overflow detectors, Proc. SSIRIC 4th IEEE Int. Conf. Secure Software Integration and Reliability Improvement Companion, 2010, pp. 94\u2013101."},{"key":"6356_CR9","first-page":"327","volume-title":"Helsinki","author":"Y. Xie","year":"2003","unstructured":"Xie, Y., Chou, A., and Engler, D., ARCHER: Using symbolic path-sensitive analysis to detect memory access errors, Proc. 9th European Software Engineering Conference, Helsinki, 2003, pp. 327\u2013336."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768817050024.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768817050024","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768817050024.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:57:15Z","timestamp":1775012235000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768817050024"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":9,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2017,9]]}},"alternative-id":["6356"],"URL":"https:\/\/doi.org\/10.1134\/s0361768817050024","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,9]]},"assertion":[{"value":"16 March 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 September 2017","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}