Fetching the paper…
Reading the bibliography…
Pointer analysis has been studied for over four decades.
Program analysis and specialization for the C programming language
Lars Ole Andersen. 1994 · 1994
Earlier work this paper cites.
Path-sensitive value-flow analysis. In Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (San Diego, California, USA) (POPL ’98) . Association for Computing Machinery, New York, NY, USA, 237–251
Rastisalv Bodík and Sadun Anik. 1998 · 1998
Earlier work this paper cites.
Estimating the impact of scalable pointer analysis on optimization. In International Static Analysis Symposium . Springer, 260–278
Manuvir Das, Ben Liblit, Manuel Fähndrich, and Jakob Rehof. 2001 · 2001
Earlier work this paper cites.
Demand-driven pointer analysis
Nevin Heintze and Olivier Tardieu. 2001 · 2001
Earlier work this paper cites.
Scalable error detection using boolean satisfiability. In Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Long Beach, California, USA) (POPL ’05) . Association for Computing Machinery, New York, NY, USA, 351–363
Yichen Xie and Alex Aiken. 2005 · 2005
Earlier work this paper cites.
Calysto: scalable and precise extended static checking. In Proceedings of the 30th International Conference on Software Engineering (Leipzig, Germany) (ICSE ’08) . Association for Computing Machinery, New York, NY, USA, 211–220
Domagoj Babic and Alan J. Hu. 2008 · 2008
Earlier work this paper cites.
Wave propagation and deep propagation for pointer analysis. In 2009 International Symposium on Code Generation and Optimization . IEEE, 126–135
Fernando Magno Quintao Pereira and Daniel Berlin. 2009 · 2009
Earlier work this paper cites.
Boomerang: Demand-driven flow-and context-sensitive pointer analysis for java. In 30th European Conference on Object-Oriented Programming (ECOOP 2016) . Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 22–1
Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, and Eric Bodden. 2016 · 2016
Earlier work this paper cites.
On-demand strong update analysis via value-flow refinement. In Proceedings of the 2016 24th ACM SIGSOFT international symposium on foundations of software engineering . 460–473
Yulei Sui and Jingling Xue. 2016a · 2016
Earlier work this paper cites.
Precision-guided context sensitivity for pointer analysis
Yue Li, Tian Tan, Anders Møller, and Yannis Smaragdakis. 2018a · 2018
Earlier work this paper cites.
Scalability-first pointer analysis with self-tuning context-sensitivity. In Proceedings of the 2018 26th ACM joint meeting on european software engineering conference and symposium on the foundations of software engineering . 129–140
Yue Li, Tian Tan, Anders Møller, and Yannis Smaragdakis. 2018b · 2018
Earlier work this paper cites.
Pinpoint: Fast and precise sparse value flow analysis for million lines of code. In Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation . 693–706
Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, and Charles Zhang. 2018 · 2018
Cited alongside, same era.
Value-flow-based demand-driven pointer analysis for C and C++
Yulei Sui and Jingling Xue. 2018 · 2018
Cited alongside, same era.
Fast and precise handling of positive weight cycles for field-sensitive pointer analysis. In Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings 26 . Springer, 27–47
Yuxiang Lei and Yulei Sui. 2019 · 2019
Cited alongside, same era.
Learning graph-based heuristics for pointer analysis without handcrafting application-specific features
Minseok Jeon, Myungho Lee, and Hakjoo Oh. 2020 · 2020
Cited alongside, same era.
Source code summarization in the era of large language models
Weisong Sun, Yun Miao, Yuekang Li, Hongyu Zhang, Chunrong Fang, Yi Liu, Gelei Deng, Yang Liu, and Zhenyu Chen. 2024a · 2024
Later among the works it cites.
Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis
Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, and Charles Zhang. 2024 · 2024
Later among the works it cites.
Transagent: An llm-based multi-agent system for code translation
Zhiqiang Yuan, Weitong Chen, Hanlin Wang, Kai Yu, Xin Peng, and Yiling Lou. 2024 · 2024
Later among the works it cites.
Leveraging semantic relations in code and data to enhance taint analysis of embedded systems. In 33rd USENIX Security Symposium (USENIX Security 24) . 7067–7084
Jiaxu Zhao, Yuekang Li, Yanyan Zou, Zhaohui Liang, Yang Xiao, Yeting Li, Bingwei Peng, Nanyu Zhong, Xinyi Wang, Wei Wang, et al · 2024
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering . 221–232
Yizhuo Zhai, Yu Hao, Hang Zhang, Daimeng Wang, Chengyu Song, Zhiyun Qian, Mohsen Lesani, Srikanth V Krishnamurthy, and Paul Yu. 2020 · 2020
Cited alongside, same era.
Object versioning for flow-sensitive pointer analysis. In 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) . IEEE, 222–235
Mohamad Barbar, Yulei Sui, and Shiping Chen. 2021 · 2021
Cited alongside, same era.
PUS: A fast and highly efficient solver for inclusion-based pointer analysis. In Proceedings of the 44th International Conference on Software Engineering . 1781–1792
Peiming Liu, Yanze Li, Brad Swain, and Jeff Huang. 2022 · 2022
Cited alongside, same era.
A review on code generation with llms: Application and evaluation. In 2023 IEEE International Conference on Medical Artificial Intelligence (MedAI) . IEEE, 284–289
Jianxun Wang and Yixiang Chen. 2023 · 2023
Cited alongside, same era.
Semantic-enhanced indirect call analysis with large language models. In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering . 430–442
Baijun Cheng, Cen Zhang, Kailong Wang, Ling Shi, Yang Liu, Haoyu Wang, Yao Guo, Ding Li, and Xiangqun Chen. 2024 · 2024
Cited alongside, same era.
Vul-rag: Enhancing llm-based vulnerability detection via knowledge-level rag
Xueying Du, Geng Zheng, Kaixin Wang, Jiayi Feng, Wentai Deng, Mingwei Liu, Bihuan Chen, Xin Peng, Tao Ma, and Yiling Lou. 2024 · 2024
Cited alongside, same era.
Enhancing static analysis for practical bug detection: An llm-integrated approach
Haonan Li, Yu Hao, Yizhuo Zhai, and Zhiyun Qian. 2024 · 2024
Cited alongside, same era.
SVF: interprocedural static value-flow analysis in LLVM. In Proceedings of the 25th International Conference on Compiler Construction (Barcelona, Spain) (CC ’16) . Association for Computing Machinery, New York, NY, USA, 265–266
Yulei Sui and Jingling Xue. 2016b
Cited in the paper.
RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing. In Proceedings of the 42nd International Conference on Machine Learning
Jinyao Guo, Chengpeng Wang, Xiangzhe Xu, Zian Su, and Xiangyu Zhang. 2025 · 2025
Closest in time.
Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-Procedural Path-Sensitive Taint Analysis
Yuchen Ji, Ting Dai, Zhichao Zhou, Yutian Tang, and Jingzhu He. 2025 · 2025
Closest in time.
IRIS: LLM-assisted static analysis for detecting security vulnerabilities. In The Thirteenth International Conference on Learning Representations
Ziyang Li, Saikat Dutta, and Mayur Naik. 2025 · 2025
Closest in time.
LLM-Powered Static Binary Taint Analysis
Puzhuo Liu, Chengnian Sun, Yaowen Zheng, Xuan Feng, Chuan Qin, Yuncheng Wang, Zhenyang Xu, Zhi Li, Peng Di, Yu Jiang, and Limin Sun. 2025 · 2025
Closest in time.
Boosting static resource leak detection via llm-based resource-oriented intention inference. In 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE) . IEEE Computer Society, 668–668
Chong Wang, Jianan Liu, Xin Peng, Yang Liu, and Yiling Lou. 2025 · 2025
Closest in time.
Knighter: Transforming static analysis with llm-synthesized checkers
Chenyuan Yang, Zijie Zhao, Zichen Xie, Haoyu Li, and Lingming Zhang. 2025 · 2025
Closest in time.