program-repair
There are 48 repositories under program-repair topic.
eclipse/repairnator
Software development bots for Github. Join the bot revolution! :star2::robot::star2::revolving_hearts:
SpoonLabs/astor
Automatic program repair for Java with generate-and-validate techniques :v::v:: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)
michiyasunaga/DrRepair
[ICML 2020] DrRepair: Learning to Repair Programs from Error Messages
ise-uiuc/Repilot
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"
michiyasunaga/BIFI
[ICML 2021] Break-It-Fix-It: Unsupervised Learning for Program Repair
pku-msv-lab/angelix
Semantic program repair system for C programs
SpoonLabs/nopol
Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
ASSERT-KTH/sorald
Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
program-repair/program-repair.github.io
Automated program repair bibliography, tools and benchmarks.
nus-apr/cerberus
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.
EhsanMashhadi/MSR2021-ProgramRepair
Code of our paper Applying CodeBERT for Automated Program Repair of Java Simple Bugs which is accepted to MSR 2021.
kusumotolab/kGenProg
A High-performance, High-extensibility and High-portability APR System
GhabiX/SRepair
✅SRepair: Powerful LLM-based Program Repairer with $0.029/Fixed Bug
iSEngLab/AwesomeLLM4APR
A Systematic Literature Review on Large Language Models for Automated Program Repair
rshariffdeen/CPR
CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of refining the patch to less over-fit the initial test cases.
rshariffdeen/FixMorph
FixMorph is a morphing tool for C source codes which supports automated code-transfer
xgdsmileboy/GenPat
This is an automated transformation inference tool that leverages a big code corpus to guide the abstraction of transformation patterns.
yuntongzhang/vulnfix
Program Vulnerability Repair via Inductive Inference
lyxell/logifix
Fixing static analysis violations in Java source code using Datalog
TruX-DTF/iFixR
Bug Report driven Program Repair
pku-msv-lab/f1x
Efficient patch generation engine for C/C++ programs
trailofbits/tourniquet
A Python library for easy and fast program transformation/repair
SpoonLabs/npefix
Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (SANER'17)
Spirals-Team/IntroClassJava
A dataset of Java bugs for automatic repair, derived from the C bugs of IntroClass
iSEngLab/LLM4VulFix
[2023 TDSC] Pre-trained Model-based Automated Software Vulnerability Repair: How Far are We?
rshariffdeen/PatchWeave
Automated Patch transplantation tool for C programs
tuhh-softsec/LLM4SecDev
Community-driven effort to facilitate discovery, access and systematization of data related to Large Language Models used for security perposes.
h4iku/T5APR
Repository for the paper "T5APR: Empowering Automated Program Repair across Languages through Checkpoint Ensemble."
nus-apr/CrashRepair
Security Vulnerability Repair via Concolic Execution and Code Mutations
pmorvalho/C-Pack-IPAs
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments (IPAs)
repairnator/open-science-repairnator
Open science data of the Repairnator project
h4iku/repairSStuBs
An attempt at detecting SStuBs using a pre-trained transformer and repairing them with a seq2seq model.
pmorvalho/MultIPAs
MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation
adam-sse/geneseer
A search-based automated program-repair tool for Java.
songyahui/infer_TempFix
ProveNFix is a program analysis/repair tool for temporal properties for C language.