chubbymaggie / fastLinks
Flat Abstract Syntax Tree
☆32Updated 7 years ago
Alternatives and similar repositories for fast
Users that are interested in fast are comparing it to the libraries listed below
Sorting:
- Efficient patch generation engine for C/C++ programs☆18Updated 2 years ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- A GUI written in Java 8 + Swing; Comes with a basic text editor, ability to select optimizations, generate and view CFG, dominator trees …☆14Updated 6 years ago
- Experimental dynamic binary instrumentation☆15Updated 5 years ago
- Neural Variable Renaming for Decompiled Binaries☆44Updated 5 years ago
- Pretty printer from GTIRB to assembly code☆48Updated 2 months ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Updated 5 years ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- ☆29Updated 2 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆42Updated 9 months ago
- A Python library for easy and fast program transformation/repair☆15Updated 3 years ago
- TracerX Symbolic Virtual Machine☆33Updated 2 weeks ago
- A Software Renderer for Dear ImGui☆11Updated 3 years ago
- A library for dynamic binary rewriting☆58Updated 4 years ago
- Program for converting C preprocessor usage to C constructs☆12Updated 2 years ago
- Sydr benchmark applications☆17Updated 2 years ago
- Retypd plugin for Ghidra reverse engineering framework from NSA☆24Updated last year
- Disarm — Fast AArch64 Decode/Encoder☆41Updated 5 months ago
- Convert low ghidra pcode to verifiable C☆22Updated 8 months ago
- Implement a Stack VM Interpreter with a Register Window☆11Updated last year
- ☆63Updated last week
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆43Updated 9 years ago
- Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.☆19Updated 4 years ago
- A fast, zero dependency, single-header WebAssembly interpreter☆36Updated last year
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆19Updated last week
- BinTuner☆62Updated 2 years ago
- Dr. Disassembler☆35Updated 3 years ago
- Binary Deobfuscation Series☆22Updated 5 years ago