{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:31:56Z","timestamp":1775014316017,"version":"3.50.1"},"reference-count":8,"publisher":"Pleiades Publishing Ltd","issue":"4","license":[{"start":{"date-parts":[[2015,7,1]],"date-time":"2015-07-01T00:00:00Z","timestamp":1435708800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,7,1]],"date-time":"2015-07-01T00:00:00Z","timestamp":1435708800000},"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":[[2015,7]]},"DOI":"10.1134\/s0361768815040027","type":"journal-article","created":{"date-parts":[[2015,7,24]],"date-time":"2015-07-24T03:15:55Z","timestamp":1437707755000},"page":"237-245","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Interprocedural taint analysis for LLVM-bitcode"],"prefix":"10.1134","volume":"41","author":[{"given":"V. K.","family":"Koshelev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. O.","family":"Izbyshev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I. A.","family":"Dudina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2015,7,25]]},"reference":[{"key":"6266_CR1","first-page":"231","volume":"25","author":"VP Ivannikov","year":"2013","unstructured":"Ivannikov, V.P., Belevantsev, A.A., Borodin, A.E., Ignat\u2019ev, V.N., Zhurihin, D.M., Avetisjan, A.I., and Leonov, M.I., Static analyzer Svace for finding defects in program source code, Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk, 2013, vol. 25, pp. 231\u2013249.","journal-title":"Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk"},{"key":"6266_CR2","volume-title":"Proc. of High Confidence Software and System Conf.","author":"V Sarkar","year":"2014","unstructured":"Sarkar, V., Security analysis of LLVM bitcode files for Mobile, Proc. of High Confidence Software and System Conf., 2014."},{"issue":"2","key":"6266_CR3","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/103135.103136","volume":"13","author":"MN Wegman","year":"1991","unstructured":"Wegman, M.N. and Zadeck F.K., Constant propagation with conditional branches, ACM Trans. Program. Lang. Syst., 1991, vol. 13, no. 2, pp. 181\u2013210.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"6266_CR4","first-page":"33","volume-title":"Proc. of the 5th Int. Symp. SAS\u201998","author":"V Sarkar","year":"1998","unstructured":"Sarkar, V. and Knobe K., Enabling sparse constant propagation of array elements via array SSA form, Proc. of the 5th Int. Symp. SAS\u201998, 1998, pp. 33\u201356."},{"key":"6266_CR5","volume-title":"PLDI\u201914","author":"S Arzt","year":"2014","unstructured":"Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., Traon, Y., Octeau, D., and McDaniel, P., FlowDroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps, PLDI\u201914, 2014."},{"key":"6266_CR6","unstructured":"Li, L., Bartel, A., Klein, J., Traon, Y., Arzt, S., Rasthofer, S., Bodden, E., Octeau, D., and McDaniel, P., I know what leaked in your pocket: uncovering privacy leaks on android apps with static taint analysis. http:\/\/arxiv.org\/abs\/1404.7431. Cited April 29, 2014."},{"key":"6266_CR7","volume-title":"Interprocedural Dataflow Analysis via Graph Reachability","author":"T Reps","year":"1994","unstructured":"Reps, T., Sagiv, M., and Horwitz, S., Interprocedural Dataflow Analysis via Graph Reachability, Copenhagen: University of Copenhagen, 1994."},{"key":"6266_CR8","volume-title":"PLDI\u201914","author":"Y Smaragdakis","year":"2014","unstructured":"Smaragdakis, Y., Kastrinis, G., and Balatsouras, G., Introspective analysis: Context-sensitivity, across the board, PLDI\u201914, 2014."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768815040027.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768815040027","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768815040027","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768815040027.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:18:00Z","timestamp":1775009880000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768815040027"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":8,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,7]]}},"alternative-id":["6266"],"URL":"https:\/\/doi.org\/10.1134\/s0361768815040027","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7]]},"assertion":[{"value":"12 March 2015","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 July 2015","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}