balayette / ast-diffLinks
Compute mappings between arbitrary trees.
☆17Updated 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:
- The C parser for GumTree☆14Updated 5 years ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Updated 5 years ago
- Type checking ifdef variability☆79Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆39Updated 2 years ago
- CCG is a random C Code Generator☆43Updated 3 years ago
- C Quality Metrics☆66Updated 3 years ago
- A dynamic method for detecting faults in incremental and parallel builds.☆19Updated 3 years ago
- Grammar Zoo☆98Updated 7 years ago
- Hierarchical Delta Debugging Framework☆59Updated 3 weeks ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- Mainly a syntax-aware diff that also provides a number of additional tools.☆55Updated last year
- GramTest: A tool for Grammar based Test case generation☆88Updated 2 years ago
- Clade is a tool for extracting information about software build process and source code☆22Updated last year
- Manipulate C-family ASTs with Clang☆69Updated 11 years ago
- Markup source code showing optimizations☆36Updated 5 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆106Updated last year
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated this week
- ☆14Updated last year
- GenProg: heuristic, GP-based automatic program repair for C.☆99Updated 4 years ago
- rf is a command-line tool capable of refactoring C and C++ source code.☆24Updated 2 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Updated 3 years ago
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆71Updated 2 years ago
- A machine-readable representation of the Intel x86 Instruction Set Reference.☆38Updated 4 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Updated 4 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 years ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆57Updated 3 weeks ago
- ☆102Updated 3 years ago
- Parallel Delta Debugging Framework☆53Updated 3 weeks ago
- Manipulate C-family ASTs with Clang☆68Updated 7 years ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆64Updated 3 weeks ago