{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:41:14Z","timestamp":1775054474763,"version":"3.50.1"},"reference-count":20,"publisher":"Pleiades Publishing Ltd","issue":"4","license":[{"start":{"date-parts":[[2017,7,1]],"date-time":"2017-07-01T00:00:00Z","timestamp":1498867200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2017,7,1]],"date-time":"2017-07-01T00:00:00Z","timestamp":1498867200000},"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,7]]},"DOI":"10.1134\/s0361768817040041","type":"journal-article","created":{"date-parts":[[2017,7,20]],"date-time":"2017-07-20T10:17:27Z","timestamp":1500545847000},"page":"268-276","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["SharpChecker: Static analysis tool for C# programs"],"prefix":"10.1134","volume":"43","author":[{"given":"V. K.","family":"Koshelev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. N.","family":"Ignatiev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. I.","family":"Borzilov","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":[[2017,7,21]]},"reference":[{"key":"6355_CR1","unstructured":"TIOBE Programming Community index. http:\/\/www. tiobe.com\/tiobe_index"},{"key":"6355_CR2","unstructured":"Microsoft Developer Network, LINQ (Language-Integrated Query). https:\/\/msdn.microsoft.com\/ru-ru\/ library\/\/bb397926.aspx"},{"issue":"1","key":"6355_CR3","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 bug detection in program source code, Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk, 2014, vol. 26, no. 1, pp. 231\u2013250.","journal-title":"Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk"},{"key":"6355_CR4","unstructured":"Coverity: software testing and static analysis tools. http:\/\/www.coverity.com\/"},{"key":"6355_CR5","unstructured":"Klocwork: source code analysis tools for security and reliability. http:\/\/www.klocwork.com."},{"key":"6355_CR6","unstructured":"SonarLint. http:\/\/www.sonarlint.org\/"},{"key":"6355_CR7","unstructured":"PVS-Studio for C\/C++\/C#. http:\/\/www.viva64.com\/"},{"key":"6355_CR8","unstructured":"Institute for System Programming, SharpChecker. http:\/\/sharpchecker.ispras.ru\/ru\/"},{"key":"6355_CR9","unstructured":"Microsoft Developer Tools, Visual Studio. http:\/\/ www.visualstudio.com\/ru-ru\/visual-studio-homepage-vs.aspx"},{"key":"6355_CR10","unstructured":"Roslyn. NET Compiler Platform. https:\/\/github.com \/dotnet\/roslyn"},{"key":"6355_CR11","volume-title":"Addison Wesley","author":"A.V. Aho","year":"2006","unstructured":"Aho, A.V., Lam, M.S., Sethi, R., and Ullman, J.D., Compilers: Principles, Techniques, and Tools, Addison Wesley, 2006, 2nd ed."},{"key":"6355_CR12","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1145\/353171.353189","volume-title":"15th ACM SIGPLAN Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)","author":"V. Sundaresan","year":"2000","unstructured":"Sundaresan, V., Hendren, L., Razafimahefa, C., Vallee-Rai, R., Lam, P., Gagnon, E., and Godin, C., Practical virtual method call resolution for Java, Proc. 15th ACM SIGPLAN Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), New York, 2000, pp. 264\u2013280."},{"key":"6355_CR13","first-page":"623","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Falke","year":"2010","unstructured":"Falke, S., Merz, F., and Sinz, Ca., LLBMC: Improved bounded model checking of C programs using LLVM, Tools and Algorithms for the Construction and Analysis of Systems, Berlin: Springer, 2010, pp. 623\u2013626."},{"issue":"5","key":"6355_CR14","first-page":"59","volume":"27","author":"V.K. Koshelev","year":"2015","unstructured":"Koshelev, V.K., Dudina, I.A., Ignat\u2019ev, V.N., and Borzilov, A.I., Path-sensitive bug 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"},{"key":"6355_CR15","volume-title":"An introduction to binary decision diagrams","author":"H.R. Andersen","year":"1997","unstructured":"Andersen, H.R., An introduction to binary decision diagrams, 1997. Lecture notes, http:\/\/www.cs.utexas. edu\/isil\/cs389L\/bdd.pdf"},{"key":"6355_CR16","first-page":"19","volume-title":"Proc. Formal Methods in Computer-Aided Design (FMCAD)","author":"K.L. McMillan","year":"2011","unstructured":"McMillan, K.L., Interpolants from Z3 proofs, Proc. Formal Methods in Computer-Aided Design (FMCAD), 2011, pp. 19\u201327."},{"key":"6355_CR17","unstructured":"Ecma International, ECMA-335 standard. http:\/\/ www.ecma-international.org\/publications\/ files\/ECMA-ST\/ECMA-335.pdf."},{"key":"6355_CR18","unstructured":"Mono Project, Mono.Cecil library. http:\/\/www.monoproject. com\/docs\/tools+libraries\/libraries\/Mono. Cecil\/"},{"key":"6355_CR19","unstructured":"Microsoft Developer Network, Windows API. https:\/\/msdn.microsoft.com\/en-us\/library\/cc433218."},{"key":"6355_CR20","unstructured":"Microsoft Developer Network,.NET Framework class library. https:\/\/msdn.microsoft.com\/ru-ru\/library\/\/ mt472912(v=vs.110).aspx."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768817040041.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768817040041","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768817040041.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:28:53Z","timestamp":1775010533000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768817040041"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,7]]}},"alternative-id":["6355"],"URL":"https:\/\/doi.org\/10.1134\/s0361768817040041","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7]]},"assertion":[{"value":"12 February 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 July 2017","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}