{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:18:10Z","timestamp":1763468290463,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662482872"},{"type":"electronic","value":"9783662482889"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48288-9_10","type":"book-chapter","created":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T02:26:24Z","timestamp":1441074384000},"page":"162-180","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Effective Soundness-Guided Reflection Analysis"],"prefix":"10.1007","author":[{"given":"Yue","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tian","family":"Tan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jingling","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,2]]},"reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/3-540-36579-6_12","volume-title":"Compiler Construction","author":"O Lhot\u00e1k","year":"2003","unstructured":"Lhot\u00e1k, O., Hendren, L.: Scaling java points-to analysis using SPARK. In: Hedin, G. (ed.) CC 2003. LNCS, vol. 2622, pp. 153\u2013169. Springer, Heidelberg (2003)"},{"issue":"6","key":"10_CR2","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1145\/996841.996859","volume":"39","author":"J Whaley","year":"2004","unstructured":"Whaley, J., Lam, M.S.: Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. PLDI 39(6), 131\u2013144 (2004)","journal-title":"PLDI"},{"issue":"1","key":"10_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1044834.1044835","volume":"14","author":"A Milanova","year":"2005","unstructured":"Milanova, A., Rountev, A., Ryder, B.G.: Parameterized object sensitivity for points-to analysis for Java. ACM Trans. Softw. Eng. Methodol. 14(1), 1\u201341 (2005)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"6","key":"10_CR4","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1145\/1133981.1134027","volume":"41","author":"M Sridharan","year":"2006","unstructured":"Sridharan, M., Bod\u00edk, R.: Refinement-based context-sensitive points-to analysis for Java. PLDI 41(6), 387\u2013400 (2006)","journal-title":"PLDI"},{"issue":"10","key":"10_CR5","first-page":"243","volume":"44","author":"M Bravenboer","year":"2009","unstructured":"Bravenboer, M., Smaragdakis, Y.: Strictly declarative specification of sophisticated points-to analyses. OOPSLA 44(10), 243\u2013262 (2009)","journal-title":"OOPSLA"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Shang, L., Xie, X., Xue, J.: On-demand dynamic summary-based points-to analysis. In: CGO (2012)","DOI":"10.1145\/2259016.2259050"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-37051-9_4","volume-title":"Compiler Construction","author":"Y Lu","year":"2013","unstructured":"Lu, Y., Shang, L., Xie, X., Xue, J.: An incremental points-to analysis with CFL-reachability. In: Jhala, R., De Bosschere, K. (eds.) CC 2013. LNCS, vol. 7791, pp. 61\u201381. Springer, Heidelberg (2013)"},{"issue":"1","key":"10_CR8","first-page":"17","volume":"46","author":"Y Smaragdakis","year":"2011","unstructured":"Smaragdakis, Y., Bravenboer, M., Lhot\u00e1k, O.: Pick your contexts well: understanding object-sensitivity. POPL 46(1), 17\u201330 (2011)","journal-title":"POPL"},{"issue":"6","key":"10_CR9","first-page":"423","volume":"48","author":"G Kastrinis","year":"2013","unstructured":"Kastrinis, G., Smaragdakis, Y.: Hybrid context-sensitivity for points-to analysis. PLDI 48(6), 423\u2013434 (2013)","journal-title":"PLDI"},{"issue":"6","key":"10_CR10","first-page":"485","volume":"49","author":"Y Smaragdakis","year":"2014","unstructured":"Smaragdakis, Y., Kastrinis, G., Balatsouras, G.: Introspective analysis: context-sensitivity, across the board. PLDI 49(6), 485\u2013495 (2014)","journal-title":"PLDI"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Hirzel, M., Dincklage, D.V., Diwan, A., Hind, M.: Fast online pointer analysis. ACM Trans. Program. Lang. Syst. 29(2) (2007)","DOI":"10.1145\/1216374.1216379"},{"issue":"10","key":"10_CR12","first-page":"1053","volume":"46","author":"M Sridharan","year":"2011","unstructured":"Sridharan, M., Artzi, S., Pistoia, M., Guarnieri, S., Tripp, O., Berg, R.: F4F: taint analysis of framework-based web applications. OOPSLA 46(10), 1053\u20131068 (2011)","journal-title":"OOPSLA"},{"issue":"6","key":"10_CR13","first-page":"239","volume":"49","author":"X Zhang","year":"2014","unstructured":"Zhang, X., Mangal, R., Grigore, R., Naik, M., Yang, H.: On abstraction refinement for program analyses in datalog. PLDI 49(6), 239\u2013248 (2014)","journal-title":"PLDI"},{"issue":"6","key":"10_CR14","first-page":"259","volume":"49","author":"S Arzt","year":"2014","unstructured":"Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., Le Traon, Y., Octeau, D., McDaniel, P.: Flowdroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps. PLDI 49(6), 259\u2013269 (2014)","journal-title":"PLDI"},{"key":"10_CR15","unstructured":"Nguyen, P.H., Xue, J.: Interprocedural side-effect analysis and optimisation in the presence of dynamic class loading. In: ACSC (2005)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-540-31985-6_21","volume-title":"Compiler Construction","author":"J Xue","year":"2005","unstructured":"Xue, J., Nguyen, P.H.: Completeness analysis for incomplete object-oriented programs. In: Bodik, R. (ed.) CC 2005. LNCS, vol. 3443, pp. 271\u2013286. Springer, Heidelberg (2005)"},{"key":"10_CR17","unstructured":"WALA.: T.J. Watson libraries for analysis. http:\/\/wala.sf.net"},{"key":"10_CR18","unstructured":"DOOP. http:\/\/doop.program-analysis.org"},{"key":"10_CR19","unstructured":"Vall\u00e9e-Rai, R., Co, P., Gagnon, E., Hendren, L., Lam, P., Sundaresan, V.: Soot - a Java bytecode optimization framework. In: CASCON (1999)"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/11575467_11","volume-title":"Programming Languages and Systems","author":"B Livshits","year":"2005","unstructured":"Livshits, B., Whaley, J., Lam, M.S.: Reflection analysis for Java. In: Yi, K. (ed.) APLAS 2005. LNCS, vol. 3780, pp. 139\u2013160. Springer, Heidelberg (2005)"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","first-page":"27","volume-title":"ECOOP 2014 \u2013 Object-Oriented Programming","author":"Y Li","year":"2014","unstructured":"Li, Y., Tan, T., Sui, Y., Xue, J.: Self-inferencing reflection resolution for Java. In: Jones, R. (ed.) ECOOP 2014. LNCS, vol. 8586, pp. 27\u201353. Springer, Heidelberg (2014)"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Bodden, E., Sewe, A., Sinschek, J., Oueslati, H., Mezini, M.: Taming reflection: aiding static analysis in the presence of reflection and custom class loaders. In: ICSE (2011)","DOI":"10.1145\/1985793.1985827"},{"issue":"2","key":"10_CR23","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/2644805","volume":"58","author":"B Livshits","year":"2015","unstructured":"Livshits, B., Sridharan, M., Smaragdakis, Y., Lhotk, O., Amaral, J.N., Chang, B.-Y.E., Guyer, S.Z., Khedker, U.P., Mller, A., Vardoulakis, D.: In defense of soundiness: a manifesto. Commun. ACM 58(2), 44\u201346 (2015)","journal-title":"Commun. ACM"},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/978-3-642-36946-9_8","volume-title":"Aliasing in Object-Oriented Programming","author":"M Sridharan","year":"2013","unstructured":"Sridharan, M., Chandra, S., Dolby, J., Fink, S.J., Yahav, E.: Alias analysis for object-oriented programs. In: Clarke, D., Noble, J., Wrigstad, T. (eds.) Aliasing in Object-Oriented Programming. LNCS, vol. 7850, pp. 196\u2013232. Springer, Heidelberg (2013)"},{"issue":"2","key":"10_CR25","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/s10515-009-0049-9","volume":"16","author":"J Sawin","year":"2009","unstructured":"Sawin, J., Rountev, A.: Improving static resolution of dynamic class loading in java using dynamically gathered environment information. Autom. Softw. Eng. 16(2), 357\u2013381 (2009)","journal-title":"Autom. Softw. Eng."},{"key":"10_CR26","unstructured":"Javassist.: A Java bytecode manipulation framework. http:\/\/www.javassist.org"},{"key":"10_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1007\/978-3-642-39038-8_16","volume-title":"ECOOP 2013 \u2013 Object-Oriented Programming","author":"K Ali","year":"2013","unstructured":"Ali, K., Lhot\u00e1k, O.: Averroes: whole-program analysis without the whole program. In: Castagna, G. (ed.) ECOOP 2013. LNCS, vol. 7920, pp. 378\u2013400. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48288-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T11:52:18Z","timestamp":1676029938000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-48288-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662482872","9783662482889"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48288-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"2 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}