{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:29:23Z","timestamp":1775014163676,"version":"3.50.1"},"reference-count":8,"publisher":"Pleiades Publishing Ltd","issue":"5","license":[{"start":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T00:00:00Z","timestamp":1409529600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T00:00:00Z","timestamp":1409529600000},"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":[[2014,9]]},"DOI":"10.1134\/s0361768814050041","type":"journal-article","created":{"date-parts":[[2014,9,20]],"date-time":"2014-09-20T17:09:49Z","timestamp":1411232989000},"page":"265-275","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":26,"title":["Static analyzer Svace for finding defects in a source program code"],"prefix":"10.1134","volume":"40","author":[{"given":"V. P.","family":"Ivannikov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. A.","family":"Belevantsev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. E.","family":"Borodin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. N.","family":"Ignatiev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. M.","family":"Zhurikhin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. I.","family":"Avetisyan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2014,9,21]]},"reference":[{"key":"6227_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"724","DOI":"10.1007\/3-540-44839-X_76","volume-title":"Proceedings of the International Conference on Computational Science and its Applications, ICCSA","author":"SC Misra","year":"2003","unstructured":"Misra, S.C. and Bhavsar, V.C., Relationships between selected software measures and latent bug-density: Guidelines for improving quality, in Proceedings of the International Conference on Computational Science and its Applications, ICCSA, in Lecture Notes in Computer Science, vol. 2667, Montreal: Springer, 2003, pp. 724\u2013732."},{"key":"6227_CR2","unstructured":"Nessov, V.S., Automatic detection of defects using interprocedural static source code analysis, Materialy XI mezhdunarodnoi konferentsii \u201cRusKripto\u20192009\u201d (Proc. XI Int. Conf. \u201cRusKripto\u20192009\u201d)."},{"key":"6227_CR3","first-page":"23","volume":"21","author":"A Avetisyan","year":"2011","unstructured":"Avetisyan, A., Belevantsev, A., Borodin, A., and Nessov, V., Using static analysis to find vulnerabilities and critical errors in source code of programs, Tr. Inst. Sist. Upr., Ross. Akad. Nauk, 2011, vol. 21, pp. 23\u201338.","journal-title":"Tr. Inst. Sist. Upr., Ross. Akad. Nauk"},{"key":"6227_CR4","unstructured":"Coverity SAVE tool. http:\/\/www.coverity.com\/products\/coverity-save.html"},{"key":"6227_CR5","unstructured":"Static analysis tool of Klocwork. http:\/\/www.kloc-work.com\/products\/insight\/klocwork-truepath"},{"key":"6227_CR6","volume-title":"Tracking pointers with path and context sensitivity for bug detection in C programs","author":"VB Lifshiz","year":"2003","unstructured":"Lifshiz, V.B. and Lam, M.S., Tracking pointers with path and context sensitivity for bug detection in C programs, 2003."},{"key":"6227_CR7","first-page":"39","volume":"21","author":"A Avetisyan","year":"2011","unstructured":"Avetisyan, A. and Borodin, A., Extension mechanisms of static analysis Svace by detectors of new types of vulnerabilities and critical errors, Tr. Inst. Sist. Upr., Ross. Akad. Nauk, 2011, vol. 21, pp. 39\u201354.","journal-title":"Tr. Inst. Sist. Upr., Ross. Akad. Nauk"},{"key":"6227_CR8","first-page":"169","volume":"22","author":"V Ignatyev","year":"2012","unstructured":"Ignatyev, V., Using lightweight static analysis for the verification of adjustable semantic constraints of a programming language, Tr. Inst. Sist. Upr., Ross. Akad. Nauk, 2012, vol. 22, pp. 169\u2013188.","journal-title":"Tr. Inst. Sist. Upr., Ross. Akad. Nauk"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768814050041.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768814050041","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768814050041","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768814050041.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:17:04Z","timestamp":1775009824000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768814050041"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":8,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2014,9]]}},"alternative-id":["6227"],"URL":"https:\/\/doi.org\/10.1134\/s0361768814050041","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9]]},"assertion":[{"value":"18 March 2014","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 September 2014","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}