Repositories list

• depclean

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

  bytecodemaven-plugindependencies+ 3bloatwaredebloatingjava

  Java

  •

  MIT License

  •30•263•13•8•Updated Feb 25, 2025Feb 25, 2025

• repairbench-framework

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

  Python

  •6•18•11•5•Updated Feb 25, 2025Feb 25, 2025

• spork

  Public
  AST-based structured merge tool for Java, fully Git compatible https://doi.org/10.1109/TSE.2022.3143766

  Java

  •

  MIT License

  •9•58•24•3•Updated Feb 25, 2025Feb 25, 2025

• repairbench-cache

  Public
  repo for caching repairbench evaluations

  0•0•0•0•Updated Feb 25, 2025Feb 25, 2025

• deptrim

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

  bytecodemaven-plugindependencies+ 2specializationjava

  Java

  •

  MIT License

  •2•13•1•10•Updated Feb 23, 2025Feb 23, 2025

• collector-sahab

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

  HTML

  •

  The Unlicense

  •2•9•9•8•Updated Feb 21, 2025Feb 21, 2025

• sorald

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

  sonarqubeprogram-repairkth+ 2ssfsonarjava

  Java

  •

  MIT License

  •27•93•50•12•Updated Feb 21, 2025Feb 21, 2025

• toady

  Public
  research project about the importance of humor in science

  0•4•0•0•Updated Feb 21, 2025Feb 21, 2025

• lighthouse

  Public
  Ethereum consensus client in Rust

  Rust

  •

  Apache License 2.0

  •808•0•0•0•Updated Feb 21, 2025Feb 21, 2025

• kurtosis

  Public
  A platform for packaging and launching ephemeral backend stacks with a focus on approachability for the average developer.

  Go

  •

  Apache License 2.0

  •65•0•0•0•Updated Feb 21, 2025Feb 21, 2025

• java-extractor

  Public
  Code Extractor for Java

  Java

  •

  MIT License

  •0•0•2•0•Updated Feb 21, 2025Feb 21, 2025

• flacoco

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

  javacoveragelocalization-tool+ 2hacktoberfestfault-localization

  Java

  •

  MIT License

  •15•29•31•4•Updated Feb 21, 2025Feb 21, 2025

• repairllama

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

  repairllamalora+ 3aprllmscodellama

  Jupyter Notebook

  •7•32•1•0•Updated Feb 20, 2025Feb 20, 2025

• provable-benchmark

  Public
  execution with proofs, master's thesis Gustav Henningsson

  Rust

  •0•0•0•0•Updated Feb 17, 2025Feb 17, 2025

• repairbench

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

  Jupyter Notebook

  •2•8•6•0•Updated Feb 17, 2025Feb 17, 2025

• assert-gold-mine

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

  6•21•2•0•Updated Feb 17, 2025Feb 17, 2025

• Vecogen

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

  C

  •1•3•0•0•Updated Feb 3, 2025Feb 3, 2025

• sb-heists

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

  Solidity

  •

  MIT License

  •2•9•0•0•Updated Jan 27, 2025Jan 27, 2025

• SolidityStrikeHive

  Public
  SSH exploit@chain. Harald Hobbelhagen's master's thesis.

  Solidity

  •0•1•1•0•Updated Jan 25, 2025Jan 25, 2025

• DepPrune

  Public
  DepPrune is a tool to debloat npm dependencies through dynamic analysis.

  Python

  •0•2•0•0•Updated Jan 16, 2025Jan 16, 2025

• dissection

  Public
  Code for dissecting benchmarks

  Python

  •0•1•0•0•Updated Jan 16, 2025Jan 16, 2025

• .github

  Public
  telepathy for github

  0•0•0•0•Updated Jan 11, 2025Jan 11, 2025

• Galapagos

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

  LLVM

  •

  MIT License

  •0•1•0•0•Updated Jan 7, 2025Jan 7, 2025

• run_bug_run

  Public
  The RunBugRun dataset of executable bugs

  Ruby

  •5•0•0•0•Updated Dec 18, 2024Dec 18, 2024

• human-eval-java

  Public
  A fork of HumanEval-Java from the paper "Impact of Code Language Models on Automated Program Repair"

  Java

  •2•11•1•0•Updated Dec 11, 2024Dec 11, 2024

• Elysium

  Public
  A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).

  JavaScript

  •8•0•0•0•Updated Dec 9, 2024Dec 9, 2024

• SmartShield

  Public
  Automated bytecode rectification system to fix three typical security-related bugs in Ethereum Smart Contract.

  Python

  •0•0•0•0•Updated Dec 9, 2024Dec 9, 2024

• assert-kth.github.io

  Public
  double u double u double u

  HTML

  •

  Other

  •0•0•0•0•Updated Nov 15, 2024Nov 15, 2024

• pankti

  Public
  Generating tests from production workloads http://arxiv.org/pdf/2012.01198

  javamonitoringsoftware-testing+ 2test-generationrick-testing

  Java

  •

  MIT License

  •6•18•6•0•Updated Nov 1, 2024Nov 1, 2024

• smartbugs-curated

  Public
  SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate the accuracy of automated analysis tools.

  Solidity

  •

  Apache License 2.0

  •22•0•0•0•Updated Oct 17, 2024Oct 17, 2024