{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T18:54:22Z","timestamp":1771959262287,"version":"3.50.1"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319109350","type":"print"},{"value":"9783319109367","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10936-7_20","type":"book-chapter","created":{"date-parts":[[2014,9,6]],"date-time":"2014-09-06T15:17:55Z","timestamp":1410016675000},"page":"319-336","source":"Crossref","is-referenced-by-count":19,"title":["Region-Based Selective Flow-Sensitive Pointer Analysis"],"prefix":"10.1007","author":[{"given":"Sen","family":"Ye","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yulei","family":"Sui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jingling","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Acharya, M., Robinson, B.: Practical change impact analysis based on static program slicing for industrial software systems. In: ICSE 2011, pp. 746\u2013755 (2011)","DOI":"10.1145\/1985793.1985898"},{"key":"20_CR2","unstructured":"Andersen, L.O.: Program analysis and specialization for the C programming language. PhD Thesis, DIKU, University of Copenhagen (1994)"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-540-24723-4_11","volume-title":"Compiler Construction","author":"Q. Cai","year":"2004","unstructured":"Cai, Q., Gao, L., Xue, J.: Region-based partial dead code elimination on predicated code. In: Duesterwald, E. (ed.) CC 2004. LNCS, vol.\u00a02985, pp. 150\u2013166. Springer, Heidelberg (2004)"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Ceccarelli, M., Cerulo, L., Canfora, G., Di Penta, M.: In: ICSE 2010, pp. 163\u2013166 (2010)","DOI":"10.1145\/1810295.1810320"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Cytron, R., Ferrante, J.: Automatic construction of sparse data flow evaluation graphs. In: POPL 1991, pp. 55\u201366 (1991)","DOI":"10.1145\/99583.99594"},{"issue":"2","key":"20_CR6","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1109\/32.265631","volume":"20","author":"J.-D. Choi","year":"1994","unstructured":"Choi, J.-D., Cytron, R., Ferrante, J.: On the efficient engineering of ambitious program analysis. IEEE Transactions on Software Engineering\u00a020(2), 105\u2013114 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"20_CR7","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":"20_CR8","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B., Wegman, M., Zadeck, F.: Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems\u00a013(4), 451\u2013490 (1991)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Das, M.: Unification-based pointer analysis with directional assignments. In: PLDI 2000, pp. 35\u201346 (2000)","DOI":"10.1145\/358438.349309"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Das, M., Lerner, S., Seigle, M.: ESP: Path-sensitive program verification in polynomial time. In: PLDI 2002, pp. 57\u201368 (2002)","DOI":"10.1145\/512537.512538"},{"issue":"2","key":"20_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1348250.1348255","volume":"17","author":"S.J. Fink","year":"2008","unstructured":"Fink, S.J., Yahav, E., Dor, N., Ramalingam, G., Geay, E.: Effective typestate verification in the presence of aliasing. ACM Transactions on Software Engineering and Methodology\u00a017(2), 1\u201334 (2008)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/3-540-44898-5_12","volume-title":"Static Analysis","author":"S.Z. Guyer","year":"2003","unstructured":"Guyer, S.Z., Lin, C.: Client-driven pointer analysis. In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 214\u2013236. Springer, Heidelberg (2003)"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Hank, R.E., Hwu, W.-M.W., Rau, B.R.: Region-based compilation: An introduction and motivation. In: MICRO 1995, pp. 158\u2013168 (1995)","DOI":"10.1109\/MICRO.1995.476823"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Hardekopf, B., Lin, C.: Flow-sensitive pointer analysis for millions of lines of code. In: CGO 2011, pp. 289\u2013298 (2011)","DOI":"10.1109\/CGO.2011.5764696"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Hardekopf, B., Lin, C.: Semi-sparse flow-sensitive pointer analysis. In: POPL 2009, pp. 226\u2013238 (2009)","DOI":"10.1145\/1594834.1480911"},{"issue":"4","key":"20_CR16","doi-asserted-by":"publisher","first-page":"848","DOI":"10.1145\/325478.325519","volume":"21","author":"M. Hind","year":"1999","unstructured":"Hind, M., Burke, M., Carini, P., Choi, J.-D.: Interprocedural pointer alias analysis. ACM Transactions on Programming Languages and Systems\u00a021(4), 848\u2013894 (1999)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"20_CR17","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":"20_CR18","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 (2008)","DOI":"10.1145\/1375581.1375613"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Kastrinis, G., Smaragdakis, Y.: Hybrid context-sensitivity for points-to analysis. In: PLDI 2013, pp. 423\u2013434 (2013)","DOI":"10.1145\/2499370.2462191"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.: LLVM: A compilation framework for lifelong program analysis & transformation. In: CGO 2004, pp. 75\u201386 (2004)","DOI":"10.1109\/CGO.2004.1281665"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Lhot\u00e1k, O., Chung, K.-C.A.: Points-to analysis with efficient strong updates. In: POPL 2011, pp. 3\u201316 (2011)","DOI":"10.1145\/1925844.1926389"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Livshits, V.B., 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":"20_CR23","doi-asserted-by":"crossref","unstructured":"Oh, H., Heo, K., Lee, W., Lee, W., Yi, K.: Design and implementation of sparse global analyses for C-like languages. In: PLDI 2012, pp. 229\u2013238 (2012)","DOI":"10.1145\/2345156.2254092"},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"Pearce, D., Kelly, P., Hankin, C.: Efficient field-sensitive pointer analysis of C. ACM Transactions on Programming Languages and Systems\u00a030(1) (2007)","DOI":"10.1145\/1290520.1290524"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"Pereira, F., Berlin, D.: Wave propagation and deep propagation for pointer analysis. In: CGO 2009, pp. 126\u2013135 (2009)","DOI":"10.1109\/CGO.2009.9"},{"issue":"1","key":"20_CR26","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S0304-3975(00)00315-7","volume":"277","author":"G. Ramalingam","year":"2002","unstructured":"Ramalingam, G.: On sparse evaluation representations. Theoretical Computer Science\u00a0277(1), 119\u2013147 (2002)","journal-title":"Theoretical Computer Science"},{"key":"20_CR27","unstructured":"Rick Hank, R.R., Lee, L.: Implementing next generation points-to in Open64. In: Open64 Developers Forum"},{"key":"20_CR28","doi-asserted-by":"crossref","unstructured":"Suganuma, T., Yasue, T., Nakatani, T.: A region-based compilation technique for a Java just-in-time compiler. In: PLDI 2003, pp. 312\u2013323 (2013)","DOI":"10.1145\/780822.781166"},{"key":"20_CR29","doi-asserted-by":"crossref","unstructured":"Sui, Y., Li, Y., Xue, J.: Query-directed adaptive heap cloning for optimizing compilers. In: CGO 2013, pp. 1\u201311 (2013)","DOI":"10.1109\/CGO.2013.6494978"},{"key":"20_CR30","doi-asserted-by":"crossref","unstructured":"Sui, Y., Ye, D., Xue, J.: Static memory leak detection using full-sparse value-flow analysis. In: ISSTA 2012, pp. 254\u2013264 (2012)","DOI":"10.1145\/2338965.2336784"},{"issue":"2","key":"20_CR31","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1109\/TSE.2014.2302311","volume":"40","author":"Y. Sui","year":"2014","unstructured":"Sui, Y., Ye, D., Xue, J.: Detecting memory leaks statically with full-sparse value-flow analysis. IEEE Transactions on Software Engineering\u00a040(2), 107\u2013122 (2014)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"20_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-642-25318-8_14","volume-title":"Programming Languages and Systems","author":"Y. Sui","year":"2011","unstructured":"Sui, Y., Ye, S., Xue, J., Yew, P.-C.: SPAS: Scalable path-sensitive pointer analysis on full-sparse SSA. In: Yang, H. (ed.) APLAS 2011. LNCS, vol.\u00a07078, pp. 155\u2013171. Springer, Heidelberg (2011)"},{"key":"20_CR33","doi-asserted-by":"crossref","unstructured":"Triantafyllis, S., Bridges, M.J., Raman, E., Ottoni, G., August, D.I.: A framework for unrestricted whole-program optimization. In: PLDI 2006, pp. 61\u201371 (2006)","DOI":"10.1145\/1133981.1133989"},{"key":"20_CR34","doi-asserted-by":"crossref","unstructured":"Ye, D., Sui, Y., Xue, J.: Accelerating dynamic detection of uses of undefined variables with static value-flow analysis. In: CGO 2014, pp. 154\u2013164 (2012)","DOI":"10.1145\/2581122.2544154"},{"key":"20_CR35","doi-asserted-by":"crossref","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 (2010)","DOI":"10.1145\/1772954.1772985"},{"key":"20_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/3-540-61314-5","volume-title":"Fast Software Encryption","author":"S. Zhang","year":"1996","unstructured":"Zhang, S., Ryder, B.G., Landi, W.: Program decomposition for pointer aliasing: A step toward practical analyses. In: Gollmann, D. (ed.) FSE 1996. LNCS, vol.\u00a01039, pp. 81\u201392. Springer, Heidelberg (1996)"},{"key":"20_CR37","doi-asserted-by":"crossref","unstructured":"Zhang, S., Ryder, B.G., Landi, W.A.: Experiments with combined analysis for pointer aliasing. In: PASTE 1998, pp. 11\u201318 (1998)","DOI":"10.1145\/277633.277635"}],"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-319-10936-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T14:18:19Z","timestamp":1746368299000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10936-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319109350","9783319109367"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10936-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}