insufficiently-caffeinated / caffeineView external linksLinks
A symbolic execution engine for LLVM IR
☆51Apr 25, 2022Updated 3 years ago
Alternatives and similar repositories for caffeine
Users that are interested in caffeine are comparing it to the libraries listed below
Sorting:
- ☆12Jun 20, 2022Updated 3 years ago
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆23Dec 3, 2021Updated 4 years ago
- The next generation reverse engineering IDE (work-in-progress).☆105Jun 27, 2024Updated last year
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆26Mar 15, 2020Updated 5 years ago
- Binary Ninja MLIL to LLVM IR lifter☆15May 8, 2021Updated 4 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 5 years ago
- Simple template for using Remill on Windows/Linux/macos.☆29Jan 7, 2026Updated last month
- LLVM-based type and memory allocation tracking sanitizer☆56Feb 3, 2026Updated last week
- Fuzzing with controlled compilation☆31Apr 7, 2023Updated 2 years ago
- llvm crash analysis☆44Jun 26, 2024Updated last year
- A demonstration of hooking into the VMProtect-2 virtual machine☆23Nov 9, 2023Updated 2 years ago
- Emulate Drivers in RING3 with self context mapping or unicorn☆21Jan 1, 2025Updated last year
- ☆64Feb 23, 2025Updated 11 months ago
- FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек☆56Oct 17, 2025Updated 3 months ago
- Symbolic Execution Engine based on Ghidra's PCode☆84Mar 16, 2023Updated 2 years ago
- Using Zydis and LLVM to lift unsupported instructions to LLVM-IR☆30Jul 30, 2021Updated 4 years ago
- Generate a PDB file given the old PDB file and an address mapping☆51Aug 3, 2025Updated 6 months ago
- Compiler-instrumented app tracing.☆53May 17, 2024Updated last year
- Control Flow Linearization☆25May 4, 2025Updated 9 months ago
- Symbolic execution of LLVM IR traces for program understanding.☆27Feb 24, 2014Updated 11 years ago
- A graphing library for Control Flow Graphs☆104Jun 19, 2025Updated 7 months ago
- Grammar-based fuzzing corpus generator☆41Mar 14, 2023Updated 2 years ago
- Lift machine code to performant LLVM IR☆491Jun 17, 2024Updated last year
- Measure Basic Blocks coverage of all testcases in the AFL queue using a patched QEMU☆23Jan 15, 2024Updated 2 years ago
- Some collection of router firmware tools☆11Aug 4, 2020Updated 5 years ago
- My PoCs☆10Apr 5, 2020Updated 5 years ago
- LLVM-based ROP obfuscated compiler☆13Mar 24, 2022Updated 3 years ago
- ☆15May 6, 2021Updated 4 years ago
- Static program slicer used in Symbiotic tool☆12Mar 31, 2025Updated 10 months ago
- ☆16Feb 1, 2026Updated last week
- Example of an ELF parser to learn about the ELF format☆10Oct 6, 2024Updated last year
- EWDK C++ toolchain for bazel☆11Feb 1, 2026Updated last week
- Instrumenting a binary without source code to bypass anti-debug checks☆38Sep 25, 2021Updated 4 years ago
- GDB plug-in based on PWNDBG, GEF and PEDA that makes debugging MIPS with GDB suck less☆16Sep 18, 2024Updated last year
- Terribly incorrect and incomplete AOT compiler for mRuby. Source code for the LLVM Social Berlin #20☆10Aug 25, 2022Updated 3 years ago
- ☆11Jul 12, 2022Updated 3 years ago
- Exploits for various CVEs☆11Mar 19, 2022Updated 3 years ago
- Group coding repository of PltCov, a tool to instrument ELF binaries for fuzzing with ngram coverage of imported APIs☆12Jan 18, 2022Updated 4 years ago
- ☆15Updated this week