Repositories list

• npefix

  Public
  Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (SANER'17)

  open-scienceprogram-repair

  Java

  •9•14•11•0•Updated Nov 3, 2024Nov 3, 2024

• gumtree-spoon-ast-diff

  Public
  Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees

  Java

  •

  Apache License 2.0

  •42•161•29•0•Updated Nov 3, 2024Nov 3, 2024

• spoon-deploy

  Public
  Continuous delivery for Spoon

  Shell

  •1•0•0•0•Updated Nov 1, 2024Nov 1, 2024

• spoon-maven-plugin

  Public
  A Maven plugin to run the Spoon analysis and transformation engine for Java

  Java

  •

  GNU Lesser General Public License v3.0

  •19•19•4•10•Updated Oct 25, 2024Oct 25, 2024

• nopol

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

  program-repairpatch-generationsmt

  Java

  •

  GNU General Public License v2.0

  •40•97•20•1•Updated Oct 14, 2024Oct 14, 2024

• spoon-ci-config

  Public
  The CI configuration of the Spoon project

  Python

  •1•0•0•0•Updated Aug 8, 2024Aug 8, 2024

• nopol-experiments

  Public
  Open-science repository for the evaluation of the TSE paper about Nopol

  Java

  •0•4•0•0•Updated Aug 8, 2024Aug 8, 2024

• astor

  Public
  Automatic program repair for Java with generate-and-validate techniques ✌️✌️: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)

  dynamic-analysisrepairprogram-repair+ 4patchkthinriapatch-generation

  Java

  •

  GNU General Public License v2.0

  •106•206•74•0•Updated Aug 7, 2024Aug 7, 2024

• assertj

  Public
  AssertJ is a library providing easy to use rich typed assertions

  Java

  •

  Apache License 2.0

  •700•0•0•0•Updated Aug 5, 2024Aug 5, 2024

• Bukkit

  Public
  The Minecraft Mod API

  Java

  •

  GNU General Public License v3.0

  •1.1k•0•0•0•Updated Aug 5, 2024Aug 5, 2024

• JWT4B

  Public
  JWT Support for Burp

  Java

  •

  GNU General Public License v3.0

  •46•0•0•0•Updated Aug 5, 2024Aug 5, 2024

• mimecraft-jdk17

  Public
  Utility for creating RFC-compliant multipart and form-encoded HTTP request bodies.

  Java

  •

  Apache License 2.0

  •31•0•0•0•Updated Aug 5, 2024Aug 5, 2024

• DiskLruCache

  Public
  Java implementation of a Disk-based LRU cache which specifically targets Android compatibility.

  Java

  •

  Apache License 2.0

  •1.2k•0•0•0•Updated Aug 5, 2024Aug 5, 2024

• coming

  Public
  A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast analysis

  kthmining-software-repositoriesinria+ 1ast-analysis

  Java

  •

  MIT License

  •33•92•28•0•Updated May 30, 2024May 30, 2024

• SpoonLabs.github.io

  Public
  The HTML pages of the Spoon website, produced from the docs folder in the main repo

  HTML

  •

  GNU General Public License v2.0

  •2•2•1•0•Updated Apr 3, 2024Apr 3, 2024

• .github

  Public
  0•0•0•0•Updated May 30, 2023May 30, 2023

• spoon-dependencies

  Public
  Dependencies for Spoon modules for which there is no serious artifact repository

  0•0•0•0•Updated May 6, 2023May 6, 2023

• spoon-gradle-plugin

  Public
  A gradle plugin to run the Spoon analysis and transformation engine for Java

  Groovy

  •10•19•0•1•Updated Nov 8, 2022Nov 8, 2022

• spoon-examples

  Public
  Examples on how to use the Spoon Java source code transformation library

  Java

  •

  GNU General Public License v2.0

  •44•85•0•0•Updated Sep 20, 2022Sep 20, 2022

• metamutator

  Public
  a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming

  Java

  •

  GNU General Public License v3.0

  •15•18•0•1•Updated Aug 13, 2022Aug 13, 2022

• spooet

  Public
  a prototype Spoon pretty-printer implemented with JavaPoet

  Java

  •0•10•0•0•Updated Aug 13, 2022Aug 13, 2022

• CoCoSpoon

  Public
  A library to compute statement-level code coverage using source code transformation with Spoon

  Java

  •8•10•0•0•Updated Aug 13, 2022Aug 13, 2022

• sorald-buildbreaker

  Public
  GitHub Action that breaks the build if Sorald finds a repairable violation

  TypeScript

  •

  MIT License

  •0•2•9•1•Updated May 9, 2022May 9, 2022

• KtSpoon

  Public
  Kotlin support for Spoon (experimental)

  Kotlin

  •0•6•0•0•Updated Feb 7, 2022Feb 7, 2022

• spoon-ci-data

  Public
  Spoon Continuous Integration Data created by https://github.com/SpoonLabs/spoon-ci-external

  1•0•0•0•Updated Jan 7, 2022Jan 7, 2022

• flacocobot-experiments

  Public
  0•0•0•0•Updated Oct 18, 2021Oct 18, 2021

• jacoco

  Public
  FORK of jacoco

  Java

  •

  Other

  •1.1k•0•0•0•Updated Oct 4, 2021Oct 4, 2021

• spoon-ci-external

  Public
  Additional CI jobs that are not in spoon-core

  Shell

  •0•0•0•0•Updated Sep 30, 2021Sep 30, 2021

• sorald-experiments

  Public
  Open-science repository for the evaluation of Sorald

  0•0•0•0•Updated Sep 29, 2021Sep 29, 2021

• AstorMoth

  Public
  Repair approaches based on Dynamoth synthesis

  Java

  •0•1•0•0•Updated Mar 22, 2021Mar 22, 2021