{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T04:01:07Z","timestamp":1775016067507,"version":"3.50.1"},"reference-count":5,"publisher":"Pleiades Publishing Ltd","issue":"6","license":[{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"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":[[2018,11]]},"DOI":"10.1134\/s036176881806004x","type":"journal-article","created":{"date-parts":[[2019,3,6]],"date-time":"2019-03-06T14:03:34Z","timestamp":1551881014000},"page":"459-466","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Comparative Analysis of Two Approaches to Static Taint Analysis"],"prefix":"10.1134","volume":"44","author":[{"given":"M. V.","family":"Belyaev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N. V.","family":"Shimchik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. N.","family":"Ignatyev","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":[[2019,3,6]]},"reference":[{"key":"7030_CR1","volume-title":"T., Horwitz, S., and Sagiv, M., Precise interprocedural dataflow analysis via graph reachability, Proc. of the 22nd ACM SIGPLANSIGACT Symposium on Principles of Programming Languages","author":"T. Reps","year":"1995","unstructured":"T. Reps, T., Horwitz, S., and Sagiv, M., Precise interprocedural dataflow analysis via graph reachability, Proc. of the 22nd ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, San Francisco, Calif., ACM, 1995, pp. 49\u201361. http:\/\/doi.acm.org\/ 10.1145\/199448.199462"},{"key":"7030_CR2","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594299","volume-title":"FlowDroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps, Proc. of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"S. Arzt","year":"2014","unstructured":"Arzt, S. et al., FlowDroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps, Proc. of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, Edinburgh, United Kingdom, ACM, 2014, pp. 259\u2013269. http:\/\/doi.acm.org\/10.1145\/2594291.2594299"},{"key":"7030_CR3","unstructured":"Fritz, C. et al., Highly precise taint analysis for Android applications, Techn., Rep., No. TUD-CS-2013-0113, EC SPRIDE, 2013. http:\/\/www.bodden.de\/pubs\/ TUD-CS-2013-0113.pdf."},{"key":"7030_CR4","first-page":"21","volume":"28","author":"V.K. Koshelev","year":"2016","unstructured":"Koshelev, V.K., Ignatyev, V.N., and Borzilov, A.I., C$$\\# $$\n                                 \n                                  static analysis framework, Trudy Inst. Sist. Program. Ross. Akad. Nauk, 2016, vol. 28, no. 1, pp. 21\u201340.","journal-title":"Trudy Inst. Sist. Program. Ross. Akad. Nauk"},{"key":"7030_CR5","first-page":"59","volume":"27","author":"V. Koshelev","year":"2015","unstructured":"Koshelev, V., Dudina, I., Ignatyev, V., and Borzilov, A., Path-sensitive bug detection analysis of C$$\\# $$\n                                 \n                                  program illustrated by null pointer dereference, Trudy Inst. Sist. Program. Ross. Akad. Nauk, 2015, vol. 27, no. 5, pp. 59\u201386.","journal-title":"Trudy Inst. Sist. Program. Ross. Akad. Nauk"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S036176881806004X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S036176881806004X","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S036176881806004X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:33:34Z","timestamp":1775010814000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S036176881806004X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11]]},"references-count":5,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2018,11]]}},"alternative-id":["7030"],"URL":"https:\/\/doi.org\/10.1134\/s036176881806004x","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,11]]},"assertion":[{"value":"19 July 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 March 2019","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}