{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T23:04:03Z","timestamp":1784675043090,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662442012","type":"print"},{"value":"9783662442029","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44202-9_2","type":"book-chapter","created":{"date-parts":[[2014,7,17]],"date-time":"2014-07-17T02:01:13Z","timestamp":1405562473000},"page":"27-53","source":"Crossref","is-referenced-by-count":38,"title":["Self-inferencing Reflection Resolution for Java"],"prefix":"10.1007","author":[{"given":"Yue","family":"Li","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tian","family":"Tan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yulei","family":"Sui","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jingling","family":"Xue","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Berndl, M., Lhot\u00e1k, O., Qian, F., Hendren, L.J., Umanee, N.: Points-to analysis using BDDs. In: PLDI 2003, pp. 103\u2013114 (2003)","DOI":"10.1145\/781143.781144"},{"key":"2_CR2","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, pp. 241\u2013250 (2011)","DOI":"10.1145\/1985793.1985827"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Braux, M., Noy\u00e9, J.: Towards partially evaluating reflection in Java. In: PEPM 2000, pp. 2\u201311 (2000)","DOI":"10.1145\/328691.328693"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Bravenboer, M., Smaragdakis, Y.: Strictly declarative specification of sophisticated points-to analyses. In: OOPSLA 2009, pp. 243\u2013262 (2009)","DOI":"10.1145\/1639949.1640108"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Hirzel, M., Dincklage, D.V., Diwan, A., Hind, M.: Fast online pointer analysis. ACM Trans. Program. Lang. Syst.\u00a029(2) (2007)","DOI":"10.1145\/1216374.1216379"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Kastrinis, G., Smaragdakis, Y.: Hybrid context-sensitivity for points-to analysis. In: PLDI 2013, pp. 423\u2013434 (2013)","DOI":"10.1145\/2499370.2462191"},{"key":"2_CR7","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.\u00a02622, pp. 153\u2013169. Springer, Heidelberg (2003)"},{"key":"2_CR8","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.\u00a03780, pp. 139\u2013160. Springer, Heidelberg (2005)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Livshits, B., Whaley, J., Lam, M.S.: Reflection analysis for Java. Technical report, Stanford University (2005)","DOI":"10.1007\/11575467_11"},{"key":"2_CR10","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.) Compiler Construction. LNCS, vol.\u00a07791, pp. 61\u201381. Springer, Heidelberg (2013)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Milanova, A., Rountev, A., Ryder, B.G.: Parameterized object sensitivity for points-to analysis for Java. ACM Trans. Softw. Eng. Methodol.\u00a014(1) (2005)","DOI":"10.1145\/1044834.1044835"},{"key":"2_CR12","unstructured":"Nguyen, P.H., Xue, J.: Interprocedural side-effect analysis and optimisation in the presence of dynamic class loading. In: ACSC 2005, pp. 9\u201318 (2005)"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Shang, L., Lu, Y., Xue, J.: Fast and precise points-to analysis with incremental CFL-reachability summarisation. In: ASE 2012, pp. 270\u2013273 (2012)","DOI":"10.1145\/2351676.2351720"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Shang, L., Xie, X., Xue, J.: On-demand dynamic summary-based points-to analysis. In: CGO 2012, pp. 264\u2013274 (2012)","DOI":"10.1145\/2259016.2259050"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Smaragdakis, Y., Bravenboer, M., Lhot\u00e1k, O.: Pick your contexts well: understanding object-sensitivity. In: POPL 2011, pp. 17\u201330 (2011)","DOI":"10.1145\/1925844.1926390"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Sridharan, M., Artzi, S., Pistoia, M., Guarnieri, S., Tripp, O., Berg, R.: F4F: Taint analysis of framework-based web applications. In: OOPSLA 2011, pp. 1053\u20131068 (2011)","DOI":"10.1145\/2048066.2048145"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Sridharan, M., Bod\u00edk, R.: Refinement-based context-sensitive points-to analysis for Java. In: PLDI 2006, pp. 387\u2013400 (2006)","DOI":"10.1145\/1133981.1134027"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-642-36946-9_8","volume-title":"Aliasing in Object-Oriented Programming. Types, Analysis and Verification","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.\u00a07850, pp. 196\u2013232. Springer, Heidelberg (2013)"},{"key":"2_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 (1999)"},{"key":"2_CR20","unstructured":"WALA. T.J. Watson Libraries for Analysis, \n                    \n                      http:\/\/wala.sf.net\n                    \n                    \n                  ."},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Whaley, J., Lam, M.S.: Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. In: PLDI 2004, pp. 131\u2013144 (2004)","DOI":"10.1145\/996841.996859"},{"key":"2_CR22","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.\u00a03443, pp. 271\u2013286. Springer, Heidelberg (2005)"},{"issue":"1","key":"2_CR23","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1016\/j.jss.2006.06.015","volume":"80","author":"J. Xue","year":"2007","unstructured":"Xue, J., Nguyen, P.H., Potter, J.: Interprocedural side-effect analysis for incomplete object-oriented software modules. Journal of Systems and Software\u00a080(1), 92\u2013105 (2007)","journal-title":"Journal of Systems and Software"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2014 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44202-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T09:43:47Z","timestamp":1558950227000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44202-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662442012","9783662442029"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44202-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}