Scalability-first pointer analysis with self-tuning context-sensitivity-Reference-Cited by-同舟云学术

Scalability-first pointer analysis with self-tuning context-sensitivity

Published:2018-10-26 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Li Yue¹,Tan Tian¹,Møller Anders¹,Smaragdakis Yannis²

Affiliation:

1. Aarhus University, Denmark

2. University of Athens, Greece

Funder

http://dx.doi.org/10.13039/100010663

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3236024.3236041

Reference45 articles.

1. 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.

2. FlowDroid

3. Points-to analysis using BDDs

4. 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.

5. The DaCapo benchmarks

Cited by 46 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis;Proceedings of the ACM on Programming Languages;2024-06-20

2. When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly;Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2024-06-20

3. Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis;IEEE Transactions on Software Engineering;2024-05

4. Learning Abstraction Selection for Bayesian Program Analysis;Proceedings of the ACM on Programming Languages;2024-04-29

5. On the Effectiveness of Machine Learning-based Call Graph Pruning: An Empirical Study;Proceedings of the 21st International Conference on Mining Software Repositories;2024-04-15