{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T04:16:49Z","timestamp":1775017009019,"version":"3.50.1"},"reference-count":13,"publisher":"Pleiades Publishing Ltd","issue":"5","license":[{"start":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T00:00:00Z","timestamp":1630454400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T00:00:00Z","timestamp":1630454400000},"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,9]]},"DOI":"10.1134\/s0361768821050030","type":"journal-article","created":{"date-parts":[[2021,9,15]],"date-time":"2021-09-15T10:03:18Z","timestamp":1631700198000},"page":"344-352","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Interprocedural Static Analysis for Finding Bugs in Go Programs"],"prefix":"10.1134","volume":"47","author":[{"given":"I. V.","family":"Bolotnikov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. E.","family":"Borodin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2021,9,15]]},"reference":[{"key":"3603_CR1","unstructured":"Golang-2019 survey. https:\/\/blog.golang.org\/survey2019-results. Accessed October 3, 2020."},{"key":"3603_CR2","unstructured":"PYPL. http:\/\/pypl.github.io\/PYPL. Accessed October 3, 2020."},{"key":"3603_CR3","unstructured":"IEEE Spectrum\u2019s programming languages top. \nhttps:\/\/spectrum.ieee.org\/static\/interactive-the-top-programming-languages-2019. Accessed October 3, 2020."},{"key":"3603_CR4","unstructured":"StaticCheck main page. https:\/\/staticcheck.io. Accessed October 10, 2020."},{"key":"3603_CR5","unstructured":"go-critic main page. https:\/\/github.com\/go-critic\/go-critic. Accessed October 10, 2020."},{"key":"3603_CR6","unstructured":"errcheck main page. https:\/\/github.com\/kisielk\/errcheck. Accessed October 10, 2020."},{"key":"3603_CR7","doi-asserted-by":"publisher","unstructured":"Borodin, A.E. and Dudina, I.A., Intra-procedural analysis for error detection based on symbolic execution, Tr. Inst. Sist. Program. Ross. Akad. Nauk (Proc. Inst. Syst. Program. Russ. Acad. Sci.), 2020, vol. 32, no. 6, pp. 87\u2013100. https:\/\/doi.org\/10.15514\/ISPRAS-2020-32(6)-7","DOI":"10.15514\/ISPRAS-2020-32(6)-7"},{"key":"3603_CR8","doi-asserted-by":"publisher","unstructured":"Borodin, A.E. and Belevantsev, A.A., Svace static analyzer as a collection of analyzers of different levels of complexity, Tr. Inst. Sist. Program. Ross. Akad. Nauk (Proc. Inst. Syst. Program. Russ. Acad. Sci.), 2015, vol.\u00a027, no. 2, pp. 111\u2013134. https:\/\/doi.org\/10.15514\/ISPRAS-2015-27(6)-8","DOI":"10.15514\/ISPRAS-2015-27(6)-8"},{"key":"3603_CR9","doi-asserted-by":"crossref","unstructured":"Belevantsev, A., 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":"3603_CR10","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1134\/S0361768814050041","volume":"40","author":"V.P. Ivannikov","year":"2014","unstructured":"Ivannikov, V.P., Static analyzer Svace for finding defects in a source program code, Program. Comput. Software, 2014, vol. 40, no. 5, pp. 265\u2013275.","journal-title":"Program. Comput. Software"},{"key":"3603_CR11","doi-asserted-by":"crossref","unstructured":"Merkulov, A.P., Polyakov, S.A., and Belevantsev, A.A., Analyzing Java programs in the Svace tool, Tr. Inst. Sist. Program. Ross. Akad. Nauk (Proc. Inst. Syst. Program. Russ. Acad. Sci.), 2017, vol. 29, no. 3.","DOI":"10.15514\/ISPRAS-2017-29(3)-5"},{"key":"3603_CR12","unstructured":"Borodin, A.E., Inter-procedural context-sensitive static analysis for error detection in the source code of programs in C and C++, Cand. Sci. (Phys.-Math.) Dissertation, Moscow: Inst. Syst. Program. Russ. Acad. Sci., 2016."},{"key":"3603_CR13","unstructured":"Belevantsev, A.A., Izbyshev, A.O., and Zhurikhin, D.M., Organization of controlled build in the Svace static analyzer, Sist. Administrator, 2017, nos. 7\u20138, pp. 135\u2013139."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768821050030.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768821050030","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768821050030.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:41:25Z","timestamp":1775011285000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768821050030"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9]]},"references-count":13,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021,9]]}},"alternative-id":["3603"],"URL":"https:\/\/doi.org\/10.1134\/s0361768821050030","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,9]]},"assertion":[{"value":"12 April 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 April 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 May 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 September 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}