Fetching the paper…
Reading the bibliography…
In recent years, more vulnerabilities have been discovered every day, while manual vulnerability repair requires specialized knowledge and is time-consuming.
Symbolic execution and program testing
James C King. 1976 · 1976
Earlier work this paper cites.
The art of software security assessment: Identifying and preventing software vulnerabilities
Mark Dowd, John McDonald, and Justin Schuh. 2006 · 2006
Earlier work this paper cites.
Oracle-guided component-based program synthesis. In Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering-Volume 1 . 215–224
Susmit Jha, Sumit Gulwani, Sanjit A Seshia, and Ashish Tiwari. 2010 · 2010
Earlier work this paper cites.
Where should the bugs be fixed? more accurate information retrieval-based bug localization based on bug reports. In 2012 34th International conference on software engineering (ICSE) . IEEE, 14–24
Jian Zhou, Hongyu Zhang, and David Lo. 2012 · 2012
Earlier work this paper cites.
Neural machine translation of rare words with subword units
Rico Sennrich. 2015 · 2015
Earlier work this paper cites.
Juliet 1.3 test suite: Changes from 1.2
Paul E Black. 2018 · 2018
Earlier work this paper cites.
Using safety properties to generate vulnerability patches. In 2019 IEEE symposium on security and privacy (SP) . IEEE, 539–554
Zhen Huang, David Lie, Gang Tan, and Trent Jaeger. 2019 · 2019
Earlier work this paper cites.
Vulnerability prioritization, root cause analysis, and mitigation of secure data analytic framework implemented with mongodb on singularity linux containers. In Proceedings of the 2020 4th International Conference on Compute and Data Analysis . 58–66
Akalanka Mailewa Dissanayaka, Susan Mengel, Lisa Gittner, and Hafiz Khan. 2020 · 2020
Earlier work this paper cites.
A C/C++ Code Vulnerability Dataset with Code Changes and CVE Summaries. In Proceedings of the 17th International Conference on Mining Software Repositories
Jiahao Fan, Yi Li, Shaohua Wang, and Tien N. Nguyen. 2020 · 2020
Earlier work this paper cites.
Codebert: A pre-trained model for programming and natural languages
Zhangyin Feng, Daya Guo, Duyu Tang, Nan Duan, Xiaocheng Feng, Ming Gong, Linjun Shou, Bing Qin, Ting Liu, Daxin Jiang, et al · 2020
Earlier work this paper cites.
CVEfixes: automated collection of vulnerabilities and their fixes from open-source software. In Proceedings of the 17th International Conference on Predictive Models and Data Analytics in Software Engineering . 30–39
Guru Bhandari, Amara Naseer, and Leon Moonen. 2021 · 2021
Earlier work this paper cites.
Evaluating large language models trained on code
Mark Chen, Jerry Tworek, Heewoo Jun, Qiming Yuan, Henrique Ponde De Oliveira Pinto, Jared Kaplan, Harri Edwards, Yuri Burda, Nicholas Joseph, Greg Brockman, et al · 2021
Earlier work this paper cites.
Beyond tests: Program vulnerability repair via crash constraint extraction
Xiang Gao, Bo Wang, Gregory J Duck, Ruyi Ji, Yingfei Xiong, and Abhik Roychoudhury. 2021 · 2021
Earlier work this paper cites.
Yue Wang, Weishi Wang, Shafiq Joty, and Steven CH Hoi. 2021 · 2021
Earlier work this paper cites.
Neural transfer learning for repairing security vulnerabilities in c code
Zimin Chen, Steve Kommrusch, and Martin Monperrus. 2022 · 2022
Earlier work this paper cites.
Seqtrans: automatic vulnerability fix via sequence to sequence learning
Jianlei Chi, Yu Qu, Ting Liu, Qinghua Zheng, and Heng Yin. 2022 · 2022
Earlier work this paper cites.
VulRepair: a T5-based automated software vulnerability repair. In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering . 935–947
Michael Fu, Chakkrit Tantithamthavorn, Trung Le, Van Nguyen, and Dinh Phung. 2022 · 2022
Earlier work this paper cites.
Unixcoder: Unified cross-modal pre-training for code representation
Daya Guo, Shuai Lu, Nan Duan, Yanlin Wang, Ming Zhou, and Jian Yin. 2022 · 2022
Earlier work this paper cites.
Chain-of-thought prompting elicits reasoning in large language models
Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Fei Xia, Ed Chi, Quoc V Le, Denny Zhou, et al · 2022
Earlier work this paper cites.
Evaluation of chatgpt model for vulnerability detection
Anton Cheshkov, Pavel Zadorozhny, and Rodion Levichev. 2023 · 2023
Earlier work this paper cites.
Chatgpt for vulnerability detection, classification, and repair: How far are we?. In 2023 30th Asia-Pacific Software Engineering Conference (APSEC) . IEEE, 632–636
Michael Fu, Chakkrit Kla Tantithamthavorn, Van Nguyen, and Trung Le. 2023 · 2023
Cited alongside, same era.
Large language models for software engineering: A systematic literature review
Xinyi Hou, Yanjie Zhao, Yue Liu, Zhou Yang, Kailong Wang, Li Li, Xiapu Luo, David Lo, John Grundy, and Haoyu Wang. 2023 · 2023
Cited alongside, same era.
Swe-bench: Can language models resolve real-world github issues?
Carlos E Jimenez, John Yang, Alexander Wettig, Shunyu Yao, Kexin Pei, Ofir Press, and Karthik Narasimhan. 2023 · 2023
Cited alongside, same era.
Explainable automated debugging via large language model-driven scientific debugging
Sungmin Kang, Bei Chen, Shin Yoo, and Jian-Guang Lou. 2023 · 2023
Cited alongside, same era.
A Survey on Large Language Models for Code Generation
Juyong Jiang, Fan Wang, Jiasi Shen, Sungju Kim, and Sunghun Kim. 2024 · 2024
Later among the works it cites.
CodexGraph: Bridging Large Language Models and Code Repositories via Code Graph Databases
Xiangyan Liu, Bo Lan, Zhiyuan Hu, Yang Liu, Zhicheng Zhang, Wenmeng Zhou, Fei Wang, and Michael Shieh. 2024b · 2024
Later among the works it cites.
MarsCode Agent: AI-native Automated Bug Fixing
Yizhou Liu, Pengfei Gao, Xinchen Wang, Chao Peng, and Zhao Zhang. 2024a · 2024
Later among the works it cites.
ARVO: Atlas of Reproducible Vulnerabilities for Open Source Software
Xiang Mei, Pulkit Singh Singaria, Jordi Del Castillo, Haoran Xi, Abdelouahab, Benchikh, Tiffany Bao, Ruoyu Wang, Yan Shoshitaishvili, Adam Doupé, Hammond Pearce, and Brendan Dolan-Gavitt. 2024 · 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…
Vulgen: Realistic vulnerability generation via pattern mining and deep learning. In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) . IEEE, 2527–2539
Yu Nong, Yuzhe Ou, Michael Pradel, Feng Chen, and Haipeng Cai. 2023 · 2023
Cited alongside, same era.
Examining zero-shot vulnerability repair with large language models. In 2023 IEEE Symposium on Security and Privacy (SP) . IEEE, 2339–2356
Hammond Pearce, Benjamin Tan, Baleegh Ahmad, Ramesh Karri, and Brendan Dolan-Gavitt. 2023 · 2023
Cited alongside, same era.
Creator: Tool creation for disentangling abstract and concrete reasoning of large language models
Cheng Qian, Chi Han, Yi R Fung, Yujia Qin, Zhiyuan Liu, and Heng Ji. 2023 · 2023
Cited alongside, same era.
Automated program repair in the era of large pre-trained language models. In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)
Chunqiu Steven Xia, Yuxiang Wei, and Lingming Zhang. 2023 · 2023
Cited alongside, same era.
Keep the Conversation Going: Fixing 162 out of 337 bugs for $0.42 each using ChatGPT
Chunqiu Steven Xia and Lingming Zhang. 2023 · 2023
Cited alongside, same era.
Repocoder: Repository-level code completion through iterative retrieval and generation
Fengji Zhang, Bei Chen, Yue Zhang, Jacky Keung, Jin Liu, Daoguang Zan, Yi Mao, Jian-Guang Lou, and Weizhu Chen. 2023 · 2023
Cited alongside, same era.
2023 Vulnerability Statistics Report
2024 · 2024
Cited alongside, same era.
CVE Details - Vulnerability and Exploit Database
2024 · 2024
Cited alongside, same era.
CVE-2016-10094 - National Vulnerability Database
National Institute of Standards and Technology (NIST). 2016a · 2024
Later among the works it cites.
CVE-2016-3623 - National Vulnerability Database
National Institute of Standards and Technology (NIST). 2016b · 2024
Later among the works it cites.
CVE-2016-5321 - National Vulnerability Database
National Institute of Standards and Technology (NIST). 2016c · 2024
Later among the works it cites.
Software Assurance Reference Dataset (SARD)
National Institute of Standards and Technology (NIST). 2024 · 2024
Later among the works it cites.
NExT: Teaching Large Language Models to Reason about Code Execution
Ansong Ni, Miltiadis Allamanis, Arman Cohan, Yinlin Deng, Kensen Shi, Charles Sutton, and Pengcheng Yin. 2024 · 2024
Later among the works it cites.
OpenAI: Discover the Future of Artificial Intelligence
OpenAI. 2024 · 2024
Later among the works it cites.
Enhancing Repository-Level Code Generation with Integrated Contextual Information
Zhiyuan Pan, Xing Hu, Xin Xia, and Xiaohu Yang. 2024 · 2024
Later among the works it cites.
ProveNFix: Temporal Property-Guided Program Repair
Yahui Song, Xiang Gao, Wenhua Li, Wei-Ngan Chin, and Abhik Roychoudhury. 2024 · 2024
Later among the works it cites.
LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs’ Vulnerability Reasoning
Yuqiang Sun, Daoyuan Wu, Yue Xue, Han Liu, Wei Ma, Lyuye Zhang, Miaolei Shi, and Yang Liu. 2024 · 2024
Later among the works it cites.
libtiff: TIFF Library and Utilities
Vadim Zaliva and other contributors. 2023 · 2024
Later among the works it cites.
Thinkrepair: Self-directed automated program repair. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis . 1274–1286
Xin Yin, Chao Ni, Shaohua Wang, Zhenhao Li, Limin Zeng, and Xiaohu Yang. 2024 · 2024
Later among the works it cites.
Prompt-enhanced software vulnerability detection using chatgpt. In Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings . 276–277
Chenyuan Zhang, Hao Liu, Jiutian Zeng, Kejing Yang, Yuhong Li, and Hui Li. 2024b · 2024
Later among the works it cites.
LLM-based Unit Test Generation via Property Retrieval
Zhe Zhang, Xingyu Liu, Yuanzhang Lin, Xiang Gao, Hailong Sun, and Yuan Yuan. 2024a · 2024
Later among the works it cites.
Expel: Llm agents are experiential learners. In Proceedings of the AAAI Conference on Artificial Intelligence , Vol. 38. 19632–19642
Andrew Zhao, Daniel Huang, Quentin Xu, Matthieu Lin, Yong-Jin Liu, and Gao Huang. 2024 · 2024
Later among the works it cites.
LLM4CVE: Enabling Iterative Automated Vulnerability Repair with Large Language Models
Mohamad Fakih, Rahul Dharmaji, Halima Bouzidi, Gustavo Quiros Araya, Oluwatosin Ogundare, and Mohammad Abdullah Al Faruque. 2025 · 2025
Closest in time.