{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,12]],"date-time":"2026-09-12T02:01:15Z","timestamp":1789178475949,"version":"build-2803163510"},"publisher-location":"Berlin, Heidelberg","reference-count":50,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540650140","type":"print"},{"value":"9783540497271","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49727-7_4","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T23:02:49Z","timestamp":1181170969000},"page":"57-81","source":"Crossref","is-referenced-by-count":24,"title":["Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses"],"prefix":"10.1007","author":[{"given":"Michael","family":"Hind","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anthony","family":"Pioli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,9,24]]},"reference":[{"key":"4_CR1","unstructured":"Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994. Available at ftp.diku.dk\/pub\/diku\/semantics\/papers\/D-203.dvi.Z ."},{"key":"4_CR2","unstructured":"Todd Austin. Pointer-intensive benchmark suite, version 1.1. http:\/\/www.cs.wisc.edu\/~austin\/ptr-dist.html , 1995."},{"key":"4_CR3","unstructured":"Subra Balan and Walter Bays. Spec announces new benchmark suites cint92 and cfp92. Technical report, Systems Performance Evaluation Cooperative, March 1992. SPEC Newsletter 4(1)."},{"key":"4_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1007\/BFb0025882","volume-title":"Proceedings from the 7th Workshop on Languages and Compilers for Parallel Computing","author":"M. Burke","year":"1995","unstructured":"Michael Burke, Paul Carini, Jong-Deok Choi, and Michael Hind. Flow-insensitive interprocedural alias analysis in the presence of pointers. In K. Pingali, U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Lecture Notes in Computer Science, 892, pages 234\u2013250. Springer-Verlag, 1995. Proceedings from the 7th Workshop on Languages and Compilers for Parallel Computing. Extended version published as Research Report RC 19546, IBM T. J. Watson Research Center, September 1994."},{"key":"4_CR5","unstructured":"Michael Burke, Paul Carini, Jong-Deok Choi, and Michael Hind. Interprocedural pointer alias analysis. Research Report RC 21055, IBM T. J. Watson Research Center, December 1997."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Paul Carini, Michael Hind, and Harini Srinivasan. Flow-sensitive interprocedural type analysis for C++. Research Report RC 20267, IBM T. J. Watson Research Center, November 1995.","DOI":"10.1145\/207110.207113"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"David R. Chase, Mark Wegman, and F. Kenneth Zadeck. Analysis of pointers and structures. In SIGPLAN\u2019 90 Conference on Programming Language Design and Implementation, pages 296\u2013310, June 1990. SIGPLAN Notices 25(6).","DOI":"10.1145\/93542.93585"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Jong-Deok Choi, Michael Burke, and Paul Carini. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In 20th Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, pages 232\u2013245, January 1993.","DOI":"10.1145\/158511.158639"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Jong-Deok Choi, Ron Cytron, and Jeanne Ferrante. Automatic construction of sparse data flow evaluation graphs. In 18th Annual ACM Symposium on the Principles of Programming Languages, pages 55\u201366, January 1991.","DOI":"10.1145\/99583.99594"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, pages 451\u2013490, October 1991.","DOI":"10.1145\/115372.115320"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Alain Deutsch. Interprocedural may-alias analysis for pointers: Beyond k-limiting. In SIGPLAN\u2019 94 Conference on Programming Language Design and Implementation, pages 230\u2013241, June 1994. SIGPLAN Notices, 29(6).","DOI":"10.1145\/773473.178263"},{"key":"4_CR12","unstructured":"Amer Diwan. Personal communication, August 1997."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Amer Diwan, Kathryn S. McKinley, and J. Elliot, B. Moss. Type-based alias analysis. In SIGPLAN\u2019 98 Conference on Programming Language Design and Implementation, pages 106\u2013117, June 1998. SIGPLAN Notices, 33(5).","DOI":"10.1145\/277652.277670"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Maryam Emami, Rakesh Ghiya, and Laurie J. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In SIGPLAN\u2019 94 Conference on Programming Language Design and Implementation, pages 242\u2013256, June 1994. SIGPLAN Notices, 29(6).","DOI":"10.1145\/178243.178264"},{"key":"4_CR15","series-title":"Lect Notes Comput Sci","first-page":"515","volume-title":"Connection analysis: A practical interprocedural heap analysis for C","author":"R. Ghiya","year":"1995","unstructured":"Rakesh Ghiya and Laurie J. Hendren. Connection analysis: A practical interprocedural heap analysis for C. In Lecture Notes in Computer Science, 1033, pages 515\u2013533, August 1995. Proceedings from the 8th Workshop on Languages and Compilers for Parallel Computing."},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Rakesh Ghiya and Laurie J. Hendren. Is it a tree, a dag or a cyclic graph? A shape analysis for heap-directed pointers in C. In 23rd Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, pages 1\u201315, January 1996.","DOI":"10.1145\/237721.237724"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Rakesh Ghiya and Laurie J. Hendren. Putting pointer analysis to work. In 25th Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, pages 121\u2013133, January 1998.","DOI":"10.1145\/268946.268957"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Rebecca Hasti and Susan Horwitz. Using static single assignment form to improve flow-insensitive pointer analysis. In SIGPLAN\u2019 98 Conference on Programming Language Design and Implementation, pages 97\u2013105, June 1998. SIGPLAN Notices, 33(5).","DOI":"10.1145\/277650.277668"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Laurie J. Hendren and Alexandru Nicolau. Parallelizing programs with recursive data structures. IEEE Transactions on Parallel and Distributed Systems, 1(1):35\u201347, January 1990.","DOI":"10.1109\/71.80123"},{"key":"4_CR20","unstructured":"Michael Hind and Anthony Pioli. An empirical comparison of interprocedural pointer alias analyses. Research Report RC 21058, IBM T. J. Watson Research Center, December 1997."},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Michael Hind and Anthony Pioli. Assessing the effects of the flow-sensitivity on pointer alias analyses (extended version). Technical Report 98-104, SUNY at New Paltz, June 1998.","DOI":"10.1007\/3-540-49727-7_4"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"S. Horwitz, P. Pfeiffer, and T. Reps. Dependence analysis for pointer variables. In SIGPLAN\u2019 89 Conference on Programming Language Design and Implementation, pages 28\u201340, June 1989. SIGPLAN Notices 24(6).","DOI":"10.1145\/73141.74821"},{"issue":"1","key":"4_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/239912.239913","volume":"19","author":"Susan Horwitz","year":"1997","unstructured":"Susan Horwitz. Precise flow-insensitive may-alias analysis is NP-Hard. ACM Transactions on Programming Languages and Systems, 19(1):1\u20136, January 1997.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"John B. Kam and Jeffrey D. Ullman. Global data flow analysis and iterative algorithms. Journal of the ACM, 23(1):158\u2013171, January 1976.","DOI":"10.1145\/321921.321938"},{"issue":"4","key":"4_CR25","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1145\/161494.161501","volume":"1","author":"William Landi","year":"1992","unstructured":"William Landi. Undecidability of static analysis. ACM Letters on Programming Languages and Systems, 1(4):323\u2013337, December 1992.","journal-title":"ACM Letters on Programming Languages and Systems"},{"key":"4_CR26","unstructured":"William Landi. Personal communication, October 1997."},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"William Landi and Barbara Ryder. A safe approximate algorithm for interprocedural pointer aliasing. In SIGPLAN\u2019 92 Conference on Programming Language Design and Implementation, pages 235\u2013248, June 1992. SIGPLAN Notices 27(6).","DOI":"10.1145\/143103.143137"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"William Landi, Barbara Ryder, and Sean Zhang. Interprocedural modification side effect analysis with pointer aliasing. In SIGPLAN\u2019 93 Conference on Programming Language Design and Implementation, pages 56\u201367, June 1993. SIGPLAN Notices 28(6).","DOI":"10.1145\/155090.155096"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"James R. Larus and Paul N. Hilfinger. Detecting conflicts between structure accesses. In SIGPLAN\u2019 88 Conference on Programming Language Design and Implementation, pages 21\u201334, 1988. SIGPLAN Notices, 23(7).","DOI":"10.1145\/53990.53993"},{"issue":"9","key":"4_CR30","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1145\/165364.165387","volume":"28","author":"Thomas Marlowe","year":"1993","unstructured":"Thomas Marlowe, William Landi, Barbara Ryder, Jong-Deok Choi, Michael Burke, and Paul Carini. Pointer-induced aliasing: A clarification. SIGPLAN Notices, 28(9):67\u201370, September 1993.","journal-title":"SIGPLAN Notices"},{"key":"4_CR31","unstructured":"Thomas J. Marlowe, Barbara G. Ryder, and Michael G. Burke. Defining flow sensitivity in data flow problems. Technical Report RC 20138, IBM T. J. Watson Research Center, July 1995."},{"key":"4_CR32","unstructured":"Lee R. Nackman. Codestore and incremental C++. Dr. Dobbs Journal, pages 92\u201395, December 1997."},{"key":"4_CR33","unstructured":"Anthony Pioli. Conditional pointer aliasing and constant propagation. Master\u2019s thesis, SUNY at New Paltz, 1998. In preparation."},{"issue":"6","key":"4_CR34","doi-asserted-by":"crossref","first-page":"1467","DOI":"10.1145\/186025.186041","volume":"16","author":"G. Ramalingam","year":"1994","unstructured":"G. Ramalingam. The undecidability of aliasing. ACM Transactions on Programming Languages and Systems, 16(6):1467\u20131471, November 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR35","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proceedings from the 4th International Static Analysis Symposium","author":"G. Ramalingam","year":"1997","unstructured":"G. Ramalingam. On sparse evaluation representations. In Pascal Van Hentenryck, editor, Lecture Notes in Computer Science, 1302, pages 1\u201315. Springer-Verlag, 1997. Proceedings from the 4th International Static Analysis Symposium."},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"Erik Ruf. Context-insensitive alias analysis reconsidered. In SIGPLAN\u2019 95 Conference on Programming Language Design and Implementation, pages 13\u201322, June 1995. SIGPLAN Notices, 30(6).","DOI":"10.1145\/207110.207112"},{"key":"4_CR37","doi-asserted-by":"crossref","unstructured":"Erik Ruf. Partitioning dataflow analyses using types. In 24th Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, pages 15\u201326, January 1997.","DOI":"10.1145\/263699.263705"},{"key":"4_CR38","unstructured":"Erik Ruf. Personal communication, October 1997."},{"key":"4_CR39","doi-asserted-by":"crossref","unstructured":"Mooly Sagiv, Thomas Reps, and Reinhard Wilhelm. Solving shape-analysis problems in languages with destructive updating. In 23rd Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, pages 16\u201331, January 1996.","DOI":"10.1145\/237721.237725"},{"key":"4_CR40","doi-asserted-by":"crossref","unstructured":"Mooly Sagiv, Thomas Reps, and Reinhard Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM Transactions on Programming Languages and Systems, 20(1):1\u201350, January 1998.","DOI":"10.1145\/271510.271517"},{"key":"4_CR41","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/BFb0032731","volume-title":"Proceedings from the 4th International Static Analysis Symposium","author":"M. Shapiro","year":"1997","unstructured":"Marc Shapiro and Susan Horwitz. The effects of the precision of pointer analysis. In Pascal Van Hentenryck, editor, Lecture Notes in Computer Science, 1302, pages 16\u201334. Springer-Verlag, 1997. Proceedings from the 4th International Static Analysis Symposium."},{"key":"4_CR42","doi-asserted-by":"crossref","unstructured":"Marc Shapiro and Susan Horwitz. Fast and accurate flow-insensitive point-to analysis. In 24th Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, pages 1\u201314, January 1997.","DOI":"10.1145\/263699.263703"},{"key":"4_CR43","doi-asserted-by":"crossref","unstructured":"D. Soroker, M. Karasick, J. Barton, and D. Streeter. Extension mechanisms in Montana. In 8th IEEE Israeli Conference on Software and Systems, pages 119\u2013128, June 1997.","DOI":"10.1109\/ICCSSE.1997.599883"},{"key":"4_CR44","unstructured":"SPEC. SPEC CPU95, Version 1.0. Standard Performance Evaluation Corporation, http:\/\/www.specbench\/org , August 1995."},{"key":"4_CR45","doi-asserted-by":"crossref","unstructured":"Bjarne Steensgaard. Points-to analysis in almost linear time. In 23rd Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, pages 32\u201341, January 1996.","DOI":"10.1145\/237721.237727"},{"key":"4_CR46","doi-asserted-by":"crossref","unstructured":"Philip A. Stocks, Barbara G. Ryder, William A. Landi, and Sean Zhang. Comparing flow and context sensitivity on the modifications-side-effects problem. In International Symposium on Software Testing and Analysis, pages 21\u201331, March 1998.","DOI":"10.1145\/271771.271782"},{"key":"4_CR47","unstructured":"Robert P. Wilson. Effcient Context-Sensitive Pointer Analysis for C Programs. PhD thesis, Stanford University, December 1997."},{"key":"4_CR48","doi-asserted-by":"crossref","unstructured":"Robert P. Wilson and Monica S. Lam. Efficient context-sensitive pointer analysis for C programs. In SIGPLAN\u2019 95 Conference on Programming Language Design and Implementation, pages 1\u201312, June 1995. SIGPLAN Notices, 30(6).","DOI":"10.1145\/207110.207111"},{"key":"4_CR49","doi-asserted-by":"crossref","unstructured":"Sean Zhang, Barbara G. Ryder, and William Landi. Program decomposition for pointer aliasing: A step toward practical analyses. In 4th Symposium on the Foundations of Software Engineering, pages 81\u201392, October 1996.","DOI":"10.1145\/239098.239112"},{"key":"4_CR50","doi-asserted-by":"crossref","unstructured":"Sean Zhang, Barbara G. Ryder, and William Landi. Experiments with combined analysis for pointer aliasing. In ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pages 11\u201318, June 1998.","DOI":"10.1145\/277631.277635"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49727-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:46:31Z","timestamp":1556466391000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49727-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650140","9783540497271"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/3-540-49727-7_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]}}}