balayette / ast-diff
Compute mappings between arbitrary trees.
☆15Updated 5 years ago
Alternatives and similar repositories for ast-diff:
Users that are interested in ast-diff are comparing it to the libraries listed below
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- The C parser for GumTree☆13Updated 4 years ago
- Sydr benchmark applications☆17Updated 2 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- Clade is a tool for extracting information about software build process and source code☆21Updated last year
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆12Updated 3 weeks ago
- Variation of american fuzzy lop for testing compilers☆122Updated 2 years ago
- ☆42Updated last month
- A small test for multithreaded C++ stack unwinding on unixes☆16Updated 5 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated 8 months ago
- Clone of http://nsz.repo.hu/git/?p=c-standard☆23Updated 5 years ago
- A GCC plugin to dump call graphs for programs being compiled using LTO.☆22Updated 5 years ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆15Updated 6 months ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆181Updated 3 years ago
- Recursive process fork/exec tracing for Linux systems using ptrace()☆21Updated 3 years ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆68Updated last month
- Runtime type and bounds-error checking for C/C++☆103Updated 3 months ago
- Bring mdb walkers to gdb, also add other helpful commands.☆34Updated last month
- CCG is a random C Code Generator☆43Updated 2 years ago
- Dynamic creation and update of ELF files, or: an allocator for JIT compilers☆33Updated last year
- A minimalistic and high-performance SAT solver☆28Updated 2 years ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆52Updated last week
- A Python library for easy and fast program transformation/repair☆15Updated 3 years ago
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- Examples for TracerX KLEE☆9Updated 4 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆43Updated 9 years ago
- A tool for testing C compilers automatically☆20Updated 9 years ago