{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T04:05:33Z","timestamp":1791345933234,"version":"4.3.1"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540377566","type":"print"},{"value":"9783540377580","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11823230_15","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T09:46:30Z","timestamp":1155807990000},"page":"221-239","source":"Crossref","is-referenced-by-count":90,"title":["Recency-Abstraction for Heap-Allocated Storage"],"prefix":"10.1007","author":[{"given":"Gogul","family":"Balakrishnan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Reps","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Andersen, L.O.: Binding-time analysis and the taming of C pointers. In: PEPM, pp. 47\u201358 (1993)","DOI":"10.1145\/154630.154636"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Bacon, D.F., Sweeney, P.F.: Fast static analysis of C++ virtual function calls. In: Object-Oriented Programming, Systems, Languages, and Applications, pp. 324\u2013341 (1996)","DOI":"10.1145\/236338.236371"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Balakrishnan, G., Reps, T.: Analyzing memory accesses in x86 executables. In: Comp. Construct., pp. 5\u201323 (2004)","DOI":"10.1007\/978-3-540-24723-4_2"},{"key":"15_CR4","unstructured":"Balakrishnan, G., Reps, T.: Recovery of variables and heap structure in x86 executables. Tech. Rep. 1533, Comp. Sci. Dept., Univ. of Wisconsin, Madison, US (September 2005)"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Calder, B., Grunwald, D.: Reducing indirect function call overhead in C++ programs. In: Princip. of Prog. Lang., pp. 397\u2013408 (1994)","DOI":"10.1145\/174675.177973"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Chase, D.R., Wegman, M., Zadeck, F.: Analysis of pointers and structures. In: Prog. Lang. Design and Impl., pp. 296\u2013310 (1990)","DOI":"10.1145\/93542.93585"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Chen, H., Wagner, D.: MOPS: An infrastructure for examining security properties of software. In: Conf. on Comp. and Commun. Sec., pp. 235\u2013244 (November 2002)","DOI":"10.1145\/586139.586142"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Cheng, B.-C., Hwu, W.W.: Modular interprocedural pointer analysis using access paths: Design, implementation, and evaluation. In: Prog. Lang. Design and Impl., pp. 57\u201369 (2000)","DOI":"10.1145\/358438.349311"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Das, M.: Unification-based pointer analysis with directional assignments. In: Prog. Lang. Design and Impl., pp. 35\u201346 (2000)","DOI":"10.1145\/349299.349309"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-49538-X_5","volume-title":"ECOOP \u201995 - Object-Oriented Programming","author":"J. Dean","year":"1995","unstructured":"Dean, J., Grove, D.A., Chambers, C.: Optimization of object-oriented programs using static class hierarchy analysis. In: Olthoff, W. (ed.) ECOOP 1995. LNCS, vol.\u00a0952, pp. 77\u2013101. Springer, Heidelberg (1995)"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Engler, D.R., Chelf, B., Chou, A., Hallem, S.: Checking system rules using system-specific, programmer-written compiler extensions. In: Op. Syst. Design and Impl., pp. 1\u201316 (2000)","DOI":"10.21236\/ADA419626"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., Rehof, J., Das, M.: Scalable context-sensitive flow analysis using instantiation constraints. In: Prog. Lang. Design and Impl. (2000)","DOI":"10.1145\/349299.349332"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-45099-3_10","volume-title":"Static Analysis","author":"J.S. Foster","year":"2000","unstructured":"Foster, J.S., F\u00e4hndrich, M., Aiken, A.: Polymorphic versus monomorphic flow-insensitive points-to analysis for C. In: Palsberg, J. (ed.) SAS 2000. LNCS, vol.\u00a01824, pp. 175\u2013199. Springer, Heidelberg (2000)"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Gopan, D., DiMaio, F., Dor, N., Reps, T., Sagiv, M.: Numeric domains with summarized dimensions. In: Tools and Algs. for the Construct. and Anal. of Syst., pp. 512\u2013529 (2004)","DOI":"10.1007\/978-3-540-24730-2_38"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Gopan, D., Reps, T., Sagiv, M.: A framework for numeric analysis of array operations. In: Princip. of Prog. Lang., pp. 338\u2013350 (2005)","DOI":"10.1145\/1040305.1040333"},{"key":"15_CR16","unstructured":"Guo, B., Bridges, M.J., Triantafyllis, S., Ottoni, G., Raman, E., August, D.I.: Practical and accurate low-level pointer analysis. In: 3rd IEEE\/ACM Int. Symp. on Code Gen. and Opt., pp. 291\u2013302 (2005)"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Hackett, B., Rugina, R.: Region-based shape analysis with tracked locations. In: Princip. of Prog. Lang., pp. 310\u2013323 (2005)","DOI":"10.1145\/1040305.1040331"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-49727-7_4","volume-title":"Static Analysis","author":"M. Hind","year":"1998","unstructured":"Hind, M., Pioli, A.: Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses. In: Levi, G. (ed.) SAS 1998. LNCS, vol.\u00a01503, pp. 57\u201381. Springer, Heidelberg (1998)"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Horwitz, S., Pfeiffer, P., Reps, T.: Dependence analysis for pointer variables. In: Prog. Lang. Design and Impl., pp. 28\u201340 (1989)","DOI":"10.1145\/73141.74821"},{"key":"15_CR20","unstructured":"IDAPro disassembler, http:\/\/www.datarescue.com\/idabase\/"},{"key":"15_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0539-5","volume-title":"Descriptive Complexity","author":"N. Immerman","year":"1999","unstructured":"Immerman, N.: Descriptive Complexity. Springer, Heidelberg (1999)"},{"key":"15_CR22","first-page":"102","volume-title":"Program Flow Analysis: Theory and Applications","author":"N.D. Jones","year":"1981","unstructured":"Jones, N.D., Muchnick, S.S.: Flow analysis and optimization of Lisp-like structures. In: Muchnick, S.S., Jones, N.D. (eds.) Program Flow Analysis: Theory and Applications, ch. 4, pp. 102\u2013131. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"15_CR23","first-page":"380","volume-title":"Program Flow Analysis: Theory and Applications","author":"N.D. Jones","year":"1981","unstructured":"Jones, N.D., Muchnick, S.S.: Flow analysis and optimization of Lisp-like structures. In: Muchnick, S.S., Jones, N.D. (eds.) Program Flow Analysis: Theory and Applications, ch. 12, pp. 380\u2013384. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Jones, N.D., Muchnick, S.S.: A flexible approach to interprocedural data flow analysis and programs with recursive data structures. In: Princip. of Prog. Lang., pp. 66\u201374 (1982)","DOI":"10.1145\/582153.582161"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Larus, J.R., Hilfinger, P.N.: Detecting conflicts between structure accesses. In: Prog. Lang. Design and Impl., pp. 21\u201334 (1988)","DOI":"10.1145\/53990.53993"},{"key":"15_CR26","unstructured":"Lev-Ami, T.: TVLA: A framework for Kleene based static analysis. Master\u2019s thesis, Tel-Aviv University, Tel-Aviv, Israel (2000)"},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Lev-Ami, T., Reps, T., Sagiv, M., Wilhelm, R.: Putting static analysis to work for verification: A case study. In: Int. Symp. on Softw. Testing and Analysis, pp. 26\u201338 (2000)","DOI":"10.1145\/347324.348031"},{"key":"15_CR28","doi-asserted-by":"crossref","unstructured":"Milanova, A., Rountev, A., Ryder, B.G.: Parameterized object sensitivity for points-to analysis for Java. In: TOSEM (2005)","DOI":"10.1145\/1044834.1044835"},{"key":"15_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/3-540-61739-6_45","volume-title":"Static Analysis","author":"H. Pande","year":"1996","unstructured":"Pande, H., Ryder, B.: Data-flow-based virtual function resolution. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol.\u00a01145, pp. 238\u2013254. Springer, Heidelberg (1996)"},{"key":"15_CR30","unstructured":"Patnaik, S., Immerman, N.: Dyn-FO: A parallel, dynamic complexity class. In: Symp. on Princ. of Database Syst. (1994)"},{"key":"15_CR31","doi-asserted-by":"crossref","unstructured":"Reps, T., Balakrishnan, G., Lim, J.: Intermediate-representation recovery from low-level code. In: PEPM (2006)","DOI":"10.1145\/1111542.1111560"},{"issue":"1","key":"15_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/271510.271517","volume":"20","author":"M. Sagiv","year":"1998","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Solving shape-analysis problems in languages with destructive updating. Trans. on Prog. Lang. and Syst.\u00a020(1), 1\u201350 (1998)","journal-title":"Trans. on Prog. Lang. and Syst."},{"issue":"3","key":"15_CR33","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/514188.514190","volume":"24","author":"M. Sagiv","year":"2002","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Parametric shape analysis via 3-valued logic. Trans. on Prog. Lang. and Syst.\u00a024(3), 217\u2013298 (2002)","journal-title":"Trans. on Prog. Lang. and Syst."},{"key":"15_CR34","first-page":"189","volume-title":"Program Flow Analysis: Theory and Applications, ch.\u00a07","author":"M. Sharir","year":"1981","unstructured":"Sharir, M., Pnueli, A.: Two approaches to interprocedural data flow analysis. In: Program Flow Analysis: Theory and Applications, ch.\u00a07, pp. 189\u2013234. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"15_CR35","doi-asserted-by":"crossref","unstructured":"Steensgaard, B.: Points-to analysis in almost-linear time. In: Princip. of Prog. Lang. (1996)","DOI":"10.1145\/237721.237727"},{"issue":"1","key":"15_CR36","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/0890-5401(92)90076-R","volume":"101","author":"J. Stransky","year":"1992","unstructured":"Stransky, J.: A lattice for abstract interpretation of dynamic (Lisp-like) structures. Inf. and Comp.\u00a0101(1), 70\u2013102 (1992)","journal-title":"Inf. and Comp."},{"key":"15_CR37","doi-asserted-by":"crossref","unstructured":"Sundaresan, V., Hendren, L., Razafimahefa, C., Vall\u00e9e-Rai, R., Lam, P., Gagnon, E., Godin, C.: Practical virtual method call resolution for Java. In: Object-Oriented Programming, Systems, Languages, and Applications, pp. 264\u2013280 (2000)","DOI":"10.1145\/354222.353189"},{"key":"15_CR38","doi-asserted-by":"crossref","unstructured":"Whaley, J., Lam, M.: Cloning-based context-sensitive pointer alias analyses using binary decision diagrams. In: Prog. Lang. Design and Impl. (2004)","DOI":"10.1145\/996841.996859"},{"key":"15_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/3-540-45789-5_8","volume-title":"Static Analysis","author":"T. Yavuz-Kahveci","year":"2002","unstructured":"Yavuz-Kahveci, T., Bultan, T.: Automated verification of concurrent linked lists with counters. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol.\u00a02477, p. 69. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11823230_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:17:02Z","timestamp":1605626222000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11823230_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540377566","9783540377580"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/11823230_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}