chubbymaggie / fastLinks
Flat Abstract Syntax Tree
☆33Updated 8 years ago
Alternatives and similar repositories for fast
Users that are interested in fast are comparing it to the libraries listed below
Sorting:
- A GUI written in Java 8 + Swing; Comes with a basic text editor, ability to select optimizations, generate and view CFG, dominator trees …☆17Updated 6 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Updated 4 years ago
- Efficient patch generation engine for C/C++ programs☆19Updated 3 years ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- Dr. Disassembler☆37Updated 4 years ago
- A library for dynamic binary rewriting☆59Updated 5 years ago
- Extracting high level semantic information from binary code☆67Updated 6 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated last week
- C++ JSON parser and stringify☆25Updated 3 years ago
- Pretty printer from GTIRB to assembly code☆49Updated 3 months ago
- ☆29Updated 5 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- Disarm — Fast AArch64 Decode/Encoder☆45Updated last year
- Retypd plugin for Ghidra reverse engineering framework from NSA☆27Updated 2 years ago
- A fast, zero dependency, single-header WebAssembly interpreter☆38Updated 2 years ago
- Implement a Stack VM Interpreter with a Register Window☆11Updated 2 years ago
- Compiler for reverse engineers☆44Updated last week
- A disassembler☆22Updated 3 years ago
- X86/X64/ARM/MIPS Assembler/Disassembler/Decomposer Library☆38Updated 6 years ago
- Convert low ghidra pcode to verifiable C☆22Updated last year
- ☆10Updated last year
- A binary optimization/specialization library supporting multiple rewriters☆120Updated 4 years ago
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Updated 2 years ago
- Turn an interpreter into a code generator☆31Updated 10 years ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Updated 6 years ago
- Meta-program C/C++ with JavaScript☆28Updated 3 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆18Updated 2 months ago
- Formally verified x86-64 decompilation☆44Updated last week
- Manipulate C-family ASTs with Clang☆68Updated 7 years ago
- The SuperC Parsing Framework☆35Updated 8 months ago