joeywang4 / Flexo
A compiler for microarchitectural weird machines
☆12Updated 8 months ago
Alternatives and similar repositories for Flexo:
Users that are interested in Flexo are comparing it to the libraries listed below
- ☆16Updated 10 months ago
- 試試你的好手氣☆34Updated last year
- IDA (sort of) headless☆24Updated last year
- dk is a WinDbg extenion for dumping memory data in meaningful and organized ways, it is an enhancement of my previous tokenext project.☆24Updated last year
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Another (bad) ROP gadget finder, but this time in Rust☆20Updated last year
- QilingLab challenge writeup☆20Updated 3 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- Dice CTF 2022 breach write-up☆15Updated 3 years ago
- Cryfind is a tool to help you find crypto signatures in binary.☆34Updated 3 years ago
- ☆29Updated last year
- ☆18Updated 3 years ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆31Updated 2 months ago
- Overview of Microsoft Patch Tuesday☆14Updated 7 months ago
- prebuild angr wheels for Windows on x86_64☆14Updated 6 years ago
- Investigating the bug behind CVE-2021-26708☆27Updated 4 years ago
- Ghidra analyzer for UEFI firmware.☆18Updated last year
- ☆12Updated 6 months ago
- Browser exploitation v8 and sandbox escape challenges with solutions.☆27Updated 2 years ago
- Python bindings for BochsCPU☆35Updated last month
- Dark+ Theme☆49Updated 11 months ago
- ☆14Updated 2 years ago
- Code Coverage client for DynamoRIO☆12Updated 6 years ago
- A tool to perform so called BGE attack☆24Updated last year
- Helper scripts for windows debugging with symbols for Bochs and IDA Pro (PDB files). Very handy for user mode <--> kernel mode☆19Updated last year
- Banana Fuzzer ~ modulable, loop based, poc gen, code cov, platform agnostic, race oriented☆59Updated 2 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- LLDB based debugger for Linux Kernel☆23Updated 2 weeks ago
- Explanation and code to emulate and run a MIPS binary using Qiling framework. Also a detailed vulnerability writeup for a buffer overflow…☆31Updated 4 years ago
- A framework provides an interface to monitor and control fuzzers☆31Updated last year