{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T11:44:55Z","timestamp":1791459895841,"version":"4.3.4"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,26]],"date-time":"2018-10-26T00:00:00Z","timestamp":1540512000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"http:\/\/dx.doi.org\/10.13039\/100010663","award":["647544"],"award-info":[{"award-number":["647544"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,26]]},"DOI":"10.1145\/3236024.3236041","type":"proceedings-article","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T08:06:00Z","timestamp":1540800360000},"page":"129-140","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":56,"title":["Scalability-first pointer analysis with self-tuning context-sensitivity"],"prefix":"10.1145","author":[{"given":"Yue","family":"Li","sequence":"first","affiliation":[{"name":"Aarhus University, Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tian","family":"Tan","sequence":"additional","affiliation":[{"name":"Aarhus University, Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anders","family":"M\u00f8ller","sequence":"additional","affiliation":[{"name":"Aarhus University, Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yannis","family":"Smaragdakis","sequence":"additional","affiliation":[{"name":"University of Athens, Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Damien Octeau, and Patrick D. McDaniel.","author":"Arzt Steven","year":"2014","unstructured":"Steven Arzt , Siegfried Rasthofer , Christian Fritz , Eric Bodden , Alexandre Bartel , Jacques Klein , Yves Le Traon , Damien Octeau, and Patrick D. McDaniel. 2014 . Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, and Patrick D. McDaniel. 2014."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594299"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781144"},{"key":"e_1_3_2_1_4_1","volume-title":"J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas Van-Drunen, Daniel von Dincklage, and Ben Wiedermann.","author":"Blackburn Stephen M.","year":"2006","unstructured":"Stephen M. Blackburn , Robin Garner , Chris Hoffmann , Asjad M. Khan , Kathryn S. McKinley , Rotem Bentzur , Amer Diwan , Daniel Feinberg , Daniel Frampton , Samuel Z. Guyer , Martin Hirzel , Antony L. Hosking , Maria Jump , Han Bok Lee , J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas Van-Drunen, Daniel von Dincklage, and Ben Wiedermann. 2006 . Stephen M. Blackburn, Robin Garner, Chris Hoffmann, Asjad M. Khan, Kathryn S. McKinley, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony L. Hosking, Maria Jump, Han Bok Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas Van-Drunen, Daniel von Dincklage, and Ben Wiedermann. 2006."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"e_1_3_2_1_7_1","unstructured":"1640108  1640108"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542517"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93585"},{"key":"e_1_3_2_1_10_1","volume-title":"WALA: T. J. Watson Libraries for Analysis","author":"Julian Dolby","year":"2018","unstructured":"Julian Dolby et al. 2018 . WALA: T. J. Watson Libraries for Analysis . http:\/\/wala. sf.net. Julian Dolby et al. 2018. WALA: T. J. Watson Libraries for Analysis. http:\/\/wala. sf.net."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1348250.1348255"},{"key":"e_1_3_2_1_12_1","volume-title":"Rinard","author":"Gordon Michael I.","year":"2015","unstructured":"Michael I. Gordon , Deokhwan Kim , Jeff H. Perkins , Limei Gilham , Nguyen Nguyen , and Martin C . Rinard . 2015 . Michael I. Gordon, Deokhwan Kim, Jeff H. Perkins, Limei Gilham, Nguyen Nguyen, and Martin C. Rinard. 2015."},{"key":"e_1_3_2_1_13_1","volume-title":"22nd Annual Network and Distributed System Security Symposium, NDSS 2015","author":"Information","year":"2015","unstructured":"Information flow analysis of Android applications in DroidSafe . In 22nd Annual Network and Distributed System Security Symposium, NDSS 2015 , San Diego, California, USA, February 8- 11 , 2015 . The Internet Society. Information flow analysis of Android applications in DroidSafe. In 22nd Annual Network and Distributed System Security Symposium, NDSS 2015, San Diego, California, USA, February 8- 11, 2015. The Internet Society."},{"key":"e_1_3_2_1_14_1","unstructured":"https:\/\/www.ndss-symposium.org\/ndss2015\/ information-flow-analysis-android-applications-droidsafe  https:\/\/www.ndss-symposium.org\/ndss2015\/ information-flow-analysis-android-applications-droidsafe"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133926"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3088515.3088519"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379665"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03237-0_17"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133924"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462191"},{"key":"e_1_3_2_1_21_1","volume-title":"Hendren","author":"Lhot\u00e1k Ondrej","year":"2003","unstructured":"Ondrej Lhot\u00e1k and Laurie J . Hendren . 2003 . Scaling Java points-to analysis using SPARK. In Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings (Lecture Notes in Computer Science), G\u00f6rel Hedin (Ed.), Vol. 2622 . Springer , 153\u2013169. 3-540-36579-6_12 Ondrej Lhot\u00e1k and Laurie J. Hendren. 2003. Scaling Java points-to analysis using SPARK. In Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings (Lecture Notes in Computer Science), G\u00f6rel Hedin (Ed.), Vol. 2622. Springer, 153\u2013169. 3-540-36579-6_12"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/11688839_5"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025160"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44202-9_2"},{"key":"e_1_3_2_1_25_1","volume-title":"SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Lecture Notes in Computer Science), Sandrine Blazy and Thomas Jensen (Eds.)","volume":"9291","author":"Li Yue","year":"2015","unstructured":"Yue Li , Tian Tan , and Jingling Xue . 2015 . Effective soundness-guided reflection analysis. In Static Analysis - 22nd International Symposium , SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Lecture Notes in Computer Science), Sandrine Blazy and Thomas Jensen (Eds.) , Vol. 9291 . Springer, 162\u2013180. Yue Li, Tian Tan, and Jingling Xue. 2015. Effective soundness-guided reflection analysis. In Static Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Lecture Notes in Computer Science), Sandrine Blazy and Thomas Jensen (Eds.), Vol. 9291. Springer, 162\u2013180."},{"key":"e_1_3_2_1_26_1","volume-title":"30th European Conference on Object-Oriented Programming, ECOOP 2016","volume":"56","author":"Li Yue","year":"2016","unstructured":"Yue Li , Tian Tan , Yifei Zhang , and Jingling Xue . 2016 . Program tailoring: Slicing by sequential criteria . In 30th European Conference on Object-Oriented Programming, ECOOP 2016 , July 18-22, 2016, Rome, Italy (LIPIcs), Shriram Krishnamurthi and Benjamin S. Lerner (Eds.) , Vol. 56 . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 15:1\u201315:27. Yue Li, Tian Tan, Yifei Zhang, and Jingling Xue. 2016. Program tailoring: Slicing by sequential criteria. In 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy (LIPIcs), Shriram Krishnamurthi and Benjamin S. Lerner (Eds.), Vol. 56. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 15:1\u201315:27."},{"key":"e_1_3_2_1_27_1","volume-title":"7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering","volume":"1687","author":"Liang Donglin","year":"1999","unstructured":"Donglin Liang and Mary Jean Harrold . 1999 . Efficient points-to analysis for wholeprogram analysis. In Software Engineering - ESEC\/FSE\u201999 , 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering , Toulouse, France , September 1999, Proceedings (Lecture Notes in Computer Science), Oscar Nierstrasz and Michel Lemoine (Eds.), Vol. 1687 . Springer, 199\u2013215. Donglin Liang and Mary Jean Harrold. 1999. Efficient points-to analysis for wholeprogram analysis. In Software Engineering - ESEC\/FSE\u201999, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings (Lecture Notes in Computer Science), Oscar Nierstrasz and Michel Lemoine (Eds.), Vol. 1687. Springer, 199\u2013215."},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the 14th USENIX Security Symposium","author":"Livshits Benjamin","year":"2005","unstructured":"Benjamin Livshits and Monica S. Lam . 2005. Finding security vulnerabilities in Java applications with static analysis . In Proceedings of the 14th USENIX Security Symposium , Baltimore, MD, USA, July 31 - August 5, 2005 , Patrick D. McDaniel (Ed.). USENIX Association. Benjamin Livshits and Monica S. Lam. 2005. Finding security vulnerabilities in Java applications with static analysis. In Proceedings of the 14th USENIX Security Symposium, Baltimore, MD, USA, July 31 - August 5, 2005, Patrick D. McDaniel (Ed.). USENIX Association."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566174"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1044834.1044835"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"e_1_3_2_1_32_1","volume-title":"34th International Conference on Software Engineering, ICSE 2012","author":"Pradel Michael","year":"2012","unstructured":"Michael Pradel , Ciera Jaspan , Jonathan Aldrich , and Thomas R. Gross . 2012. Statically checking API protocol conformance with mined multi-object specifications . In 34th International Conference on Software Engineering, ICSE 2012 , June 2-9, 2012 , Zurich, Switzerland, Martin Glinz, Gail C. Murphy, and Mauro Pezz\u00e8 (Eds.). IEEE Computer Society, 925\u2013935. Michael Pradel, Ciera Jaspan, Jonathan Aldrich, and Thomas R. Gross. 2012. Statically checking API protocol conformance with mined multi-object specifications. In 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland, Martin Glinz, Gail C. Murphy, and Mauro Pezz\u00e8 (Eds.). IEEE Computer Society, 925\u2013935."},{"key":"e_1_3_2_1_33_1","first-page":"189","article-title":"Two approaches to interprocedural data flow analysis. Prentice-Hall","volume":"7","author":"Sharir Micha","year":"1981","unstructured":"Micha Sharir and Amir Pnueli . 1981 . Two approaches to interprocedural data flow analysis. Prentice-Hall , Chapter 7 , 189 \u2013 234 . Micha Sharir and Amir Pnueli. 1981. Two approaches to interprocedural data flow analysis. Prentice-Hall, Chapter 7, 189\u2013234.","journal-title":"Chapter"},{"key":"e_1_3_2_1_34_1","volume-title":"Doop: Framework for Java pointer analysis","author":"Yannis Smaragdakis","year":"2018","unstructured":"Yannis Smaragdakis et al. 2018 . Doop: Framework for Java pointer analysis . http:\/\/doop.program-analysis.org. Yannis Smaragdakis et al. 2018. Doop: Framework for Java pointer analysis. http:\/\/doop.program-analysis.org."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000014"},{"key":"e_1_3_2_1_36_1","volume-title":"APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings (Lecture Notes in Computer Science), Xinyu Feng and Sungwoo Park (Eds.)","volume":"9458","author":"Smaragdakis Yannis","year":"2015","unstructured":"Yannis Smaragdakis , George Balatsouras , George Kastrinis , and Martin Bravenboer . 2015 . More sound static handling of Java reflection. In Programming Languages and Systems - 13th Asian Symposium , APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings (Lecture Notes in Computer Science), Xinyu Feng and Sungwoo Park (Eds.) , Vol. 9458 . Springer, 485\u2013503. Yannis Smaragdakis, George Balatsouras, George Kastrinis, and Martin Bravenboer. 2015. More sound static handling of Java reflection. In Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings (Lecture Notes in Computer Science), Xinyu Feng and Sungwoo Park (Eds.), Vol. 9458. Springer, 485\u2013503."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926390"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594320"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134027"},{"key":"e_1_3_2_1_40_1","volume-title":"Aliasing in Object-Oriented Programming","author":"Sridharan Manu","unstructured":"Manu Sridharan , Satish Chandra , Julian Dolby , Stephen J. Fink , and Eran Yahav . 2013. Alias analysis for object-oriented programs . In Aliasing in Object-Oriented Programming . Types, Analysis and Verification, Dave Clarke, James Noble, and Tobias Wrigstad (Eds.). Lecture Notes in Computer Science, Vol. 7850 . Springer , 196\u2013232. Manu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, and Eran Yahav. 2013. Alias analysis for object-oriented programs. In Aliasing in Object-Oriented Programming. Types, Analysis and Verification, Dave Clarke, James Noble, and Tobias Wrigstad (Eds.). Lecture Notes in Computer Science, Vol. 7850. Springer, 196\u2013232."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250748"},{"key":"e_1_3_2_1_42_1","volume-title":"SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Lecture Notes in Computer Science), Xavier Rival (Ed.)","volume":"9837","author":"Tan Tian","year":"2016","unstructured":"Tian Tan , Yue Li , and Jingling Xue . 2016 . Making k-object-sensitive pointer analysis more precise with still k-limiting. In Static Analysis - 23rd International Symposium , SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Lecture Notes in Computer Science), Xavier Rival (Ed.) , Vol. 9837 . Springer, 489\u2013510. Tian Tan, Yue Li, and Jingling Xue. 2016. Making k-object-sensitive pointer analysis more precise with still k-limiting. In Static Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Lecture Notes in Computer Science), Xavier Rival (Ed.), Vol. 9837. Springer, 489\u2013510."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062360"},{"key":"e_1_3_2_1_44_1","article-title":"A survey of program slicing techniques","volume":"3","author":"Tip Frank","year":"1995","unstructured":"Frank Tip . 1995 . A survey of program slicing techniques . J. Prog. Lang. 3 , 3 (1995). http:\/\/compscinet.dcs.kcl.ac.uk\/JP\/jp030301.abs.html Frank Tip. 1995. A survey of program slicing techniques. J. Prog. Lang. 3, 3 (1995). http:\/\/compscinet.dcs.kcl.ac.uk\/JP\/jp030301.abs.html","journal-title":"J. Prog. Lang."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.5555\/781995.782008"}],"event":{"name":"ESEC\/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Lake Buena Vista FL USA","acronym":"ESEC\/FSE '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3236041","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3236041","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:57:25Z","timestamp":1750193845000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3236041"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,26]]},"references-count":45,"alternative-id":["10.1145\/3236024.3236041","10.1145\/3236024"],"URL":"https:\/\/doi.org\/10.1145\/3236024.3236041","relation":{},"subject":[],"published":{"date-parts":[[2018,10,26]]},"assertion":[{"value":"2018-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}