{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T13:26:06Z","timestamp":1749648366719},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540787907"},{"type":"electronic","value":"9783540787914"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78791-4_15","type":"book-chapter","created":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T19:13:15Z","timestamp":1207077195000},"page":"213-228","source":"Crossref","is-referenced-by-count":14,"title":["Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method"],"prefix":"10.1007","author":[{"given":"Uday P.","family":"Khedker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bageshri","family":"Karkare","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, 2nd edn. Addison-Wesley Longman Publishing Co., Inc. (2006)"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Alt, M., Martin, F.: Generation of efficient interprocedural analyzers with PAG. In: Static Analysis Symposium, pp. 33\u201350 (September 1995)","DOI":"10.1007\/3-540-60360-3_31"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Amiranoff, P., Cohen, A., Feautrier, P.: Beyond iteration vectors: Instancewise relational abstract domains. In: Static Analysis Symposium, pp. 161\u2013180 (2006)","DOI":"10.1007\/11823230_11"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025882","volume-title":"Languages and Compilers for Parallel Computing","author":"M. Burke","year":"1995","unstructured":"Burke, M., Carini, P., Choi, J., Hind, M.: Flow-insensitive interprocedural alias analysis in the pressence of pointers. In: Pingali, K.K., Gelernter, D., Padua, D.A., Banerjee, U., Nicolau, A. (eds.) LCPC 1994. LNCS, vol.\u00a0892, Springer, Heidelberg (1995)"},{"key":"15_CR5","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: Proc. of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 242\u2013256 (1994)","DOI":"10.1145\/178243.178264"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Esparza, J., Knoop, J.: An automata-theoretic approach to interprocedural data-flow analysis. In: Foundations of Software Science and Computation Structure, pp. 14\u201330 (1999)","DOI":"10.1007\/3-540-49019-1_2"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Fahndrich, M., Rehof, J., Das, M.: Scalable context-sensitive flow analysis using instantiation constraints. In: Proc. of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 253\u2013263 (2000)","DOI":"10.1145\/349299.349332"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-540-71316-6_18","volume-title":"Programming Languages and Systems","author":"S. Gulwani","year":"2007","unstructured":"Gulwani, S., Tiwari, A.: Computing procedure summaries for interprocedural analysis. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 253\u2013267. Springer, Heidelberg (2007)"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Hardekopf, B., Lin, C.: The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code. In: Proc. of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 290\u2013299 (2007)","DOI":"10.1145\/1250734.1250767"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Horwitz, S., Reps, T., Sagiv, M.: Demand interprocedural dataflow analysis. In: 3rd ACM Symposium on Foundations of Software Engineering, pp. 104\u2013115 (1995)","DOI":"10.1145\/222124.222146"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Kanade, A., Khedker, U.P., Sanyal, A.: Heterogeneous fixed points with application to points-to analysis. In: Proc. of the Asian Symposium on Programming Languages and Systems, pp. 298\u2013314 (2005)","DOI":"10.1007\/11575467_20"},{"issue":"6","key":"15_CR12","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/1286821.1286829","volume":"29","author":"B. Karkare","year":"2007","unstructured":"Karkare, B., Khedker, U.P.: An improved bound for call-strings based interprocedural analysis of bit vector frameworks. ACM Trans. Program. Lang. Syst.\u00a029(6), 38 (2007)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Lattner, C., Lenharth, A., Adve, V.: Making context-sensitive points-to analysis with heap cloning practical for the real world. In: Proc. of the ACM SIGPLAN Conference on Programming Language Design and Implementation (June 2007)","DOI":"10.1145\/1250734.1250766"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/11688839_5","volume-title":"Compiler Construction","author":"O. Lhot\u00e1k","year":"2006","unstructured":"Lhot\u00e1k, O., Hendren, L.J.: Context-sensitive points-to analysis: is it worth it? In: Mycroft, A., Zeller, A. (eds.) CC 2006. LNCS, vol.\u00a03923, pp. 47\u201364. Springer, Heidelberg (2006)"},{"issue":"6","key":"15_CR15","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1145\/318774.318943","volume":"24","author":"D. Liang","year":"1999","unstructured":"Liang, D., Harrold, M.J.: Efficient points-to analysis for whole-program analysis. SIGSOFT Software Engineering Notes\u00a024(6), 199\u2013215 (1999)","journal-title":"SIGSOFT Software Engineering Notes"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Milanova, A.: Light context-sensitive points-to analysis for java. In: Proc. of ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (June 2007)","DOI":"10.1145\/1251535.1251540"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"M\u00fcller-Olm, M., Seidl, H.: Precise interprocedural analysis through linear algebra. In: Proc. of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New York, NY, USA, pp. 330\u2013341 (2004)","DOI":"10.1145\/982962.964029"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Murphy, B.R., Lam, M.S.: Program analysis with partial transfer functions. In: Proc. of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, pp. 94\u2013103 (2000)","DOI":"10.1145\/328691.328703"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Reps, T., Horwitz, S., Sagiv, M.: Precise interprocedural dataflow analysis via graph reachability. In: Proc. of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 49\u201361 (1995)","DOI":"10.1145\/199448.199462"},{"issue":"1-2","key":"15_CR20","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1016\/j.scico.2005.02.009","volume":"58","author":"T. Reps","year":"2005","unstructured":"Reps, T., Schwoon, S., Jha, S., Melski, D.: Weighted pushdown systems and their application to interprocedural dataflow analysis. Science of Computer Programming\u00a058(1-2), 206\u2013263 (2005)","journal-title":"Science of Computer Programming"},{"issue":"1\u20132","key":"15_CR21","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0304-3975(96)00072-2","volume":"167","author":"M. Sagiv","year":"1996","unstructured":"Sagiv, M., Reps, T., Horwitz, S.: Precise interprocedural dataflow analysis with applications to constant propagation. Theoretical Computer Science\u00a0167(1\u20132), 131\u2013170 (1996)","journal-title":"Theoretical Computer Science"},{"key":"15_CR22","volume-title":"Program Flow Analysis : Theory and Applications","author":"M. Sharir","year":"1981","unstructured":"Sharir, M., Pnueli, A.: Two approaches to interprocedural data flow analysis. In: Muchnick, S.S., Jones, N.D. (eds.) Program Flow Analysis: Theory and Applications, Prentice-Hall Inc., Englewood Cliffs (1981)"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Whaley, J., Lam, M.S.: Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. In: Proc. of the ACM SIGPLAN Conference on Programming language design and implementation (June 2004)","DOI":"10.1145\/996841.996859"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Wilson, R.P., Lam, M.S.: Efficient context-sensitive pointer analysis for C programs. In: Proc. of the ACM SIGPLAN Conference on Programming Language Design and Implementation (1995)","DOI":"10.1145\/207110.207111"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Zhu, J.: Towards scalable flow and context sensitive pointer analysis. In: Proc. of the 42nd Annual Conference on Design Automation, pp. 831\u2013836 (2005)","DOI":"10.1145\/1065579.1065798"},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"Zhu, J., Calman, S.: Symbolic pointer analysis revisited. In: Proc. of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 145\u2013157 (2004)","DOI":"10.1145\/996841.996860"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78791-4_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:22:25Z","timestamp":1619508145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78791-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540787907","9783540787914"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78791-4_15","relation":{},"subject":[]}}