Fetching the paper…
Reading the bibliography…
Static analysis tools are traditionally used to detect and flag programs that violate properties.
Anti-Unification for Unranked Terms and Hedges. In Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia (LIPIcs, Vol. 10) , Manfred Schmidt-Schauß (Ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 219–234
Temur Kutsia, Jordi Levy, and Mateu Villaret. 2011 · 2011
Earlier work this paper cites.
A Systematic Study of Automated Program Repair: Fixing 55 out of 105 Bugs for $8 Each. In Proceedings of the 34th International Conference on Software Engineering (Zurich, Switzerland) (ICSE ’12) . IEEE Press, Piscataway, NJ, USA, 3–13
Claire Le Goues, Michael Dewey-Vogt, Stephanie Forrest, and Westley Weimer. 2012 · 2012
Earlier work this paper cites.
Repairing Programs with Semantic Code Search (T). In Proceedings of the 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) (ASE ’15) . IEEE Computer Society, Washington, DC, USA, 295–306
Yalin Ke, Kathryn T. Stolee, Claire Le Goues, and Yuriy Brun. 2015 · 2015
Earlier work this paper cites.
QL: Object-oriented Queries on Relational Data. In 30th European Conference on Object-Oriented Programming (ECOOP 2016) (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 56) , Shriram Krishnamurthi and Benjamin S. Lerner (Eds.). Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2:1–2:25
Pavel Avgustinov, Oege de Moor, Michael Peyton Jones, and Max Schäfer. 2016 · 2016
Earlier work this paper cites.
BovInspector: Automatic inspection and repair of buffer overflow vulnerabilities. In 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE) . IEEE Computer Society, Los Alamitos, CA, USA, 786–791
F. Gao, L. Wang, and X. Li. 2016 · 2016
Earlier work this paper cites.
Automatic Patch Generation by Learning Correct Code. In Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (St. Petersburg, FL, USA) (POPL ’16) . ACM, New York, NY, USA, 298–312
Fan Long and Martin Rinard. 2016 · 2016
Earlier work this paper cites.
CDRep: Automatic Repair of Cryptographic Misuses in Android Applications. In Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security (Xi’an, China) (ASIA CCS ’16) . Association for Computing Machinery, New York, NY, USA, 711–722
Siqi Ma, David Lo, Teng Li, and Robert H. Deng. 2016 · 2016
Earlier work this paper cites.
Automatic Software Repair: A Survey
L. Gazzola, D. Micucci, and L. Mariani. 2019 · 2017
Earlier work this paper cites.
Automatic Inference of Code Transforms for Patch Generation. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering (Paderborn, Germany) (ESEC/FSE 2017) . Association for Computing Machinery, New York, NY, USA, 727–739
Fan Long, Peter Amidon, and Martin Rinard. 2017 · 2017
Earlier work this paper cites.
VuRLE: Automatic Vulnerability Detection and Repair by Learning from Examples. In Computer Security – ESORICS 2017 , Simon N. Foley, Dieter Gollmann, and Einar Snekkenes (Eds.). Springer International Publishing, Cham, 229–246
Siqi Ma, Ferdian Thung, David Lo, Cong Sun, and Robert H. Deng. 2017 · 2017
Earlier work this paper cites.
Learning Syntactic Program Transformations from Examples. In ICSE 2017 (icse 2017 ed.)
Reudismam Rolim, Gustavo Soares, Loris D’Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, and Björn Hartmann. 2017 · 2017
Earlier work this paper cites.
Leveraging Syntax-related Code for Automated Program Repair. In Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering (Urbana-Champaign, IL, USA) (ASE 2017) . IEEE Press, Piscataway, NJ, USA, 660–670
Qi Xin and Steven P. Reiss. 2017 · 2017
Earlier work this paper cites.
Precise Condition Synthesis for Program Repair. In Proceedings of the 39th International Conference on Software Engineering (Buenos Aires, Argentina) (ICSE ’17) . IEEE Press, Piscataway, NJ, USA, 416–426
Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, and Lu Zhang. 2017 · 2017
Earlier work this paper cites.
Prototype Pollution Attack in NodeJS Application
Olivier Arteau. 2018 · 2018
Earlier work this paper cites.
Mining Fix Patterns for FindBugs Violations
K. Liu, D. Kim, T. F. Bissyande, S. Yoo, and Y. Le Traon. 2018 · 2018
Earlier work this paper cites.
Static Automated Program Repair for Heap Properties. In Proceedings of the 40th International Conference on Software Engineering (Gothenburg, Sweden) (ICSE ’18) . ACM, New York, NY, USA, 151–162
Rijnard van Tonder and Claire Le Goues. 2018 · 2018
Cited alongside, same era.
Getafix: Learning to Fix Bugs Automatically
Johannes Bader, Andrew Scott, Michael Pradel, and Satish Chandra. 2019 · 2019
Cited alongside, same era.
Phoenix: Automated Data-Driven Synthesis of Repairs for Static Analysis Violations. In Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (Tallinn, Estonia) (ESEC/FSE 2019) . Association for Computing Machinery, New York, NY, USA, 613–624
Rohan Bavishi, Hiroaki Yoshida, and Mukul R. Prasad. 2019 · 2019
Cited alongside, same era.
Using Safety Properties to Generate Vulnerability Patches. In 2019 IEEE Symposium on Security and Privacy (SP) . 539–554
Zhen Huang, David Lie, Gang Tan, and Trent Jaeger. 2019 · 2019
Cited alongside, same era.
Yue Wang, Weishi Wang, Shafiq R. Joty, and Steven C. H. Hoi. 2021 · 2021
Later among the works it cites.
Break-It-Fix-It: Unsupervised Learning for Program Repair. In International Conference on Machine Learning (ICML)
Michihiro Yasunaga and Percy Liang. 2021 · 2021
Later among the works it cites.
Arbitrary file write during zip extraction (Zip Slip)
[n. d.] · 2022
Later among the works it cites.
CodeQL AST Types
[n. d.] · 2022
Later among the works it cites.
Cross-Site-Scripting
[n. d.] · 2022
Later among the works it cites.
FindBugs Project
[n. d.] · 2022
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations. In Proceedings of the 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering . IEEE, 456–467
Kui Liu, Anil Koyuncu, Dongsun Kim, and Tegawendé F. Bissyandé. 2019 · 2019
Cited alongside, same era.
Automatically Generating Fix Suggestions in Response to Static Code Analysis Warnings. In 2019 IEEE 19th International Working Conference on Source Code Analysis and Manipulation (SCAM) . IEEE Computer Society, Los Alamitos, CA, USA, 34–44
D. Marcilio, C. A. Furia, R. Bonifacio, and G. Pinto. 2019 · 2019
Cited alongside, same era.
The Living Review on Automated Program Repair. (Dec. 2020)
Martin Monperrus. 2020 · 2020
Cited alongside, same era.
Liquid Information Flow Control
Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, and Armando Solar-Lezama. 2020 · 2020
Cited alongside, same era.
Graph-based, Self-Supervised Program Repair from Diagnostic Feedback
Michihiro Yasunaga and Percy Liang. 2020 · 2020
Cited alongside, same era.
Self-Supervised Bug Detection and Repair. In NeurIPS
Miltiadis Allamanis, Henry Jackson-Flux, and Marc Brockschmidt. 2021 · 2021
Cited alongside, same era.
Evaluating Large Language Models Trained on Code
Mark Chen, Jerry Tworek, Heewoo Jun, Qiming Yuan, Henrique Ponde de Oliveira Pinto, Jared Kaplan, Harrison Edwards, Yuri Burda, Nicholas Joseph, Greg Brockman, Alex Ray, Raul Puri, Gretchen Krueger, Michael Petrov, Heidy Khlaaf, Girish Sastry, Pamela Mishkin, Brooke Chan, Scott Gray, Nick Ryder, Mikhail Pavlov, Alethea Power, Lukasz Kaiser, Mohammad Bavarian, Clemens Winter, Philippe Tillet, Felipe Petroski Such, Dave Cummings, Matthias Plappert, Fotios Chantzis, Elizabeth Barnes, Ariel Herbert-Voss, William Hebgen Guss, Alex Nichol, Alex Paino, Nikolas Tezak, Jie Tang, Igor Babuschkin, Suchir Balaji, Shantanu Jain, William Saunders, Christopher Hesse, Andrew N. Carr, Jan Leike, Joshua Achiam, Vedant Misra, Evan Morikawa, Alec Radford, Matthew Knight, Miles Brundage, Mira Murati, Katie Mayer, Peter Welinder, Bob McGrew, Dario Amodei, Sam McCandlish, Ilya Sutskever, and Wojciech Zaremba. 2021 · 2021
Cited alongside, same era.
HyperGI: Automated Detection and Repair of Information Flow Leakage
Ibrahim Mesecan, Daniel Blackwell, David Clark, Myra Cohen, and Justyna Petke. 2021 · 2021
Cited alongside, same era.
Null Dereferencing
[n. d.] · 2022
Later among the works it cites.
Reflected cross-site scripting
[n. d.] · 2022
Later among the works it cites.
SonarQube
[n. d.] · 2022
Later among the works it cites.
SQL Injection
[n. d.] · 2022
Later among the works it cites.
Uncontrolled data used in path expression (Tainted Path)
[n. d.] · 2022
Later among the works it cites.
Practical Program Repair in the Era of Large Pre-trained Language Models
Chun Xia, Yuxiang Wei, and Lingming Zhang. 2022 · 2022
Later among the works it cites.
Overwatch: Learning Patterns in Code Edit Sequences
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, and Ashish Tiwari. 2022a · 2022
Later among the works it cites.
Examining Zero-Shot Vulnerability Repair with Large Language Models. In 2023 2023 IEEE Symposium on Security and Privacy (SP) (SP) . IEEE Computer Society, Los Alamitos, CA, USA, 1–18
H. Pearce, B. Tan, B. Ahmad, R. Karri, and B. Dolan-Gavitt. 2023 · 2023
Closest in time.