{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T03:11:13Z","timestamp":1775790673260,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540733676","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73368-3_10","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T18:29:34Z","timestamp":1188412174000},"page":"68-81","source":"Crossref","is-referenced-by-count":24,"title":["Low-Level Library Analysis and Summarization"],"prefix":"10.1007","author":[{"given":"Denis","family":"Gopan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Reps","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Compiler Construction","author":"G. Balakrishnan","year":"2004","unstructured":"Balakrishnan, G., Reps, T.: Analyzing memory accesses in x86 executables. In: Duesterwald, E. (ed.) CC 2004. LNCS, vol.\u00a02985, Springer, Heidelberg (2004)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"G. Balakrishnan","year":"2007","unstructured":"Balakrishnan, G., Reps, T.: DIVINE: DIscovering Variables IN Executables. In: Cook, B., Podelski, A. (eds.) VMCAI 2007. LNCS, vol.\u00a04349, Springer, Heidelberg (2007)"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Ball, T., Rajamani, S.K.: Bebop: A path-sensitive interprocedural dataflow engine. In: PASTE (2001)","DOI":"10.1145\/379605.379690"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR 1997: Concurrency Theory","author":"A. Bouajjani","year":"1997","unstructured":"Bouajjani, A., Esparza, J., Maler, O.: Reachability analysis of pushdown automata: Application to model checking. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol.\u00a01243, Springer, Heidelberg (1997)"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Bouajjani, A., Esparza, J., Touili, T.: A generic approach to the static analysis of concurrent programs with procedures. In: POPL (2003)","DOI":"10.1145\/604131.604137"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Chatterjee, R., Ryder, B.G., Landi, W.: Relevant context inference. In: POPL (1999)","DOI":"10.1145\/292540.292554"},{"key":"10_CR7","volume-title":"Formal Descriptions of Programming Concepts","author":"P. Cousot","year":"1978","unstructured":"Cousot, P., Cousot, R.: Static determination of dynamic properties of recursive procedures. In: Formal Descriptions of Programming Concepts, North-Holland, Amsterdam (1978)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Cousot, P., Halbwachs, N.: Automatic discovery of linear constraints among variables of a program. In: POPL (1978)","DOI":"10.1145\/512760.512770"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Advances in Computer Systems Architecture","author":"M. Cova","year":"2006","unstructured":"Cova, M., Felmetsger, V., Banks, G., Vigna, G.: Static detection of vulnerabilities in x86 executables. In: Jesshope, C., Egan, C. (eds.) ACSAC 2006. LNCS, vol.\u00a04186, Springer, Heidelberg (2006)"},{"key":"10_CR10","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: PLDI (2003)","DOI":"10.1145\/781147.781149"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Finkel, A., Willems, B., Wolper, P.: A direct symbolic approach to model checking pushdown systems. Elec. Notes in Theor. Comp. Sci.\u00a09 (1997)","DOI":"10.1016\/S1571-0661(05)80426-8"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Felleisen, M.: Componential set-based analysis. In: PLDI (1997)","DOI":"10.1145\/258915.258937"},{"key":"10_CR13","unstructured":"Guo, B., Bridges, M.J., Triantafyllis, S., Ottoni, G., Raman, E., August, D.I.: Practical and accurate low-level pointer analysis. In: 3nd Int. Symp. on Code Gen. and Opt. (2005)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Harrold, M.J., Rothermel, G.: Separate computation of alias information for reuse. TSE\u00a022(7) (1996)","DOI":"10.1109\/32.538603"},{"key":"10_CR15","unstructured":"IDAPro disassembler, http:\/\/www.datarescue.com\/idabase\/"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Compiler Construction","author":"J. Knoop","year":"1992","unstructured":"Knoop, J., Steffen, B.: The interprocedural coincidence theorem. In: Pfahler, P., Kastens, U. (eds.) CC 1992. LNCS, vol.\u00a0641, Springer, Heidelberg (1992)"},{"key":"10_CR17","unstructured":"Kruegel, C., Kirda, E., Mutz, D., Robertson, W., Vigna, G.: Automating mimicry attacks using static binary analysis. In: USENIX Sec. Symp. (2005)"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Landi, W., Ryder, B.G.: A safe approximate algorithm for interprocedural pointer aliasing. In: PLDI (1992)","DOI":"10.1145\/143095.143137"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Ramalingam, G., Field, J., Tip, F.: Aggregate structure identification and its application to program analysis. In: POPL (1999)","DOI":"10.1145\/292540.292553"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Reps, T., Horwitz, S., Sagiv, M.: Precise interprocedural dataflow analysis via graph reachability. In: POPL (1995)","DOI":"10.1145\/199448.199462"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Reps, T., Schwoon, S., Jha, S., Melski, D.: Weighted pushdown systems and their application to interprocedural dataflow analysis. Sci. of Comp. Prog. 58(1-2) (2005)","DOI":"10.1016\/j.scico.2005.02.009"},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"Compiler Construction","author":"A. Rountev","year":"2001","unstructured":"Rountev, A., Ryder, B.G.: Points-to and side-effect analyses for programs built with precompiled libraries. In: Wilhelm, R. (ed.) CC 2001 and ETAPS 2001. LNCS, vol.\u00a02027, Springer, Heidelberg (2001)"},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science","volume-title":"Fast Software Encryption","author":"A. Rountev","year":"1999","unstructured":"Rountev, A., Ryder, B.G., Landi, W.: Data-flow analysis of program fragments. In: Knudsen, L.R. (ed.) FSE 1999. LNCS, vol.\u00a01636, Springer, Heidelberg (1999)"},{"key":"10_CR24","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: Program Flow Analysis: Theory and Applications, Prentice-Hall, Englewood Cliffs (1981)"},{"key":"10_CR25","unstructured":"Wagner, D., Foster, J., Brewer, E., Aiken, A.: A first step towards automated detection of buffer overrun vulnerabilities. In: NDSS (2000)"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Wilson, R.P., Lam, M.S.: Efficient context-sensitive pointer analysis for C programs. In: PLDI (1995)","DOI":"10.1145\/207110.207111"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Xie, Y., Aiken, A.: Scalable error detection using Boolean satisfiability. In: POPL (2005)","DOI":"10.1145\/1040305.1040334"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73368-3_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:08:23Z","timestamp":1619503703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73368-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540733676"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73368-3_10","relation":{},"subject":[]}}