joeywang4 / FlexoLinks
A compiler for microarchitectural weird machines
☆18Updated last year
Alternatives and similar repositories for Flexo
Users that are interested in Flexo are comparing it to the libraries listed below
Sorting:
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 years ago
- Python bindings for BochsCPU☆37Updated 4 months ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 3 years ago
- 試試你的好手氣☆37Updated 6 months ago
- Cryfind is a tool to help you find crypto signatures in binary.☆35Updated 4 years ago
- ☆16Updated 3 weeks ago
- dk is a WinDbg extenion for dumping memory data in meaningful and organized ways, it is an enhancement of my previous tokenext project.☆24Updated 2 years ago
- ☆45Updated 4 years ago
- Dark+ Theme☆50Updated last year
- ☆16Updated last year
- IDA (sort of) headless☆26Updated last year
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59Updated 7 months ago
- Proof of concept agentic solver for nfuncs from DEF CON Quals 2025☆23Updated 8 months ago
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated 2 years ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆33Updated 11 months ago
- Ghidra analyzer for UEFI firmware.☆18Updated 2 years ago
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆41Updated 2 years ago
- ☆85Updated 3 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 4 years ago
- Binary exploitation by confusing the unwinder☆67Updated 2 years ago
- ☆19Updated 4 years ago
- Repo for talk slides & materials☆21Updated last year
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Overview of Microsoft Patch Tuesday☆14Updated last year
- ☆26Updated last year
- Ghidra Processor Module to disassemble and decompile the x86 Intel Atom microcode☆86Updated 2 years ago
- ☆30Updated 5 years ago
- ☆33Updated 2 years ago
- Semantic code search tool with GPU acceleration☆54Updated last month
- Another (bad) ROP gadget finder, but this time in Rust☆21Updated last year