joeywang4 / FlexoLinks
A compiler for microarchitectural weird machines
☆14Updated 11 months ago
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
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Python bindings for BochsCPU☆36Updated last month
- IDA (sort of) headless☆25Updated last year
- ☆16Updated last year
- Proof of concept agentic solver for nfuncs from DEF CON Quals 2025☆21Updated 2 months ago
- Python interface for Binexport, the Bindiff export format☆17Updated last month
- A Linux x86/x86-64 tool to trace registers and memory regions.☆38Updated 3 years 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
- Binary exploitation by confusing the unwinder☆63Updated 2 years ago
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated 2 years ago
- A IDA plugin to enable linking to locations in an IDB with a disas:// URI☆32Updated last year
- A tool to perform so called BGE attack☆24Updated last month
- Overview of Microsoft Patch Tuesday☆14Updated 10 months ago
- Dice CTF 2022 breach write-up☆15Updated 3 years ago
- Another (bad) ROP gadget finder, but this time in Rust☆22Updated last year
- Ghidra analyzer for UEFI firmware.☆18Updated 2 years ago
- TrustZone Trusted Application 0-Days by Design☆22Updated 2 months ago
- scripting IDA like a Pro☆24Updated 4 years ago
- binary ninja related code☆35Updated 3 months ago
- Extract data of TTD trace file to a minidump☆29Updated last year
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆33Updated 5 months ago
- Rizin FLIRT Signature Database☆43Updated last year
- Example of an ELF parser to learn about the ELF format☆10Updated 9 months ago
- Binary Only Thread Sanitizer☆15Updated 11 months ago
- Dark+ Theme☆49Updated last year
- ☆12Updated 9 months ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆47Updated last month
- Ghidra data type archive for Windows driver analysis☆25Updated 9 months ago
- Reverse engineered API for Microsoft's Time Travel Debugger☆34Updated last year