psifertex / terminal_velocityLinks
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
Sorting:
- ☆29Updated 7 months ago
- Python bindings for BochsCPU☆37Updated last month
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- IFL - Interactive Functions List (plugin for Binary Ninja)☆24Updated last year
- Binary code coverage visualizer plugin for Ghidra - just without crashes on unknown insns☆19Updated 10 months ago
- weggli ruleset scanner for source code and binaries☆30Updated last week
- Slides about HyperDbg☆39Updated 2 months ago
- ELF binary forensics tool for APT, virus, backdoor and rootkit detection☆49Updated 10 months ago
- ☆53Updated last month
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆42Updated 2 years ago
- Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects☆85Updated 2 years ago
- A Binary Ninja plugin that uses bruteforced XFG hashes to recover precise function prototypes☆16Updated last year
- iTLB multihit PoC☆42Updated last year
- BINARLY Research Tools and PoCs☆37Updated 11 months ago
- Hackers to Hackers Conference (H2HC) presentation in São Paulo☆37Updated 9 months ago
- ☆33Updated 7 months ago
- A Linux x86/x86-64 tool to trace registers and memory regions.☆39Updated 3 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆50Updated 3 months ago
- Dynamic-Static binary instrumentation framework on top of GDB☆50Updated last year
- BinjaryNinja plugin for a ShellStorm like assembly/disassembly experience☆14Updated 9 months ago
- hypervisor enforced patch protection for the linux kernel with xen + libvmi, libvmi KASLR offset spoofer☆33Updated last year
- Plugin interface for remote communications with Binary Ninja database and MCP server for interfacing with LLMs.☆43Updated 3 months ago
- ☆74Updated 9 months ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆52Updated 4 months ago
- TrustZone Trusted Application 0-Days by Design☆24Updated 4 months ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆33Updated 7 months ago
- A IDA plugin to enable linking to locations in an IDB with a disas:// URI☆34Updated last year
- A Rust crate for parsing Windows user minidumps.☆41Updated last year
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated 2 years ago
- Reverse engineering assistant that extracts strings and related pseudo-code from a binary file.☆64Updated this week