Symbolic execution of LLVM IR traces for program understanding.
☆27Feb 24, 2014Updated 12 years ago
Alternatives and similar repositories for symbolic-trace
Users that are interested in symbolic-trace are comparing it to the libraries listed below
Sorting:
- Pure-Python HashLink bytecode Swiss Army knife.☆22Nov 11, 2025Updated 3 months ago
- IDA plugin to aid with Swift reverse engineering☆40Oct 26, 2024Updated last year
- Easily search LLVM headers for all major versions!☆19Sep 14, 2025Updated 5 months ago
- Collection of Cheat dumps for Research and Detection.☆16Jan 4, 2026Updated 2 months ago
- Type 2 Hypervisor for security research supported by AMD-V hardware assisted virtualization☆41Jan 9, 2023Updated 3 years ago
- A graphing library for Control Flow Graphs☆105Jun 19, 2025Updated 8 months ago
- EWDK C++ toolchain for bazel☆11Feb 1, 2026Updated last month
- Test data for x86 instructions☆13Apr 13, 2021Updated 4 years ago
- A Delphi symbol name recovery tool for reverse engineers.☆23Jan 17, 2026Updated last month
- Lightweight PDB symbol parser and resolver☆28Oct 28, 2024Updated last year
- ☆11Jul 12, 2022Updated 3 years ago
- CPUID database derived from InstLatx64☆15Feb 1, 2020Updated 6 years ago
- My own version from "Writing a C Compiler" Book from NoStarchPress using C++ and LLVM libraries.☆32Feb 27, 2026Updated last week
- IDA's Lumina feature, reimplemented for Binary Ninja, with new error handeling!☆37Dec 5, 2024Updated last year
- a cute hook framwork(now for arm64)☆30Nov 28, 2017Updated 8 years ago
- Zippers for cofree types☆14Dec 7, 2021Updated 4 years ago
- ☆13Sep 25, 2023Updated 2 years ago
- This project simplifies the process of enabling DMA support for Cheat Engine. Instead of complex configurations, you can achieve DMA comp…☆21Apr 8, 2025Updated 10 months ago
- Plugin for IDA Pro to convert assembler to LLVM IR☆20Nov 15, 2016Updated 9 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- SLOT: SMT-LLVM Optimizing Translation☆60Apr 17, 2025Updated 10 months ago
- ☆90Feb 12, 2025Updated last year
- Exemplary LLVM function pass implementing Control Flow Flattening.☆17May 2, 2018Updated 7 years ago
- Find JNI native methods while the app is running.☆21Oct 26, 2024Updated last year
- A C++ tool to inspect and extract contents from PyInstaller archives☆19Oct 19, 2025Updated 4 months ago
- C++ Assembler with Built-in Mutation Engine☆30Sep 6, 2025Updated 6 months ago
- AI-Powered Reverse Engineering Plugin for IDA Pro☆45Updated this week
- Ghidra plugin that adds a window showing the high P-code for the current function.☆19Mar 11, 2023Updated 2 years ago
- Control Flow Flattening Deobfuscator for Obfuscator-LLVM as a plugin for IDA Pro.☆91Apr 14, 2025Updated 10 months ago
- ☆15Apr 8, 2023Updated 2 years ago
- Effectful Raw handler for Servant servers.☆16Mar 16, 2021Updated 4 years ago
- Simple OpenGL core profile loading, customized for Dear ImGui☆17Dec 11, 2025Updated 2 months ago
- Workshop for Model Context Protocol☆17Mar 27, 2025Updated 11 months ago
- ☆20Oct 14, 2024Updated last year
- A collection of Proof-of-Concept implementations of various anti-disassembly techniques for ARM32 and ARM64 architectures.☆77Apr 18, 2025Updated 10 months ago
- Original xbox kernel re-implementation☆45Feb 11, 2026Updated 3 weeks ago
- SoftICE-like debugger for Windows 2000 and XP. Archived.☆21Dec 23, 2022Updated 3 years ago
- Dynamic Tracing in Android (fork from iovisor/ply)☆21Nov 26, 2022Updated 3 years ago
- ☆17Oct 31, 2022Updated 3 years ago