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.

FixMorph

FixMorph is a morphing tool for C source codes which supports automated code-transfer

clang-tools

Tools to analyze and modify C/C++ source code

klee

KLEE Symbolic Execution Engine

arja

Multi-Objective GP for Automated Repair of Java

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)

bugscpp

A database of real-world C/C++ defaults to experiment in software engineering research

BugsInPy

BugsInPy: Benchmarking Bugs in Python Projects

bugswarm

cerberus

Program repair platform that provides interface to multiple state-of-the-art program repair tools

CIDFuzz

codellama

Inference code for CodeLlama models

Darjeeling

Language-independent, search-based program repair -- just your cup of tea! ☕

footpatch

fuzzbench

FuzzBench - Fuzzer benchmarking as a service.

grok-1

Grok open release

infer

A static analyzer for Java, C, C++, and Objective-C

klee-uclibc

KLEE's version of uClibc

libAST

Simple python module to traverse, search, and query an AST of C/C++ program built using Clang

llm-vul

nopol

Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.

PreciseBugs

repairllama

Efficient Representations and Fine-Tuned Adapters for Program Repair http://arxiv.org/abs/2312.15698

ruby-advisory-db

A database of vulnerable Ruby Gems

run_bug_run

The RunBugRun dataset of executable bugs

SAVER

SecBench.js

SelfAPR

repo of "SelfAPR: Self-supervised Program Repair with Test Execution Diagnostics" (ASE 22) https://oadoi.org/10.1145/3551349.3556926

SieveFuzz

Optimizing Directed Fuzzing via Target-tailored Program State Restriction

vul4j

Vul4J: A Dataset of Reproducible Java Vulnerabilities