balayette / ast-diff
Compute mappings between arbitrary trees.
☆15Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for ast-diff
- Examples for TracerX KLEE☆9Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- Cool code analysis research for WebAssembly☆66Updated last year
- Various dominator tree algorithms☆22Updated 4 years ago
- The C parser for GumTree☆12Updated 4 years ago
- Pretty printer from GTIRB to assembly code☆48Updated this week
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- A Python library for easy and fast program transformation/repair☆15Updated 3 years ago
- Variation of american fuzzy lop for testing compilers☆119Updated 2 years ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆190Updated 4 months 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☆19Updated 11 months ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 4 months ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆67Updated this week
- CCG is a random C Code Generator☆43Updated 2 years ago
- A symbolic execution engine for LLVM IR☆34Updated 2 years ago
- Simple grammar-based test case generator☆30Updated 6 months ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆77Updated 10 months ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆12Updated 4 years ago
- Dynamically discover the commands used to create a piece of software☆46Updated 2 weeks ago
- Runtime type and bounds-error checking for C/C++☆101Updated 2 years ago
- TRACER Symbolic Execution Tool☆28Updated 4 years ago
- A programming language to write bitsliced ciphers☆56Updated 2 months ago
- NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.☆50Updated 2 years ago
- Parallel Delta Debugging Framework☆47Updated this week
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated last month
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- estimate peak virtual memory use☆19Updated 9 months ago
- How fast can we brute force a 64-bit comparison?☆52Updated 4 years ago
- Sydr benchmark applications☆17Updated 2 years ago