cedricrupb / code_diffLinks
Fast AST based code differencing in Python
☆42Updated last week
Alternatives and similar repositories for code_diff
Users that are interested in code_diff are comparing it to the libraries listed below
Sorting:
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆61Updated 2 months ago
- Scalpel: The Python Static Analysis Framework☆324Updated last year
- Seq2seq Type Inference using Static Analysis and CodeT5☆32Updated 2 years ago
- Extract and combine multiple source code views using tree-sitter☆155Updated 4 months ago
- Dynamic analysis framework for Python☆81Updated last week
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Updated 2 months ago
- Create CFGs and compute complexity metrics for Python, C++, and Java code.☆43Updated last year
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆27Updated last year
- Fast tokenization and structural analysis of any programming language☆62Updated last year
- Python Symbolic Execution☆72Updated 6 years ago
- Code for "Typilus: Neural Type Hints" PLDI 2020☆62Updated 2 years ago
- FixMorph is a morphing tool for C source codes which supports automated code-transfer☆35Updated 9 months ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆56Updated 8 months ago
- Neural Code Comprehension: A Learnable Representation of Code Semantics☆216Updated last year
- ACER is an AST-based Callgraph Generator Development Framework☆40Updated last year
- Mutation-guided mutation-based fuzz testing☆51Updated last year
- Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…☆19Updated 4 years ago
- Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.☆56Updated 8 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆75Updated last year
- ☆154Updated 8 months ago
- A System for Debloating C/C++ Programs☆31Updated 4 years ago
- DBGBench Website:☆19Updated 4 years ago
- ☆24Updated 4 years ago
- ☆17Updated 6 months ago
- Static Python call graph generator☆363Updated 2 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆48Updated 4 years ago
- ☆28Updated 2 weeks ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆48Updated 2 years ago
- A tool to convert nodes in an Abstract Syntax Tree into vector embeddings☆76Updated 3 years ago
- A Typescript library for parsing Python 3 and doing basic program analysis, like forming control-flow graphs and def-use chains.☆54Updated 6 years ago