FAU-Inf2 / treedifferencing
☆12Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for treedifferencing
- Official repository for PraPR source code☆14Updated 3 years ago
- A toolkit for pre-processing large source code corpora☆46Updated 2 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated last year
- Code for paper "Lancer: Your Code Tell Me What You Need"☆11Updated 2 years ago
- ☆13Updated this week
- A tool of collecting patch-related commits and parsing patches.☆13Updated 5 years ago
- A powerful relational representation of source code☆29Updated last year
- ☆14Updated last year
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆39Updated 4 years ago
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆161Updated last week
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆97Updated last month
- Program Vulnerability Repair via Inductive Inference☆18Updated 11 months ago
- the code for three models introduced in DYNAMIC NEURAL PROGRAM EMBEDDINGS FOR PROGRAM REPAIR (ICLR 18)☆32Updated 6 years ago
- Practical Program Repair via Bytecode Mutation☆64Updated 2 years ago
- ☆31Updated last week
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated 4 years ago
- Code for "Typilus: Neural Type Hints" PLDI 2020☆59Updated last year
- Extract and combine multiple source code views using tree-sitter☆108Updated 4 months ago
- Automated program repair bibliography, tools and benchmarks.☆77Updated this week
- ☆11Updated 6 months ago
- Seq2seq Type Inference using Static Analysis and CodeT5☆30Updated last year
- ☆15Updated 5 years ago
- a basic Gradle configuration to get started with WALA☆28Updated last month
- ☆39Updated 2 years ago
- The official repo of Doop, the declarative pointer analysis framework.☆163Updated this week
- ☆55Updated 11 months ago
- PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code☆83Updated 3 years ago
- mwcvitkovic / Open-Vocabulary-Learning-on-Source-Code-with-a-Graph-Structured-Cache--Code-PreprocessorLibrary for preprocessing java source code into Augmented ASTs, as per the paper Open Vocabulary Learning on Source Code with a Graph-Str…☆21Updated 6 years ago
- A multi-lingual program repair benchmark set based on the Quixey Challenge☆102Updated 2 years ago
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago