balayette / ast-diffLinks
Compute mappings between arbitrary trees.
☆18Updated 6 years ago
Alternatives and similar repositories for ast-diff
Users that are interested in ast-diff are comparing it to the libraries listed below
Sorting:
- GramTest: A tool for Grammar based Test case generation☆88Updated 2 years ago
- The C parser for GumTree☆14Updated 5 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆100Updated 4 years ago
- C Language Analysis in Rascal☆27Updated last month
- Grammar Zoo☆98Updated 7 years ago
- Type checking ifdef variability☆78Updated 4 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated this week
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆107Updated last year
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated last year
- CCG is a random C Code Generator☆43Updated 3 years ago
- C Quality Metrics☆68Updated 3 years ago
- Hierarchical Delta Debugging Framework☆60Updated 2 months ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Updated 5 months ago
- rf is a command-line tool capable of refactoring C and C++ source code.☆24Updated 2 years ago
- Manipulate C-family ASTs with Clang☆68Updated 7 years ago
- Clade is a tool for extracting information about software build process and source code☆22Updated 2 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Updated 2 years ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Updated 6 years ago
- A tool for testing C compilers automatically☆21Updated 10 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆27Updated 2 years ago
- An interactive (fast) static source code analyzer☆181Updated 3 weeks ago
- Markup source code showing optimizations☆36Updated 6 years ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆66Updated 2 months ago
- A GCC plugin to dump call graphs for programs being compiled using LTO.☆22Updated 6 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆22Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆40Updated 2 years ago
- Manipulate C-family ASTs with Clang☆69Updated 11 years ago
- ☆18Updated 6 years ago
- A dynamic method for detecting faults in incremental and parallel builds.☆18Updated 3 years ago
- language-agnostic program reducer.☆200Updated 2 months ago