psifertex / terminal_velocity
CTF Challenge for CSAW Finals 2021
☆12Updated 3 years ago
Alternatives and similar repositories for terminal_velocity:
Users that are interested in terminal_velocity are comparing it to the libraries listed below
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- ☆14Updated 3 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆43Updated last month
- Python bindings for BochsCPU☆35Updated this week
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- A MBR Fuzzer☆28Updated 10 months ago
- A IDA plugin to enable linking to locations in an IDB with a disas:// URI☆32Updated last year
- Scripts from Ghidra Golf competitions☆34Updated 2 years ago
- Dynamic-Static binary instrumentation framework on top of GDB☆51Updated last year
- Repository for Flare-On challenges and solutions/code☆9Updated 2 months ago
- docker-compose to deploy CTFd w/ ghidragolf configurations☆12Updated 2 years ago
- Collection of images and examples to use with Shoggoth.☆19Updated 4 years ago
- BINARLY Research Tools and PoCs☆35Updated 4 months ago
- Bluefrost Exploitation Challenge 2019 - Exploit and Writeup☆24Updated last year
- iTLB multihit PoC☆40Updated last year
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- weggli ruleset scanner for source code and binaries☆24Updated 2 months ago
- ☆28Updated 3 weeks ago
- IFL - Interactive Functions List (plugin for Binary Ninja)☆22Updated 7 months ago
- BinaryNinja plugin to introduce some quality of life utilities for obsessive compulsive CTF enthusiasts☆19Updated 6 months ago
- Binary Ninja plugin for interacting with the OALabs HashDB service☆17Updated 3 months ago
- Custom instruction length for hex-rays☆17Updated last month
- Binary Ninja plugin to perform automated analysis of Windows drivers☆17Updated 5 years ago
- Experiments, snippets and other things related to Binary Ninja☆16Updated 3 months ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆26Updated 2 weeks ago
- Slides about HyperDbg☆30Updated 8 months ago
- Extract data of TTD trace file to a minidump☆28Updated last year
- ☆12Updated 2 years ago
- IDA's Lumina feature, reimplemented for Binary Ninja, with new error handeling!☆37Updated 2 months ago