ASSERT

ASSERT's repositories

depclean

DepClean automatically detects and removes unused dependencies in Maven projects 🔗 https://dx.doi.org/10.1007/s10664-020-09914-8)

Language:JavaMIT303 7 83

sorald

Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033

Language:JavaMIT97 5 278

repairllama

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

Language:Jupyter Notebook36 4 9

flacoco

FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513

Language:JavaMIT33 6 87

repairbench-framework

Automatic Repair Framework with LLMs ❤️ https://arxiv.org/pdf/2409.18952

Language:Python23 3 42

assert-gold-mine

This is an informal repo for ASSERT teammates to share awesome stuff.

21 80

deptrim

DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370

Language:JavaMIT15 11 17

sb-heists

scientific dataset of smart contract exploits see paper http://arxiv.org/pdf/2501.04600

Language:SolidityMIT12 11 30

repairbench

Leaderboard of Frontier Models for Program Repair https://repairbench.github.io/

Language:Jupyter Notebook11 9 11

collector-sahab

Augmenting Diffs With Runtime Information, TSE 2023 http://arxiv.org/pdf/2212.11077

Language:HTMLUnlicense10 2 83

UPPERCASE_IS_ALL_YOU_NEED

SIGBOVIK 2025

Language:Jupyter NotebookMIT8 20

Vecogen

generating formally verified C code with LLMs (thesis Merlijn Sevenhuijsen) http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-356745

Language:C8 20

Mokav

Generating difference exposing tests in Python http://arxiv.org/pdf/2406.10375

Language:Python6 1 4

prodj

Serializing Java Objects in Plain Code http://arxiv.org/pdf/2405.11294

Language:JavaMIT3 8 2

verifiable-client-diversity

A few more cents per minority client

300

CodeRepairRL

Reinforcement Fine-Tuning

Language:Python2 20

dfhl-invariants

Invariants to stop attacks (Humaira's Internship)

Language:SolidityMIT100

FLAMES

Require on fire

Language:Jupyter Notebook100

Galapagos

N-version programming without humans https://arxiv.org/pdf/2408.09536

Language:LLVMMIT1 2 19

claude-agent-sdk-python

patched claude code sdk

Language:PythonMIT000

claude-code-sdk-python

claude code sdk patched

Language:PythonMIT000

code-embedding-difference

a patch is a move in the embedding space

Language:Jupyter Notebook000

java-extractor

Code Extractor for Java from the Dark Side

Language:JavaMIT09 2

lighthouse

Our fork of Lighthouse

Language:RustApache-2.0000

Proof-of-Patch

a patch is a proof of exploit mitigation

Language:Solidity000

QuantizedSAE

Extreme Quantization for Sparse Autoencoders (thesis Han Tu)

Language:Python090

RASPing

RASP repair (thesis Gustav Thorén)

Language:Jupyter Notebook09 1

RepairComp

Comparison of APR tools for smart contracts in Solidity https://arxiv.org/pdf/2501.04600

Language:SolidityMIT09 6

trl

Our fork of TRL

Language:PythonApache-2.0000

VeriSet

Dataset of Solidity proof-of-concept exploits (thesis Linus)

Language:HTML000