Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to fuzzing, static analysis and program repair.
-
Updated
Jun 5, 2024 - Python
Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to fuzzing, static analysis and program repair.
ProveNFix is a program analysis/repair tool for temporal properties for C language.
A Systematic Literature Review on Large Language Models for Automated Program Repair
An attempt at detecting SStuBs using a pre-trained transformer and repairing them with a seq2seq model.
Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
Repository for the paper "T5APR: Empowering Automated Program Repair across Languages through Checkpoint Ensemble."
✅SRepair: Powerful LLM-based Program Repairer with $0.029/Fixed Bug
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments (IPAs)
Community-driven effort to facilitate discovery, access and systematization of data related to Large Language Models used for security perposes.
FixMorph is a morphing tool for C source codes which supports automated code-transfer
Security Vulnerability Repair via Concolic Execution and Code Mutations
A search-based automated program-repair tool for Java.
Automated program repair bibliography, tools and benchmarks.
An Empirical Study on Robustness of Neural Program Repair against Semantic Preserving Transformations
Software development bots for Github. Join the bot revolution! 🌟🤖🌟💞
Repilot, a patch generation tool introduced in the ESEC/FSE'23 paper "Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair"
Automatic program repair for Java with generate-and-validate techniques ✌️✌️: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)
Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (SANER'17)
Code and data for "Graph Neural Networks For Mapping Variables Between Programs", ECAI 2023.
Add a description, image, and links to the program-repair topic page so that developers can more easily learn about it.
To associate your repository with the program-repair topic, visit your repo's landing page and select "manage topics."