{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:46:43Z","timestamp":1760586403842},"reference-count":74,"publisher":"Association for Computing Machinery (ACM)","issue":"2","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Program. Lang. Syst."],"published-print":{"date-parts":[[2007,4]]},"abstract":"<jats:p>Pointer analysis benefits many useful clients, such as compiler optimizations and bug finding tools. Unfortunately, common programming language features such as dynamic loading, reflection, and foreign language interfaces, make pointer analysis difficult. This article describes how to deal with these features by performing pointer analysis online during program execution. For example, dynamic loading may load code that is not available for analysis before the program starts. Only an online analysis can analyze such code, and thus support clients that optimize or find bugs in it. This article identifies all problems in performing Andersen's pointer analysis for the full Java language, presents solutions to these problems, and uses a full implementation of the solutions in a Java virtual machine for validation and performance evaluation. Our analysis is fast: On average over our benchmark suite, if the analysis recomputes points-to results upon each program change, most analysis pauses take under 0.1 seconds, and add up to 64.5 seconds.<\/jats:p>","DOI":"10.1145\/1216374.1216379","type":"journal-article","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T14:37:11Z","timestamp":1181140631000},"page":"11","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":43,"title":["Fast online pointer analysis"],"prefix":"10.1145","volume":"29","author":[{"given":"Martin","family":"Hirzel","sequence":"first","affiliation":[{"name":"IBM Research, Hawthorne, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel Von","family":"Dincklage","sequence":"additional","affiliation":[{"name":"University of Colorado, Boulder, CO"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amer","family":"Diwan","sequence":"additional","affiliation":[{"name":"University of Colorado, Boulder, CO"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Hind","sequence":"additional","affiliation":[{"name":"IBM Research, Hawthorne, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,4]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Proceedings of the 11th International Conference on Compiler Construction (CC). Lecture Notes on Computer Science","volume":"2304","author":"Agrawal G.","unstructured":"Agrawal , G. , Li , J. , and Su , Q . 2002. Evaluating a demand driven technique for call graph construction . In Proceedings of the 11th International Conference on Compiler Construction (CC). Lecture Notes on Computer Science , vol. 2304 . Springer Verlag, 29--45. Agrawal, G., Li, J., and Su, Q. 2002. Evaluating a demand driven technique for call graph construction. In Proceedings of the 11th International Conference on Compiler Construction (CC). Lecture Notes on Computer Science, vol. 2304. Springer Verlag, 29--45."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.391.0211"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/354222.353175"},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the 16th European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science","volume":"2374","author":"Arnold M.","unstructured":"Arnold , M. and Ryder , B. G . 2002. Thin guards: A simple and effective technique for reducing the penalty of dynamic class loading . In Proceedings of the 16th European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science , vol. 2374 . Springer Verlag. Arnold, M. and Ryder, B. G. 2002. Thin guards: A simple and effective technique for reducing the penalty of dynamic class loading. In Proceedings of the 16th European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science, vol. 2374. Springer Verlag."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/236338.236371"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/780822.781144"},{"key":"e_1_2_1_8_1","unstructured":"Bogda J. and Singh A. 2001. Can a shape analysis work at run-time&quest; In Proceedings of the Java Virtual Machine Research and Technology Symposium (JVM). 13--26.   Bogda J. and Singh A. 2001. Can a shape analysis work at run-time&quest; In Proceedings of the Java Virtual Machine Research and Technology Symposium (JVM). 13--26."},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of the 7th International Workshop on Languages and Compilers for Parallel Computing (LCPC). Extended version published as Res. Rep. RC 19546","author":"Burke M.","unstructured":"Burke , M. , Carini , P. , Choi , J.-D. , and Hind , M . 1994. Flow-Insensitive interprocedural alias analysis in the presence of pointers . In Proceedings of the 7th International Workshop on Languages and Compilers for Parallel Computing (LCPC). Extended version published as Res. Rep. RC 19546 , IBM T. J. Watson Research Center, September. Burke, M., Carini, P., Choi, J.-D., and Hind, M. 1994. Flow-Insensitive interprocedural alias analysis in the presence of pointers. In Proceedings of the 7th International Workshop on Languages and Compilers for Parallel Computing (LCPC). Extended version published as Res. Rep. RC 19546, IBM T. J. Watson Research Center, September."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/169683.169678"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292554"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/358438.349311"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/316158.316171"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/320385.320386"},{"key":"e_1_2_1_15_1","volume-title":"Proceedings of the 10th International Static Analysis Symposium (SAS). Lecture Notes in Computer Science","volume":"2694","author":"Christensen A. S.","unstructured":"Christensen , A. S. , M\u00f8ller , A. , and Schwartzbach , M. I . 2003. Precise analysis of string expressions . In Proceedings of the 10th International Static Analysis Symposium (SAS). Lecture Notes in Computer Science , vol. 2694 . Springer Verlag. 1--18. Christensen, A. S., M\u00f8ller, A., and Schwartzbach, M. I. 2003. Precise analysis of string expressions. In Proceedings of the 10th International Static Analysis Symposium (SAS). Lecture Notes in Computer Science, vol. 2694. Springer Verlag. 1--18."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/358438.349306"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/13310.13317"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/358438.349309"},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the 9th European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science","volume":"952","author":"Dean J.","unstructured":"Dean , J. , Grove , D. , and Chambers , C . 1995. Optimization of object-oriented programs using static class hierarchy analysis . In Proceedings of the 9th European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science , vol. 952 . Springer Verlag. 77--101. Dean, J., Grove, D., and Chambers, C. 1995. Optimization of object-oriented programs using static class hierarchy analysis. In Proceedings of the 9th European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science, vol. 952. Springer Verlag. 77--101."},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of the 13th European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science","volume":"1628","author":"Detlefs D.","unstructured":"Detlefs , D. and Agesen , O . 1999. Inlining of virtual methods . In Proceedings of the 13th European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science , vol. 1628 . Springer Verlag. 258--278. Detlefs, D. and Agesen, O. 1999. Inlining of virtual methods. In Proceedings of the 13th European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science, vol. 1628. Springer Verlag. 258--278."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/383721.383732"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/267959.269970"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/773473.178264"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/277652.277667"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/223428.207121"},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the International Symposium on Code Generation and Optimization (CGO). 241--252","author":"Fink S. J.","unstructured":"Fink , S. J. and Qian , F . 2003. Design, implementation and evaluation of adaptive recompilation with on-stack replacement . In Proceedings of the International Symposium on Code Generation and Optimization (CGO). 241--252 . Fink, S. J. and Qian, F. 2003. Design, implementation and evaluation of adaptive recompilation with on-stack replacement. In Proceedings of the International Symposium on Code Generation and Optimization (CGO). 241--252."},{"key":"e_1_2_1_27_1","volume-title":"Tech. Rep. UCB\/CSD-97-964","author":"Foster J. S.","year":"1997","unstructured":"Foster , J. S. , F\u00e4hndrich , M. , and Aiken , A . 1997 . Flow-Insensitive points-to analysis with term and set constraints. Tech. Rep. UCB\/CSD-97-964 , University of California at Berkeley . August. Foster, J. S., F\u00e4hndrich, M., and Aiken, A. 1997. Flow-Insensitive points-to analysis with term and set constraints. Tech. Rep. UCB\/CSD-97-964, University of California at Berkeley. August."},{"key":"e_1_2_1_28_1","volume-title":"Interprocedural aliasing in the presence of function pointers. ACAPS Tech. Memo 62","author":"Ghiya R.","unstructured":"Ghiya , R. 1992. Interprocedural aliasing in the presence of function pointers. ACAPS Tech. Memo 62 , McGill University . December. Ghiya, R. 1992. Interprocedural aliasing in the presence of function pointers. ACAPS Tech. Memo 62, McGill University. December."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/155332.155349"},{"key":"e_1_2_1_31_1","volume-title":"Proceedings of the 10th International Static Analysis Symposium (SAS). Lecture Notes in Computer Science","volume":"2694","author":"Guyer S.","unstructured":"Guyer , S. and Lin , C . 2003. Client-Driven pointer analysis . In Proceedings of the 10th International Static Analysis Symposium (SAS). Lecture Notes in Computer Science , vol. 2694 . Springer Verlag. 214--236. Guyer, S. and Lin, C. 2003. Client-Driven pointer analysis. In Proceedings of the 10th International Static Analysis Symposium (SAS). Lecture Notes in Computer Science, vol. 2694. Springer Verlag. 214--236."},{"key":"e_1_2_1_32_1","series-title":"Lecture Notes in Computer Science","volume-title":"Fiat: A framework for interprocedural analysis and transformations. In Proceedings of the 6th Workshop on Languages and Compilers for Parallel Computing (LCPC)","author":"Hall M. W.","year":"1993","unstructured":"Hall , M. W. , Mellor-Crummey , J. M. , Carle , A. , and Rodriguez , R. G . 1993 . Fiat: A framework for interprocedural analysis and transformations. In Proceedings of the 6th Workshop on Languages and Compilers for Parallel Computing (LCPC) . Lecture Notes in Computer Science , vol. 768 . Springer Verlag . 522--545. Hall, M. W., Mellor-Crummey, J. M., Carle, A., and Rodriguez, R. G. 1993. Fiat: A framework for interprocedural analysis and transformations. In Proceedings of the 6th Workshop on Languages and Compilers for Parallel Computing (LCPC). Lecture Notes in Computer Science, vol. 768. Springer Verlag. 522--545."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/312009.312035"},{"key":"e_1_2_1_34_1","unstructured":"Heintze N. 1999. Analysis of large code bases: The compile-link-analyze model. Unpublished Rep. http:\/\/cm.bell-labs.com\/cm\/cs\/who\/nch\/cla.ps.  Heintze N. 1999. Analysis of large code bases: The compile-link-analyze model. Unpublished Rep. http:\/\/cm.bell-labs.com\/cm\/cs\/who\/nch\/cla.ps."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/381694.378802"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/381694.378855"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379665"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/347324.348916"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/949343.949337"},{"key":"e_1_2_1_41_1","volume-title":"Proceedings of the 18th European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science","volume":"3086","author":"Hirzel M.","unstructured":"Hirzel , M. , Diwan , A. , and Hind , M . 2004. Pointer analysis in the pressence of dynamic class loading . In Proceedings of the 18th European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science , vol. 3086 . Springer Verlag. 96--122. Hirzel, M., Diwan, A., and Hind, M. 2004. Pointer analysis in the pressence of dynamic class loading. In Proceedings of the 18th European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science, vol. 3086. Springer Verlag. 96--122."},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/773039.512435"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/143103.143114"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/773473.178478"},{"key":"e_1_2_1_45_1","volume-title":"Tech. Rep. MSR-TR-2005-135, Microsoft Research.","author":"Hunt G.","year":"2005","unstructured":"Hunt , G. , Larus , J. , Abadi , M. , Aiken , M. , Barham , P. , F\u00e4hndrich , M. , Hawblitzel , C. , Hodson , O. , Levi , S. , Muprhy , N. , Steensgaard , B. , Tarditi , D. , Wobber , T. , and Zill , B . 2005 . An overview of the Singularity project. Tech. Rep. MSR-TR-2005-135, Microsoft Research. Hunt, G., Larus, J., Abadi, M., Aiken, M., Barham, P., F\u00e4hndrich, M., Hawblitzel, C., Hodson, O., Levi, S., Muprhy, N., Steensgaard, B., Tarditi, D., Wobber, T., and Zill, B. 2005. An overview of the Singularity project. Tech. Rep. MSR-TR-2005-135, Microsoft Research."},{"key":"e_1_2_1_46_1","volume-title":"Computing Laboratory","author":"King A. C.","unstructured":"King , A. C. 2003. Removing synchronization (extended version). Tech. rep. 11-03 , Computing Laboratory , University of Kent. King, A. C. 2003. Removing synchronization (extended version). Tech. rep. 11-03, Computing Laboratory, University of Kent."},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064979.1064996"},{"key":"e_1_2_1_48_1","volume-title":"Tech. Rep. 1174. August.","author":"Larus J. R.","year":"1993","unstructured":"Larus , J. R. and Chandra , S . 1993 . Using tracing and dynamic slicing to tune compilers. Tech. Rep. 1174. August. Larus, J. R. and Chandra, S. 1993. Using tracing and dynamic slicing to tune compilers. Tech. Rep. 1174. August."},{"key":"e_1_2_1_49_1","volume-title":"Tech. Rep. UIUCDCS-R-2003-2340, Computer Science Department","author":"Lattner C.","year":"2003","unstructured":"Lattner , C. and Adve , V . 2003 . Data structure analysis: An efficient context-sensitive heap analysis. Tech. Rep. UIUCDCS-R-2003-2340, Computer Science Department , University of Illinois at Urbana-Champaign. April. Lattner, C. and Adve, V. 2003. Data structure analysis: An efficient context-sensitive heap analysis. Tech. Rep. UIUCDCS-R-2003-2340, Computer Science Department, University of Illinois at Urbana-Champaign. April."},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/11406921_22"},{"key":"e_1_2_1_51_1","volume-title":"Proceedings of the 12th International Conference on Compiler Construction (CC). Lecture Notes in Computer Science","volume":"2622","author":"Lhot\u00e1k O.","unstructured":"Lhot\u00e1k , O. and Hendren , L . 2003. Scaling Java points-to analysis using SPARK . In Proceedings of the 12th International Conference on Compiler Construction (CC). Lecture Notes in Computer Science , vol. 2622 . Springer Verlag. 153--169. Lhot\u00e1k, O. and Hendren, L. 2003. Scaling Java points-to analysis using SPARK. In Proceedings of the 12th International Conference on Compiler Construction (CC). Lecture Notes in Computer Science, vol. 2622. Springer Verlag. 153--169."},{"key":"e_1_2_1_52_1","doi-asserted-by":"crossref","unstructured":"Liang D. and Harrold M. J. 1999. Efficient points-to analysis for whole-program analysis. In Proceedings of the 7th European Software Engineering Conference and International Symposium on Foundations of Software Engineering (ESEC\/FSE) O. Nierstraz and M. Lemoine eds. Lecture Notes in Computer Science vol. 1687. Springer Verlag. 199--215.   Liang D. and Harrold M. J. 1999. Efficient points-to analysis for whole-program analysis. In Proceedings of the 7th European Software Engineering Conference and International Symposium on Foundations of Software Engineering (ESEC\/FSE) O. Nierstraz and M. Lemoine eds. Lecture Notes in Computer Science vol. 1687. Springer Verlag. 199--215.","DOI":"10.1007\/3-540-48166-4_13"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379676"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566176"},{"key":"e_1_2_1_55_1","unstructured":"Lindholm T. and Yellin F. 1999. The Java Virtual Machine Specification 2nd ed. Addison-Wesley.   Lindholm T. and Yellin F. 1999. The Java Virtual Machine Specification 2nd ed. Addison-Wesley."},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_11"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379671"},{"key":"e_1_2_1_58_1","volume-title":"Proceedings of the Java Virtual Machine Research and Technology Symposium (JVM). 1--12","author":"Paleczny M.","unstructured":"Paleczny , M. , Vick , C. , and Click , C . 2001. The Java Hotspot server compiler . In Proceedings of the Java Virtual Machine Research and Technology Symposium (JVM). 1--12 . Paleczny, M., Vick, C., and Click, C. 2001. The Java Hotspot server compiler. In Proceedings of the Java Virtual Machine Research and Technology Symposium (JVM). 1--12."},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/504311.504297"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/191081.191130"},{"key":"e_1_2_1_61_1","volume-title":"Proceedings of the 3rd Virtual Machine Research and Technology Symposium (VM). 139--150","author":"Qian F.","unstructured":"Qian , F. and Hendren , L . 2004. Towards dynamic interprocedural analysis in JVMs . In Proceedings of the 3rd Virtual Machine Research and Technology Symposium (VM). 139--150 . Qian, F. and Hendren, L. 2004. Towards dynamic interprocedural analysis in JVMs. In Proceedings of the 3rd Virtual Machine Research and Technology Symposium (VM). 139--150."},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31985-6_20"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/358438.349310"},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/504311.504286"},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/358438.349327"},{"key":"e_1_2_1_66_1","volume-title":"Proceedings of the 12th International Conference on Compiler Construction (CC)","author":"Ryder B. G.","unstructured":"Ryder , B. G. 2003. Dimensions of precision in reference analysis for object-oriented programming languages . In Proceedings of the 12th International Conference on Compiler Construction (CC) , G. Hedin, ed. Lecture Notes in Computer Science, vol. 2622 . Springer Verlag . 126--137. Ryder, B. G. 2003. Dimensions of precision in reference analysis for object-oriented programming languages. In Proceedings of the 12th International Conference on Compiler Construction (CC), G. Hedin, ed. Lecture Notes in Computer Science, vol. 2622. Springer Verlag. 126--137."},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292552"},{"key":"e_1_2_1_68_1","volume-title":"Proceedings of the 4th International Symposium on Static Analysis (SAS). Lecture Notes in Computer Science","volume":"1302","author":"Shapiro M.","unstructured":"Shapiro , M. and Horwitz , S . 1997. The effects of the precision of pointer analysis . In Proceedings of the 4th International Symposium on Static Analysis (SAS). Lecture Notes in Computer Science , vol. 1302 . Springer Verlag. 16--34. Shapiro, M. and Horwitz, S. 1997. The effects of the precision of pointer analysis. In Proceedings of the 4th International Symposium on Static Analysis (SAS). Lecture Notes in Computer Science, vol. 1302. Springer Verlag. 16--34."},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/358438.349326"},{"key":"e_1_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134027"},{"key":"e_1_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237727"},{"key":"e_1_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/504311.504296"},{"key":"e_1_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/354222.353189"},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/354222.353190"},{"key":"e_1_2_1_75_1","volume-title":"Lecture Notes in Computer Science","volume":"1781","author":"Vall\u00e9e-Rai R.","unstructured":"Vall\u00e9e-Rai , R. , Gagnon , E. , Hendren , L. , Lam , P. , Pominville , P. , and Sundaresan , V . 2000. Optimizing Java bytecode using the Soot framework: Is it feasible&quest; In Proceedings of the 9th International Conference on Compiler Construction (CC) . Lecture Notes in Computer Science , vol. 1781 . Springer Verlag. 18--34. Vall\u00e9e-Rai, R., Gagnon, E., Hendren, L., Lam, P., Pominville, P., and Sundaresan, V. 2000. Optimizing Java bytecode using the Soot framework: Is it feasible&quest; In Proceedings of the 9th International Conference on Compiler Construction (CC). Lecture Notes in Computer Science, vol. 1781. Springer Verlag. 18--34."},{"key":"e_1_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/381694.378804"},{"key":"e_1_2_1_77_1","volume-title":"Proceedings of the 9th International Symposium on Static Analysis (SAS). Lecture Notes in Computer Science","volume":"2477","author":"Whaley J.","unstructured":"Whaley , J. and Lam , M . 2002. An efficient inclusion-based points-to analysis for strictly-typed languages . In Proceedings of the 9th International Symposium on Static Analysis (SAS). Lecture Notes in Computer Science , vol. 2477 . Springer Verlag. 180--195. Whaley, J. and Lam, M. 2002. An efficient inclusion-based points-to analysis for strictly-typed languages. In Proceedings of the 9th International Symposium on Static Analysis (SAS). Lecture Notes in Computer Science, vol. 2477. Springer Verlag. 180--195."}],"container-title":["ACM Transactions on Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1216374.1216379","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T19:45:48Z","timestamp":1672256748000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1216374.1216379"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,4]]},"references-count":74,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,4]]}},"alternative-id":["10.1145\/1216374.1216379"],"URL":"https:\/\/doi.org\/10.1145\/1216374.1216379","relation":{},"ISSN":["0164-0925","1558-4593"],"issn-type":[{"value":"0164-0925","type":"print"},{"value":"1558-4593","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,4]]},"assertion":[{"value":"2007-04-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}