{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T20:17:55Z","timestamp":1784233075795,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642253171","type":"print"},{"value":"9783642253188","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25318-8_14","type":"book-chapter","created":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T16:54:45Z","timestamp":1322931285000},"page":"155-171","source":"Crossref","is-referenced-by-count":33,"title":["SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA"],"prefix":"10.1007","author":[{"given":"Yulei","family":"Sui","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sen","family":"Ye","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jingling","family":"Xue","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pen-Chung","family":"Yew","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Berndl, M., Lhot\u00e1k, O., Qian, F., Hendren, L., Umanee, N.: Points-to analysis using BDDs. In: PLDI 2003, vol.\u00a038(5), p. 114 (2003)","DOI":"10.1145\/781131.781144"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Bush, W.R., Pincus, J.D., Sielaff, D.J.: A static analyzer for finding dynamic programming errors. In: SPE 2000, vol.\u00a030, pp. 775\u2013802 (2000)","DOI":"10.1002\/(SICI)1097-024X(200006)30:7<775::AID-SPE309>3.0.CO;2-H"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Chatterjee, R., Ryder, B.G., Landi, W.A.: Relevant context inference. In: POPL 1999, p. 146. ACM (1999)","DOI":"10.1145\/292540.292554"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/3-540-61053-7_66","volume-title":"Compiler Construction","author":"F. Chow","year":"1996","unstructured":"Chow, F., Chan, S., Liu, S., Lo, R., Streich, M.: Effective Representation of Aliases and Indirect Memory Operations in SSA Form. In: Gyim\u00f3thy, T. (ed.) CC 1996. LNCS, vol.\u00a01060, pp. 253\u2013267. Springer, Heidelberg (1996)"},{"issue":"4","key":"14_CR5","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. TOPLAS\u00a013(4), 490 (1991)","journal-title":"TOPLAS"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Dillig, I., Dillig, T., Aiken, A.: Sound, complete and scalable path-sensitive analysis. In: PLDI 2008, pp. 270\u2013280. ACM (2008)","DOI":"10.1145\/1375581.1375615"},{"key":"14_CR7","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: PLDI 1994, pp. 242\u2013256 (1994)","DOI":"10.1145\/178243.178264"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Gutzmann, T., Lundberg, J., Lowe, W.: Towards path-sensitive points-to analysis. In: SCAM 2007, pp. 59\u201368. IEEE (2007)","DOI":"10.1109\/SCAM.2007.26"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Hardekopf, B., Lin, C.: Semi-sparse flow-sensitive pointer analysis. In: POPL 2009, pp. 226\u2013238. ACM (2009)","DOI":"10.1145\/1594834.1480911"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Hardekopf, B., Lin, C.: Flow-Sensitive Pointer Analysis for Millions of Lines of Code. In: CGO 2011 (2011)","DOI":"10.1109\/CGO.2011.5764696"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Kahlon, V.: Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis. In: PLDI 2008, pp. 249\u2013259. ACM (2008)","DOI":"10.1145\/1375581.1375613"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Landi, W., Ryder, B.G.: A safe approximate algorithm for interprocedural aliasing. In: PLDI 1992, vol.\u00a027(7), pp. 235\u2013248 (1992)","DOI":"10.1145\/143095.143137"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Le, W., Soffa, M.L.: Refining buffer overflow detection via demand-driven path-sensitive analysis. In: PASTE 2007, pp. 63\u201368. ACM (2007)","DOI":"10.1145\/1251535.1251546"},{"key":"14_CR14","first-page":"3","volume-title":"POPL 2011","author":"O. Lhot\u00e1k","year":"2011","unstructured":"Lhot\u00e1k, O., Andrew Chung, K.-C.: Points-to analysis with efficient strong updates. In: POPL 2011, pp. 3\u201316. ACM, New York (2011)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Benjamin Livshits, V., Lam, M.S.: Tracking pointers with path and context sensitivity for bug detection in c programs. In: FSE 2003, pp. 317\u2013326 (2003)","DOI":"10.1145\/949952.940114"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-540-27864-1_14","volume-title":"Static Analysis","author":"E.M. Nystrom","year":"2004","unstructured":"Nystrom, E.M., Kim, H.S., Hwu, W.W.: Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis. In: Giacobazzi, R. (ed.) SAS 2004. LNCS, vol.\u00a03148, pp. 165\u2013180. Springer, Heidelberg (2004)"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Smaragdakis, Y., Bravenboer, M., Lhot\u00e1k, O.: Pick your contexts well: understanding object-sensitivity. In: POPL 2011, pp. 17\u201330. ACM (2011)","DOI":"10.1145\/1926385.1926390"},{"key":"14_CR18","first-page":"32","volume-title":"POPL 1996","author":"B. Steensgaard","year":"1996","unstructured":"Steensgaard, B.: Points-to analysis in almost linear time. In: POPL 1996, pp. 32\u201341. ACM, New York (1996)"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Whaley, J., Lam, M.S.: Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. In: PLDI 2004, pp. 131\u2013144. ACM (2004)","DOI":"10.1145\/996841.996859"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Xie, Y., Aiken, A.: Context-and path-sensitive memory leak detection. In: FSE 2005, vol.\u00a030(5), p. 125 (2005)","DOI":"10.1145\/1081706.1081728"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Xie, Y., Aiken, A.: Scalable error detection using boolean satisfiability. In: POPL 2005, vol.\u00a040(1), pp. 351\u2013363 (2005)","DOI":"10.1145\/1040305.1040334"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Xue, J., Cai, Q., Gao, L.: Partial dead code elimination on predicated code regions. In: SPE 2006, vol.\u00a036, pp. 1655\u20131685 (2006)","DOI":"10.1002\/spe.739"},{"key":"14_CR23","first-page":"218","volume-title":"CGO 2010","author":"H. Yu","year":"2010","unstructured":"Yu, H., Xue, J., Huo, W., Feng, X., Zhang, Z.: Level by level: making flow-and context-sensitive pointer analysis scalable for millions of lines of code. In: CGO 2010, pp. 218\u2013229. ACM, New York (2010)"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Zhu, J., Calman, S.: Symbolic pointer analysis revisited. In: PLDI 2004, p. 157. ACM (2004)","DOI":"10.1145\/996841.996860"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25318-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T04:00:37Z","timestamp":1561003237000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25318-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642253171","9783642253188"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25318-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}