llvm-snippy instruction sequence generator
☆77Feb 27, 2026Updated this week
Alternatives and similar repositories for snippy
Users that are interested in snippy are comparing it to the libraries listed below
Sorting:
- Symbolic executor for Binary Ninja's MLIL☆25Oct 3, 2024Updated last year
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- Small micro-coded RISC-V softcore☆15Nov 27, 2018Updated 7 years ago
- Wiki pages for compiler technologies https://compilers.wiki☆24Mar 19, 2023Updated 2 years ago
- Example of RealMedium backend written in the userver framework☆14Updated this week
- Virtual Tagger Plugin is a Cutter plugin that significantly improves handling and analysis of vtables and virtual functions☆16Mar 23, 2023Updated 2 years ago
- ☆12Feb 2, 2025Updated last year
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆51Nov 16, 2025Updated 3 months ago
- 🍌 Modern C++ Telegram Bot API library☆43Jan 3, 2026Updated 2 months ago
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Mar 17, 2023Updated 2 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆54May 26, 2025Updated 9 months ago
- LLVM based devirtualization PoC’s.☆21Dec 11, 2021Updated 4 years ago
- Me fockin' pe protector☆45Nov 19, 2022Updated 3 years ago
- ☆38Nov 13, 2020Updated 5 years ago
- Interactive visualizer for e-graphs☆28Jan 13, 2026Updated last month
- Library for manipulating gdb in batch mode☆21Mar 10, 2024Updated last year
- Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.☆23Jul 7, 2023Updated 2 years ago
- A minimal, resource-friendly syslog daemon for embedded Linux☆26Jan 27, 2023Updated 3 years ago
- [Deprecated: use userver-create-service instead!] Template of a C++ service that uses userver framework with gRPC and PostgreSQL. Build, …☆21Dec 15, 2025Updated 2 months ago
- devirtualization vmprotect☆65Mar 11, 2023Updated 2 years ago
- Cleaned elf for PS4 supporting c++ and includes imports and utility classes☆19Sep 25, 2020Updated 5 years ago
- SMT solver for the theory of floating-point arithmetic☆25Jan 30, 2018Updated 8 years ago
- Process Orchestration Framework: A camunda 7 fork☆21Updated this week
- Function library for decoding 32-bit ARM and Thumb/Thumb-2 instruction sets.☆22Dec 1, 2024Updated last year
- Apply ROP protection to a binary using binary rewriting with GTIRB☆34Jul 1, 2025Updated 8 months ago
- ☆25May 27, 2025Updated 9 months ago
- Rust library for lifting raw binary data to LLVM IR☆64Jul 18, 2025Updated 7 months ago
- Runtime/Compile time copyable type info.☆27Jan 15, 2026Updated last month
- Reverse engineered API for Microsoft's Time Travel Debugger☆36Apr 18, 2024Updated last year
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆30Jun 14, 2025Updated 8 months ago
- Labyrinth, an LLVM obfuscation plugin for the New Pass Manager☆44Feb 23, 2025Updated last year
- LLVM Without The ROP Gadgets!☆25Jan 9, 2024Updated 2 years ago
- Visual Studio Project example for using Microsoft's STL in WDM (Windows Kernel-mode Driver)☆25Jun 22, 2021Updated 4 years ago
- unorthodox approach to analyze a trace, but this helped me get comfy with x64 instructions overall (excluding sse/avx/etc lol), cleared u…☆68Feb 7, 2024Updated 2 years ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆36Jun 27, 2022Updated 3 years ago
- A nice way to manage your ImGui application's style in Nim.☆30Oct 10, 2025Updated 4 months ago
- VSCode Ghidra Plugin/Script Skeletons☆30Aug 1, 2020Updated 5 years ago
- Analyzing the driver and internal module of EasyAntiCheat.☆40May 1, 2023Updated 2 years ago
- White-box analytic framework based on LLVM☆39Jun 10, 2019Updated 6 years ago