{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T04:28:49Z","timestamp":1775017729418,"version":"3.50.1"},"reference-count":20,"publisher":"Pleiades Publishing Ltd","issue":"6","license":[{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"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,11]]},"DOI":"10.1134\/s0361768821060037","type":"journal-article","created":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T23:52:16Z","timestamp":1638489136000},"page":"466-481","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Searching for Taint Vulnerabilities with Svace Static Analysis Tool"],"prefix":"10.1134","volume":"47","author":[{"given":"A. E.","family":"Borodin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. V.","family":"Goremykin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. P.","family":"Vartanov","sequence":"additional","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":[[2021,12,3]]},"reference":[{"key":"3612_CR1","doi-asserted-by":"crossref","unstructured":"Belevantsev, A., Borodin, A., Dudina, I., et al., Design and development of Svace static analyzers, Proc. Ivannikov Memorial Workshop (IVMEM), 2018, pp. 3\u20139.","DOI":"10.1109\/IVMEM.2018.00008"},{"key":"3612_CR2","doi-asserted-by":"crossref","unstructured":"Borodin, A. and Belevancev, 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.","DOI":"10.15514\/ISPRAS-2015-27(6)-8"},{"key":"3612_CR3","doi-asserted-by":"crossref","unstructured":"Borodin, A., Belevantsev, A., Zhurikhin, D., and Izbyshev, A., Deterministic static analysis, Proc. Ivannikov Memorial Workshop (IVMEM), 2018, pp. 10\u201314.","DOI":"10.1109\/IVMEM.2018.00009"},{"key":"3612_CR4","doi-asserted-by":"crossref","unstructured":"Ivannikov, V., Belevantsev, A., Borodin, A., et al., Svace: Static analyzer for detecting of defects in program source code, Tr. Inst. Sist. Program. Ross. Akad. Nauk (Proc. Inst. Syst. Program. Russ. Acad. Sci.), 2014, vol.\u00a026, no. 1, pp. 231\u2013250.","DOI":"10.15514\/ISPRAS-2014-26(1)-7"},{"key":"3612_CR5","first-page":"14","volume":"7","author":"Aleph One","year":"1996","unstructured":"Aleph One, Smashing the stack for fun and profit, Phrack, 1996, vol. 7, no. 49, pp. 14\u201316.","journal-title":"Phrack"},{"key":"3612_CR6","unstructured":"National Vulnerability Database, CWE Over Time, 2020.\nhttps:\/\/nvd.nist.gov\/general\/visualizations\/vulnerability-visualizations\/cwe-over-time. \nAccessed January 15, 2021."},{"key":"3612_CR7","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/161494.161501","volume":"1","author":"W. Landi","year":"1992","unstructured":"Landi, W., Undecidability of static analysis, ACM Lett. Program. Lang. Syst., 1992, vol. 1, no. 4, pp. 323\u2013337.","journal-title":"ACM Lett. Program. Lang. Syst."},{"key":"3612_CR8","doi-asserted-by":"crossref","unstructured":"Hind, M., Pointer analysis: Haven\u2019t we solved this problem yet?, Proc. ACM SIGPLAN-SIGSOFT Workshop Program Analysis for Software Tools and Engineering, 2001, pp. 54\u201361.","DOI":"10.1145\/379605.379665"},{"key":"3612_CR9","unstructured":"Landi, W., Interprocedural aliasing in the presence of pointers, PhD Thesis, The State University of New Jersey, 1992."},{"key":"3612_CR10","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/143103.143137","volume":"27","author":"W. Landi","year":"1992","unstructured":"Landi, W. and Ryder, B.G., A safe approximate algorithm for interprocedural aliasing, ACM SIGPLAN Not., 1992, vol. 27, no. 7, pp. 235\u2013248.","journal-title":"ACM SIGPLAN Not."},{"key":"3612_CR11","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/2644805","volume":"58","author":"B. Livshits","year":"2015","unstructured":"Livshits, B., Sridharan, M., Smaragdakis, Y., et al., In defense of soundiness: A manifesto, Commun. ACM, 2015, vol. 58, no. 2, pp. 44\u201346.","journal-title":"Commun. ACM"},{"key":"3612_CR12","unstructured":"Belevantsev, A., Izbyshev, A., and Zhurikhin, D., Monitoring program builds for Svace static analyzer, Syst. Admin., 2017, nos. 7\u20138, pp. 135\u2013139."},{"key":"3612_CR13","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":"3612_CR14","doi-asserted-by":"crossref","unstructured":"Aiken, A., Bugrara, S., Dillig, I., et al., An overview of the Saturn project, Proc. 7th ACM SIGPLAN-SIGSOFT Workshop Program Analysis for Software Tools and Engineering, 2007, pp. 43\u201348.","DOI":"10.1145\/1251535.1251543"},{"key":"3612_CR15","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":"3612_CR16","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.","journal-title":"Program. Comput. Software"},{"key":"3612_CR17","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":"3612_CR18","unstructured":"Tizen 6.0 Public M2 Release. https:\/\/www.tizen.org\/blogs\/bighoya\/2020\/tizen-6.0-public-m2-release-0. Accessed January 15, 2021."},{"key":"3612_CR19","doi-asserted-by":"crossref","unstructured":"Black, P.E., Juliet 1.3 test suite: Changes from 1.2, US Department of Commerce, National Institute of Standards and Technology, 2018.","DOI":"10.6028\/NIST.TN.1995"},{"key":"3612_CR20","unstructured":"Juliet test suite v1.2 for C\/C++ user guide, Center for Assured Software, National Security Agency, 2012."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768821060037.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768821060037","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768821060037.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:47:59Z","timestamp":1775011679000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768821060037"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11]]},"references-count":20,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,11]]}},"alternative-id":["3612"],"URL":"https:\/\/doi.org\/10.1134\/s0361768821060037","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,11]]},"assertion":[{"value":"5 July 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 July 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 July 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 December 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}