AmrDeveloper / LLQLLinks
LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM IR/Bitcode files
☆55Updated last month
Alternatives and similar repositories for LLQL
Users that are interested in LLQL are comparing it to the libraries listed below
Sorting:
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆42Updated 9 months ago
- gradient-based symbolic execution engine implemented from scratch☆34Updated last year
- A utility library to bridge llvm and mlir gaps.☆13Updated 4 months ago
- Daedalus is an LLVM pass that compresses code by identifying and extracting recurrent program slices.☆28Updated last week
- Some experiments with SMT solvers and GIMPLE IR☆74Updated this week
- libLISA: Instruction Discovery and Analysis on x86-64☆113Updated 3 months ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- Tutorial for writing an LLVM backend☆22Updated 2 weeks ago
- Wiki pages for compiler technologies https://compilers.wiki☆24Updated 2 years ago
- Modeling futexes in TLA+☆20Updated 7 months ago
- NVidia sass disassembler☆15Updated this week
- VSCode extension for the LLVM IR language☆61Updated last year
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆55Updated last year
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆19Updated this week
- Collection of scripts used for building a complete, standalone Clang/LLVM-based toolchain. See: https://clang.llvm.org/docs/Toolchain.htm…☆19Updated last year
- ☆29Updated 2 months ago
- LLVM Dialects Library☆22Updated 3 weeks ago
- Repository for a library focused on binary analysis (mainly for Java related bytecodes)☆41Updated 2 weeks ago
- A demontration of disassemblers generated by sleigh2rust☆13Updated 6 months ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆21Updated last year
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Updated last year
- Disarm — Fast AArch64 Decode/Encoder☆41Updated 5 months ago
- ☆13Updated last year
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- 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
- fundamental traits to describe an architecture in the yaxpeax project☆15Updated 3 months ago
- A Brainfuck interpreter embedded inside DWARF debug information☆38Updated last year
- Peter's Amazing Syntax Tree Analyzer☆131Updated 8 months ago
- A super simple /sbin/init for Linux which allows running one and only one program☆28Updated last year
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 5 months ago