{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:37:16Z","timestamp":1775054236772,"version":"3.50.1"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319743127","type":"print"},{"value":"9783319743134","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-74313-4_3","type":"book-chapter","created":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T00:17:43Z","timestamp":1516148263000},"page":"28-42","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code"],"prefix":"10.1007","author":[{"given":"Andrey","family":"Belevantsev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arutyun","family":"Avetisyan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,1,18]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10703-009-0089-6","volume":"35","author":"P Cousot","year":"2009","unstructured":"Cousot, P., Cousot, R., Feret, J., et al.: Why does Astr\u00e9e scale up? Form Methods Syst. Des. 35, 229 (2009). \nhttps:\/\/doi.org\/10.1007\/s10703-009-0089-6","journal-title":"Form Methods Syst. Des."},{"issue":"3","key":"3_CR2","first-page":"1","volume":"29","author":"Y Xie","year":"2007","unstructured":"Xie, Y., Aiken, A.: Saturn: a scalable framework for error detection using Boolean satisfiability. ACM Trans. Program. Lang. Syst. 29(3), 1\u201343 (2007). Article 16","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/978-3-540-74061-2_23","volume-title":"Static Analysis","author":"S Sankaranarayanan","year":"2007","unstructured":"Sankaranarayanan, S., Ivan\u010di\u0107, F., Gupta, A.: Program analysis using symbolic ranges. In: Nielson, H.R., Fil\u00e9, G. (eds.) SAS 2007. LNCS, vol. 4634, pp. 366\u2013383. Springer, Heidelberg (2007). \nhttps:\/\/doi.org\/10.1007\/978-3-540-74061-2_23"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/978-3-642-16558-0_44","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"Z Xu","year":"2010","unstructured":"Xu, Z., Kremenek, T., Zhang, J.: A memory model for static analysis of C programs. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part I. LNCS, vol. 6415, pp. 535\u2013548. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-16558-0_44"},{"key":"3_CR5","unstructured":"Ignatiev, V.: Using static analysis for customizable checks of C\/C++ semantic constraints. Ph.D. thesis, Moscow (2015)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Strein, D., Kratz, H., Lowe, W.: Cross-language program analysis and refactoring. In: Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), Washington, DC, USA, pp. 207\u2013216. IEEE Computer Society (2006)","DOI":"10.1109\/SCAM.2006.10"},{"key":"3_CR7","first-page":"64","volume":"27","author":"MV Zubov","year":"2013","unstructured":"Zubov, M.V., Pustygin, A.N., Startsev, E.V.: Use of the intermediate software representations for static analysis of source code. Doklady TUSUR 27, 64\u201368 (2013). (in Russian)","journal-title":"Doklady TUSUR"},{"key":"3_CR8","unstructured":"Borodin, A.: Interprocedural context-sensitive static analysis for finding defects in C\/C++ program source code. Ph.D. thesis, Moscow (2016)"},{"key":"3_CR9","unstructured":"LLVM Language Reference Manual. \nhttp:\/\/llvm.org\/docs\/LangRef.html"},{"key":"3_CR10","unstructured":"Tucker Taft. The use of value numbers in static analysis. \nhttp:\/\/www.adacore.com\/knowledge\/technical-papers\/the-use-of-value-numbers-in-static-analysis\/"},{"key":"3_CR11","unstructured":"MISRA C 2012 Guidelines. \nhttps:\/\/www.misra.org.uk\/MISRAHome\/MISRAC2012\/tabid\/196\/Default.aspx"},{"key":"3_CR12","unstructured":"CERT C Coding Standard. \nhttps:\/\/www.securecoding.cert.org\/confluence\/display\/c\/SEI+CERT+C+Coding+Standard"},{"key":"3_CR13","unstructured":"CWE, Common Weakness Enumeration Database. \nhttps:\/\/cwe.mitre.org\/"},{"issue":"6","key":"3_CR14","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1002\/zaac.201500219","volume":"27","author":"P Briggs","year":"1997","unstructured":"Briggs, P., Cooper, K.D., Taylor Simpson, L.: Value numbering. Softw. Pract. Exper. 27(6), 701\u2013724 (1997). \nhttps:\/\/doi.org\/10.1002\/zaac.201500219","journal-title":"Softw. Pract. Exper."},{"issue":"6","key":"3_CR15","doi-asserted-by":"crossref","first-page":"111","DOI":"10.15514\/ISPRAS-2015-27(6)-8","volume":"27","author":"A Borodin","year":"2015","unstructured":"Borodin, A., Belevantsev, A.: A static analysis tool Svace as a collection of analyzers with various complexity levels. Trudy ISP RAN\/Proc. ISP RAS 27(6), 111\u2013134 (2015). (in Russian)","journal-title":"Trudy ISP RAN\/Proc. ISP RAS"},{"issue":"1","key":"3_CR16","doi-asserted-by":"publisher","first-page":"231","DOI":"10.15514\/ispras-2014-26(1)-7","volume":"26","author":"VP Ivannikov","year":"2011","unstructured":"Ivannikov, V.P., Belevantsev, A.A., Borodin, A.E., Ignat\u2019ev, V.N., Zhurikhin, D.M., Avetisjan, A.I., Leonov, M.I.: Staticheskij analizator Svace dlja poiska defektov v iskhodnom kode programm [Svace: static analyzer for detecting of defects in program source code]. Trudy ISP RAN [The Proceedings of ISP RAS] 26(1), 231\u2013250 (2011). \nhttps:\/\/doi.org\/10.15514\/ispras-2014-26(1)-7\n\n. (in Russian)","journal-title":"Trudy ISP RAN [The Proceedings of ISP RAS]"},{"key":"3_CR17","first-page":"23","volume":"21","author":"AI Avetisjan","year":"2011","unstructured":"Avetisjan, A.I., Belevantsev, A.A., Borodin, A.E., Nesov, V.S.: Ispol\u2019zovanie staticheskogo analiza dlja poiska ujazvimostej i kriticheskikh oshibok v iskhodnom kode program [Using static analysis for searching vulnerabilities and critical errors in the source code of programs]. Trudy ISP RAN [The Proceedings of ISP RAS] 21, 23\u201338 (2011). (in Russian)","journal-title":"Trudy ISP RAN [The Proceedings of ISP RAS]"},{"issue":"1","key":"3_CR18","doi-asserted-by":"crossref","first-page":"21","DOI":"10.15514\/ISPRAS-2016-28(1)-2","volume":"28","author":"VK Koshelev","year":"2016","unstructured":"Koshelev, V.K., Ignatyev, V.N., Borzilov, A.I.: C# static analysis framework. Trudy ISP RAN\/Proc. ISP RAS 28(1), 21\u201340 (2016). (in Russian)","journal-title":"Trudy ISP RAN\/Proc. ISP RAS"},{"key":"3_CR19","unstructured":"FindBugs tool. \nhttp:\/\/findbugs.sourceforge.net\/"},{"key":"3_CR20","unstructured":"Clang Static Analyzer. \nhttp:\/\/clang-analyzer.llvm.org\/"},{"key":"3_CR21","unstructured":"Z3 Theorem Prover. \nhttps:\/\/github.com\/Z3Prover\/z3"},{"key":"3_CR22","unstructured":"Svace tool deployed in Samsung. Vedomosti news. \nhttp:\/\/www.vedomosti.ru\/technology\/articles\/2016\/11\/17\/665253-russkie-programmisti-samsung"},{"issue":"5","key":"3_CR23","doi-asserted-by":"publisher","first-page":"119","DOI":"10.15514\/ispras-2016-28(5)-7","volume":"28","author":"I Dudina","year":"2016","unstructured":"Dudina, I.: Inter-procedural buffer overflows detection in C\/C++ source code via static analysis. Trudy ISP RAN\/Proc. ISP RAS 28(5), 119\u2013134 (2016). \nhttps:\/\/doi.org\/10.15514\/ispras-2016-28(5)-7\n\n. (in Russian)","journal-title":"Trudy ISP RAN\/Proc. ISP RAS"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74313-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T00:19:01Z","timestamp":1516148341000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74313-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319743127","9783319743134"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74313-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}