Fetching the paper…
Reading the bibliography…
Static analysis plays a crucial role in software vulnerability detection, yet faces a persistent precision-scalability tradeoff.
Moving Fast with Software Verification, 2015
Cristiano Calcagno, Dino Distefano, Jeremy Dubreil, Dominik Gabi, Martino Luca, Peter O’Hearn, Irene Papakonstantinou, and Dulma Rodriguez · 2015
Earlier work this paper cites.
Static Analysis: A Survey of Techniques and Tools
Anjana Gosain and Ganga Sharma · 2015
Earlier work this paper cites.
{DR}. {CHECKER}: A Soundy Analysis for Linux Kernel Drivers
Aravind Machiry, Chad Spensky, Jake Corina, Nick Stephens, Christopher Kruegel, and Giovanni Vigna · 2017
Earlier work this paper cites.
Stack buffer overflow in Qualcomm MSM 4.4 - Finding bugs with CodeQL, January 2018
Kevin Backhouse · 2018
Earlier work this paper cites.
Adversarial robustness for code
Pavol Bielik and Martin Vechev · 2020
Earlier work this paper cites.
Adversarial examples for models of code
Noam Yefet, Uri Alon, and Eran Yahav · 2020
Earlier work this paper cites.
Ubitect: A precise and scalable method to detect use-before-initialization bugs in linux kernel
Yizhuo Zhai, Yu Hao, Hang Zhang, Daimeng Wang, Chengyu Song, Zhiyun Qian, Mohsen Lesani, Srikanth V. Krishnamurthy, and Paul Yu · 2020
Earlier work this paper cites.
Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels
Hang Zhang, Weiteng Chen, Yu Hao, Guoren Li, Yizhuo Zhai, Xiaochen Zou, and Zhiyun Qian · 2021
Earlier work this paper cites.
Wenhu Chen, Xueguang Ma, Xinyi Wang, and William W Cohen · 2022
Earlier work this paper cites.
A survey of parametric static analysis
Jihyeok Park, Hongki Lee, and Sukyoung Ryu · 2022
Earlier work this paper cites.
Natural attack for pre-trained models of code
Zhou Yang, Jieke Shi, Junda He, and David Lo · 2022
Earlier work this paper cites.
Star: Bootstrapping reasoning with reasoning
Eric Zelikman, Yuhuai Wu, Jesse Mu, and Noah Goodman · 2022
Earlier work this paper cites.
Discrete adversarial attack to models of code
Fengjuan Gao, Yu Wang, and Ke Wang · 2023
Earlier work this paper cites.
Chain of code: Reasoning with a language model-augmented code emulator
Chengshu Li, Jacky Liang, Andy Zeng, Xinyun Chen, Karol Hausman, Dorsa Sadigh, Sergey Levine, Li Fei-Fei, Fei Xia, and Brian Ichter · 2023
Earlier work this paper cites.
Can Large Language Models Reason about Program Invariants?
Kexin Pei, David Bieber, Kensen Shi, Charles Sutton, and Pengcheng Yin · 2023
Earlier work this paper cites.
Exploiting code symmetries for learning program semantics
Kexin Pei, Weichen Li, Qirui Jin, Shuyang Liu, Scott Geng, Lorenzo Cavallaro, Junfeng Yang, and Suman Jana · 2023
Earlier work this paper cites.
Chain-of-Thought Prompting Elicits Reasoning in Large Language Models, January 2023
Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Brian Ichter, Fei Xia, Ed Chi, Quoc Le, and Denny Zhou · 2023
Earlier work this paper cites.
Tree of thoughts: Deliberate problem solving with large language models
Shunyu Yao, Dian Yu, Jeffrey Zhao, Izhak Shafran, Tom Griffiths, Yuan Cao, and Karthik Narasimhan · 2023
Earlier work this paper cites.
Verified Code Transpilation with LLMs
Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit A Seshia, and Alvin Cheung · 2024
Cited alongside, same era.
Steering large language models between code execution and textual reasoning
Yongchao Chen, Harsh Jhamtani, Srinagesh Sharma, Chuchu Fan, and Chi Wang · 2024
Cited alongside, same era.
Semantic-Enhanced Indirect Call Analysis with Large Language Models
Baijun Cheng, Cen Zhang, Kailong Wang, Ling Shi, Yang Liu, Haoyu Wang, Yao Guo, Ding Li, and Xiangqun Chen · 2024
Cited alongside, same era.
PyTy: Repairing Static Type Errors in Python
Yiu Wai Chow, Luca Di Grazia, and Michael Pradel · 2024
Cited alongside, same era.
Semcoder: Training code language models with comprehensive semantics
Yangruibo Ding, Jinjun Peng, Marcus J Min, Gail Kaiser, Junfeng Yang, and Baishakhi Ray · 2024
Cited alongside, same era.
Sanitizing large language models in bug detection with data-flow
Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, and Xiangyu Zhang · 2024
Later among the works it cites.
Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?
Cheng Wen, Yuandao Cai, Bin Zhang, Jie Su, Zhiwu Xu, Dugang Liu, Shengchao Qin, Zhong Ming, and Tian Cong · 2024
Later among the works it cites.
LLM Leaderboard
Vellum AI · 2025
Closest in time.
Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus
Yufan Cai, Zhe Hou, David Sanan, Xiaokun Luan, Yun Lin, Jun Sun, and Jin Song Dong · 2025
Closest in time.
Interleaving static analysis and LLM prompting with applications to error specification inference
Patrick J. Chapman, Cindy Rubio-González, and Aditya V. Thakur · 2025
Closest in time.
Reasoning runtime behavior of a program with llm: How far are we?
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Large Language Models for Code Analysis: Do LLMs Really Do Their Job?
Chongzhou Fang, Ning Miao, Shaurya Srivastav, Jialin Liu, Najmeh Nazari, and Houman Homayoun · 2024
Cited alongside, same era.
Code is not Natural Language: Unlock the Power of Semantics-Oriented Graph Representation for Binary Code Similarity Detection
Haojie He, Xingwei Lin, Ziang Weng, Ruijie Zhao, Shuitao Gan, Libo Chen, Yuede Ji, Jiashui Wang, and Zhi Xue · 2024
Cited alongside, same era.
Scaling Symbolic Execution to Large Software Systems, August 2024
Gabor Horvath, Reka Kovacs, and Zoltan Porkolab · 2024
Cited alongside, same era.
Can large language models reason and plan?
Subbarao Kambhampati · 2024
Cited alongside, same era.
Avishree Khare, Saikat Dutta, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, and Mayur Naik · 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
Cited alongside, same era.
Embers of autoregression show how large language models are shaped by the problem they are trained to solve
R. Thomas McCoy, Shunyu Yao, Dan Friedman, Mathew D. Hardy, and Thomas L. Griffiths · 2024
Cited alongside, same era.
Junkai Chen, Zhiyuan Pan, Xing Hu, Zhenhao Li, Ge Li, and Xin Xia · 2025
Closest in time.
CodeQL: The libraries and queries that power security researchers around the world
GitHub · 2025
Closest in time.
About data flow analysis — CodeQL, 2025
Github (2025) · 2025
Closest in time.
Repoaudit: An autonomous llm-agent for repository-level code auditing
Jinyao Guo, Chengpeng Wang, Xiangzhe Xu, Zian Su, and Xiangyu Zhang · 2025
Closest in time.
A sober look at progress in language model reasoning: Pitfalls and paths to reproducibility
Andreas Hochlehnert, Hardik Bhatnagar, Vishaal Udandarao, Samuel Albanie, Ameya Prabhu, and Matthias Bethge · 2025
Closest in time.
ruben2020/codequery, March 2025
Ruben Kopathy · 2025
Closest in time.
Thanh Le-Cong, Bach Le, and Toby Murray · 2025
Closest in time.
Structured chain-of-thought prompting for code generation
Jia Li, Ge Li, Yongmin Li, and Zhi Jin · 2025
Closest in time.
Codei/o: Condensing reasoning patterns via code input-output prediction
Junlong Li, Daya Guo, Dejian Yang, Runxin Xu, Yu Wu, and Junxian He · 2025
Closest in time.
IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
Ziyang Li, Saikat Dutta, and Mayur Naik · 2025
Closest in time.
Generating API Parameter Security Rules with LLM for API Misuse Detection
Jinghua Liu, Yi Yang, Kai Chen, and Miaoqian Lin · 2025
Closest in time.
LAMD: Context-driven Android Malware Detection and Classification with LLMs
Xingzhi Qian, Xinran Zheng, Yiling He, Shuo Yang, and Lorenzo Cavallaro · 2025
Closest in time.
To Err is Machine: Vulnerability Detection Challenges LLM Reasoning, January 2025
Benjamin Steenhoek, Md Mahbubur Rahman, Monoshi Kumar Roy, Mirza Sanjida Alam, Hengbo Tong, Swarna Das, Earl T. Barr, and Wei Le · 2025
Closest in time.