Fetching the paper…
Reading the bibliography…
Code auditing is the process of reviewing code with the aim of identifying bugs.
Symbolic execution and program testing
James C. King · 1976
Earlier work this paper cites.
The program dependence graph and its use in optimization
Jeanne Ferrante, Karl J Ottenstein, and Joe D Warren · 1984
Earlier work this paper cites.
Model checking
Edmund M Clarke · 1997
Earlier work this paper cites.
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
Cristian Cadar, Daniel Dunbar, and Dawson R. Engler · 2008
Earlier work this paper cites.
Z3: an efficient SMT solver
Leonardo Mendonça de Moura and Nikolaj Bjørner · 2008
Earlier work this paper cites.
Compositional shape analysis by means of bi-abduction
Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn, and Hongseok Yang · 2009
Earlier work this paper cites.
Real-time complex event recognition and reasoning–a logic programming approach
Darko Anicic, Sebastian Rudolph, Paul Fodor, and Nenad Stojanovic · 2012
Earlier work this paper cites.
Why don’t software developers use static analysis tools to find bugs?
Brittany Johnson, Yoonki Song, Emerson R. Murphy-Hill, and Robert W. Bowdidge · 2013
Earlier work this paper cites.
Pointer analysis
Yannis Smaragdakis, George Balatsouras, et al · 2015
Earlier work this paper cites.
SVF: interprocedural static value-flow analysis in LLVM
Yulei Sui and Jingling Xue · 2016
Earlier work this paper cites.
QL: object-oriented queries on relational data
Pavel Avgustinov, Oege de Moor, Michael Peyton Jones, and Max Schäfer · 2016
Earlier work this paper cites.
Machine-learning-guided selectively unsound static analysis
Kihong Heo, Hakjoo Oh, and Kwangkeun Yi · 2017
Earlier work this paper cites.
Pinpoint: Fast and precise sparse value flow analysis for million lines of code
Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, and Charles Zhang · 2018
Earlier work this paper cites.
A C/C++ code vulnerability dataset with code changes and cve summaries
Jiahao Fan, Yi Li, Shaohua Wang, and Tien N Nguyen · 2020
Earlier work this paper cites.
CodeT5: Identifier-aware unified pre-trained encoder-decoder models for code understanding and generation
Yue Wang, Weishi Wang, Shafiq R. Joty, and Steven C. H. Hoi · 2021
Earlier work this paper cites.
ARBITRAR: user-guided API misuse detection
Ziyang Li, Aravind Machiry, Binghong Chen, Mayur Naik, Ke Wang, and Le Song · 2021
Cited alongside, same era.
Path-sensitive sparse analysis without path conditions
Qingkai Shi, Peisen Yao, Rongxin Wu, and Charles Zhang · 2021
Cited alongside, same era.
Code llama: Open foundation models for code
Baptiste Rozière, Jonas Gehring, Fabian Gloeckle, Sten Sootla, Itai Gat, Xiaoqing Ellen Tan, Yossi Adi, Jingyu Liu, Tal Remez, Jérémy Rapin, Artyom Kozhevnikov, Ivan Evtimov, Joanna Bitton, Manish Bhatt, Cristian Canton-Ferrer, Aaron Grattafiori, Wenhan Xiong, Alexandre Défossez, Jade Copet, Faisal Azhar, Hugo Touvron, Louis Martin, Nicolas Usunier, Thomas Scialom, and Gabriel Synnaeve · 2023
Cited alongside, same era.
Grounded copilot: How programmers interact with code-generating models
Shraddha Barke, Michael B James, and Nadia Polikarpova · 2023
Cited alongside, same era.
E&v: Prompting large language models to perform is by pseudo-code execution and verification
Gptscan: Detecting logic vulnerabilities in smart contracts by combining gpt with program analysis
Yuqiang Sun, Daoyuan Wu, Yue Xue, Han Liu, Haijun Wang, Zhengzi Xu, Xiaofei Xie, and Yang Liu · 2024
Later among the works it cites.
Detecting bugs with substantial monetary consequences by llm and rule-based reasoning
Brian Zhang and Zhuo Zhang · 2024
Later among the works it cites.
Generative multi-modal knowledge retrieval with large language models
Xinwei Long, Jiali Zeng, Fandong Meng, Zhiyuan Ma, Kaiyan Zhang, Bowen Zhou, and Jie Zhou · 2024
Later among the works it cites.
Chatdev: Communicative agents for software development
Chen Qian, Wei Liu, Hongzhang Liu, Nuo Chen, Yufan Dang, Jiahao Li, Cheng Yang, Weize Chen, Yusheng Su, Xin Cong, et al · 2024
Later among the works it cites.
Aixin Liu, Bei Feng, Bing Xue, Bingxuan Wang, Bochao Wu, Chengda Lu, Chenggang Zhao, Chengqi Deng, Chenyu Zhang, Chong Ruan, 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…
Yu Hao, Weiteng Chen, Ziqiao Zhou, and Weidong Cui · 2023
Cited alongside, same era.
Camel: Communicative agents for” mind” exploration of large language model society
Guohao Li, Hasan Hammoud, Hani Itani, Dmitrii Khizbullin, and Bernard Ghanem · 2023
Cited alongside, same era.
OpenAI · 2023
Cited alongside, same era.
Needle in a haystack - pressure testing LLMs, 2023
Greg Kamradt · 2023
Cited alongside, same era.
SatLM: Satisfiability-aided language models using declarative prompting
Xi Ye, Qiaochu Chen, Isil Dillig, and Greg Durrett · 2023
Cited alongside, same era.
Diversevul: A new vulnerable source code dataset for deep learning based vulnerability detection
Yizheng Chen, Zhoujie Ding, Lamya Alowain, Xinyun Chen, and David Wagner · 2023
Cited alongside, same era.
Deepseek-coder: When the large language model meets programming–the rise of code intelligence
Daya Guo, Qihao Zhu, Dejian Yang, Zhenda Xie, Kai Dong, Wentao Zhang, Guanting Chen, Xiao Bi, Yu Wu, YK Li, et al · 2024
Cited alongside, same era.
SIRO: empowering version compatibility in intermediate representations via program synthesis
Bowen Zhang, Wei Chen, Peisen Yao, Chengpeng Wang, Wensheng Tang, and Charles Zhang · 2024
Cited alongside, same era.
Abhimanyu Dubey, Abhinav Jauhri, Abhinav Pandey, Abhishek Kadian, Ahmad Al-Dahle, Aiesha Letman, Akhil Mathur, Alan Schelten, Amy Yang, Angela Fan, et al · 2024
Later among the works it cites.
Qwen2.5-coder technical report
Binyuan Hui, Jian Yang, Zeyu Cui, Jiaxi Yang, Dayiheng Liu, Lei Zhang, Tianyu Liu, Jiajun Zhang, Bowen Yu, Keming Lu, et al · 2024
Later among the works it cites.
Yarn: Efficient context window extension of large language models
Bowen Peng, Jeffrey Quesnelle, Honglu Fan, and Enrico Shippole · 2024
Later among the works it cites.
Raisin: Identifying rare sensitive functions for bug detection
Jianjun Huang, Jianglei Nie, Yuanjun Gong, Wei You, Bin Liang, and Pan Bian · 2024
Later among the works it cites.
Top score on the wrong exam: On benchmarking in machine learning for vulnerability detection
Niklas Risse and Marcel Böhme · 2024
Later among the works it cites.
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.
Infer Static Analyzer
Meta · 2025
Closest in time.
Code Review Tool: Amazon CodeGuru Security
Amazon · 2025
Closest in time.
Large language models for validating network protocol parsers, 2025
Mingwei Zheng, Danning Xie, and Xiangyu Zhang · 2025
Closest in time.
Validating network protocol parsers with traceable rfc document interpretation
Mingwei Zheng, Danning Xie, Qingkai Shi, Chengpeng Wang, and Xiangyu Zhang · 2025
Closest in time.