Research code and data - M. Monperrus

Here are notable repositories from our recent research projects.

Highlights

Spoon is a library to analyze and transform Java source code, 3000+ commits 104 contributors
Industry-grade AST differencing tools:
- Gumtree computes AST diffs for C, C++, C#, CSS, Java, JavaScript, PHP, Python, R, Ruby
- Gumtree-Spoon computes AST diff scripts for Java

Astor is an extensible program repair framework for Java
Nopol repairs conditional bugs with code synthesis
NpeFix repairs null pointer exceptions in Java
Repairnator is a program repair bot for continuous integration
Sorald repairs SonarQube/SonarJava static analysis warnings
AI for repair
- Styler repairs Checkstyle formatting errors with LSTM
- Sequencer generates one-line patches with sequence-to-sequence learning
- RewardRepair trains neural nets by running test cases
- VRepair generates patches for C vulnerabilities

Code analysis tools:
- Coming automatically analyzes Java commits
- Depclean identifies bloated Maven dependencies
- flacoco is a fault localization library for Java
- crow is a superdiversifier for WebAssembly
Chaos engineering tools:
- TripleAgent identifies failure-oblivious methods in Java
- ChaosMachine inject exceptions in micro-services analysis warnings
Testing tools:
- Dspot strengthens your tests with additional assertions
- Descartes points to badly tested methods
- Pankti generates unit tests from production executions.

Bug Benchmarks
- Nopol benchmark (conditional bugs in Java)
- NpeFix benchmark (NullPointerException in Java)
- Bears benchmark (CI test failures in Java)
- DeadClick benchmark (Javascript bugs in the browser)
Program repair patches:
Commits
- cvs-vintage dataset of 352182 file diffs (git version)
- CodRep dataset of Java one-liners
- Megadiff dataset of 600k Java diffs
The dissected metadata of Defects4J bugs