{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T01:10:26Z","timestamp":1738285826058,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540691631"},{"type":"electronic","value":"9783540691662"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69166-2_5","type":"book-chapter","created":{"date-parts":[[2008,7,13]],"date-time":"2008-07-13T09:25:03Z","timestamp":1215941103000},"page":"62-77","source":"Crossref","is-referenced-by-count":7,"title":["Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors"],"prefix":"10.1007","author":[{"given":"Christopher L.","family":"Conway","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dennis","family":"Dams","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kedar S.","family":"Namjoshi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clark","family":"Barrett","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Adams, S., Ball, T., Das, M., Lerner, S., Rajamani, S.K., Seigle, M., Weimer, W.: Speeding up dataflow analysis using flow-insensitive pointer analysis. In: Static Analysis Symposium, Madrid, Spain, pp. 230\u2013246 (September 2002)","key":"5_CR1","DOI":"10.1007\/3-540-45789-5_18"},{"key":"5_CR2","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A.V. Aho","year":"1988","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading (1988)"},{"unstructured":"Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen (May 1994)","key":"5_CR3"},{"doi-asserted-by":"crossref","unstructured":"Bruns, G., Chandra, S.: Searching for points-to analysis. In: Foundations of Software Engineering, Charleston, South Carolina, pp. 61\u201370 (November 2002)","key":"5_CR4","DOI":"10.1145\/587051.587061"},{"unstructured":"Conway, C.L., Dams, D., Namjoshi, K.S., Barrett, C.: Points-to analysis, conditional soundness, and proving the absence of errors. Technical Report TR2008-910, New York University, Dept. of Computer Science (2008)","key":"5_CR5"},{"doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Principles of Programming Languages, Los Angeles, California, pp. 238\u2013252 (1977)","key":"5_CR6","DOI":"10.1145\/512950.512973"},{"doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Principles of Programming Languages, San Antonio, Texas, pp. 269\u2013282 (1979)","key":"5_CR7","DOI":"10.1145\/567752.567778"},{"doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: The ASTR\u00c9E analyzer. In: European Symposium on Programming, Edinburgh, Scotland, pp. 21\u201330 (April 2005)","key":"5_CR8","DOI":"10.1007\/978-3-540-31987-0_3"},{"doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: Combination of abstractions in the ASTR\u00c9E static analyzer. In: Asian Computing Science Conference (ASIAN), Tokyo, Japan (December 2006)","key":"5_CR9","DOI":"10.1007\/978-3-540-77505-8_23"},{"doi-asserted-by":"crossref","unstructured":"Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: Principles of Programming Languages, Tucson, Arizona (January 1978)","key":"5_CR10","DOI":"10.1145\/512760.512770"},{"unstructured":"Dams, D., Namjoshi, K.S.: Orion: Building blocks for program analyzers. In: Formal Methods for Components and Objects, Amsterdam, The Netherlands (November 2005)","key":"5_CR11"},{"doi-asserted-by":"crossref","unstructured":"Das, M.: Unification-based pointer analysis with directional assignments. In: Programming Language Design and Implementation, Vancouver, British Columbia, pp. 35\u201346 (2000)","key":"5_CR12","DOI":"10.1145\/349299.349309"},{"doi-asserted-by":"crossref","unstructured":"Dhurjati, D., Kowshik, S., Adve, V.: SAFECode: enforcing alias analysis for weakly typed languages. In: Programming Language Design and Implementation, Ottawa, Canada, pp. 144\u2013157 (June 2006)","key":"5_CR13","DOI":"10.1145\/1133981.1133999"},{"unstructured":"Dor, N.: Automatic Verification of Program Cleanness. PhD thesis, Tel Aviv University (December 2003)","key":"5_CR14"},{"doi-asserted-by":"crossref","unstructured":"Dor, N., Rodeh, M., Sagiv, M.: CSSV: towards a realistic tool for statically detecting all buffer overflows in C. In: Programming Language Design and Implementation, San Diego, California, pp. 155\u2013167 (July 2003)","key":"5_CR15","DOI":"10.1145\/781131.781149"},{"doi-asserted-by":"crossref","unstructured":"Emami, M., Ghiya, R., Hendren, L.J.: Context-sensitive interprocedural points-to analysis in the presence of function pointers. In: Programming Language Design and Implementation, pp. 242\u2013256 (June 1994)","key":"5_CR16","DOI":"10.1145\/178243.178264"},{"unstructured":"Foster, J.S., F\u00e4hndrich, M., Aiken, A.: Flow-insensitive points-to analysis with term and set constraints. Technical Report UCB\/CSD-97-964, University of California, Berkeley (August 1997)","key":"5_CR17"},{"doi-asserted-by":"crossref","unstructured":"Ghiya, R., Lavery, D.M., Sehr, D.C.: On the importance of points-to analysis and other memory disambiguation methods for C programs. In: Programming Language Design and Implementation, Snowbird, Utah, pp. 47\u201358 (June 2001)","key":"5_CR18","DOI":"10.1145\/378795.378806"},{"doi-asserted-by":"crossref","unstructured":"Gulwani, S., Tiwari, A.: Combining abstract interpreters. In: Programming Language Design and Implementation, Ottawa, Canada (June 2006)","key":"5_CR19","DOI":"10.1145\/1133981.1134026"},{"doi-asserted-by":"crossref","unstructured":"Heintze, N., Tardieu, O.: Demand-driven pointer analysis. In: Programming Language Design and Implementation, Snowbird, Utah, pp. 24\u201334 (June 2001)","key":"5_CR20","DOI":"10.1145\/378795.378802"},{"doi-asserted-by":"crossref","unstructured":"Hind, M.: Pointer analysis: Haven\u2019t we solved this problem yet? In: Program Analysis for Software Tools and Engineering, Snowbird, Utah (June 2001)","key":"5_CR21","DOI":"10.1145\/379605.379665"},{"unstructured":"ISO Standard - Programming Languages - C, ISO\/IEC 9899:1999 (December 1999)","key":"5_CR22"},{"unstructured":"Lattner, C.: Macroscopic Data Structure Analysis and Optimization. PhD thesis, University of Illinois at Urbana-Champaign (May 2005)","key":"5_CR23"},{"doi-asserted-by":"crossref","unstructured":"Lerner, S., Grove, D., Chambers, C.: Composing dataflow analyses and transformations. In: Principles of Programming Languages, Portland, Oregon, pp. 270\u2013282 (2002)","key":"5_CR24","DOI":"10.1145\/503272.503298"},{"doi-asserted-by":"crossref","unstructured":"Min\u00e9, A.: Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics. In: Languages, Compilers, and Tools for Embedded Systems, Ottawa, Canada (2006)","key":"5_CR25","DOI":"10.1145\/1134650.1134659"},{"doi-asserted-by":"crossref","unstructured":"Necula, G.C., McPeak, S., Weimer, W.: CCured: type-safe retrofitting of legacy code. In: Principles of Programming Languages, Portland, Oregon, pp. 128\u2013139 (January 2002)","key":"5_CR26","DOI":"10.1145\/503272.503286"},{"doi-asserted-by":"crossref","unstructured":"Steensgaard, B.: Points-to analysis in almost linear time. In: Principles of Programming Languages, St. Petersburg Beach, Florida, pp. 32\u201341 (January 1996)","key":"5_CR27","DOI":"10.1145\/237721.237727"},{"doi-asserted-by":"crossref","unstructured":"Wilson, R.P., Lam, M.S.: Efficient context-sensitive pointer analysis for C programs. In: Programming Language Design and Implementation, San Diego, California, pp. 1\u201312 (June 1995)","key":"5_CR28","DOI":"10.1145\/207110.207111"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69166-2_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T00:41:16Z","timestamp":1738284076000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69166-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540691631","9783540691662"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69166-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}