Alternatives and similar repositories for terminal_velocity

Users that are interested in terminal_velocity are comparing it to the libraries listed below

• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 3 years ago
• hugsy / bochscpu-python
  Python bindings for BochsCPU
  ☆37Updated 4 months ago
• SoftwareSecurityLab / UbSym
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆43Updated 2 years ago
• ergrelet / cpplumber
  Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects
  ☆86Updated 3 years ago
• emproof-com / webinars
  ☆35Updated 10 months ago
• FuturesLab / Bin2Wrong
  Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers
  ☆59Updated 6 months ago
• HyperDbg / slides
  Slides about HyperDbg
  ☆40Updated 4 months ago
• 0xricksanchez / Shellcoder
  BinjaryNinja plugin for a ShellStorm like assembly/disassembly experience
  ☆17Updated last year
• 0vercl0k / udmp-parser-rs
  A Rust crate for parsing Windows user minidumps.
  ☆41Updated last year
• domenukk / dragondance
  Binary code coverage visualizer plugin for Ghidra - just without crashes on unknown insns
  ☆19Updated last year
• leandrofroes / bn_ifl
  IFL - Interactive Functions List (plugin for Binary Ninja)
  ☆24Updated last year
• h311d1n3r / HellTracer
  A Linux x86/x86-64 tool to trace registers and memory regions.
  ☆38Updated 3 years ago
• Invoke-RE / binja-lattice-mcp
  Plugin interface for remote communications with Binary Ninja database and MCP server for interfacing with LLMs.
  ☆49Updated 6 months ago
• FuzzySecurity / H2HC-2024
  Hackers to Hackers Conference (H2HC) presentation in São Paulo
  ☆37Updated 11 months ago
• ahaggard2013 / binaryninja-ollama
  ☆80Updated last year
• 20urc3 / Publications
  This repository contains the public work I produced, wheter it is research, post, slides, sometimes videos, and materials of my talks.
  ☆52Updated 4 months ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆54Updated 6 months ago
• ioncodes / kdbg-driver-workstation
  ☆14Updated 3 years ago
• arcana-technologies / arcana.elfscan
  ELF binary forensics tool for APT, virus, backdoor and rootkit detection
  ☆50Updated last year
• qtc-de / rpv-web
  rpv-web is a browser based frontend for the rpv library
  ☆25Updated 3 weeks ago
• xalicex / kernel-debug-lab-for-virtual-box
  How to set up 2 VirtualBox VM to debug kernel driver using windbg
  ☆57Updated 3 years ago
• binarly-io / ToolsAndPoCs
  BINARLY Research Tools and PoCs
  ☆39Updated last year
• dzervas / frinja
  Frida plugin for Binary Ninja
  ☆18Updated 11 months ago
• xorpse / parascope
  weggli ruleset scanner for source code and binaries
  ☆35Updated 3 weeks ago
• tin-z / GDBleed
  Dynamic-Static binary instrumentation framework on top of GDB
  ☆50Updated 2 years ago
• TakahiroHaruyama / SpiMitm
  SPI flash read MitM attack PoC
  ☆40Updated 3 years ago
• ic3qu33n / OffensiveCon24-uefi-task-of-the-translator
  OffensiveCon 2024 Repo, contains PoCs and materials for talk "UEFI and the Task of the Translator"
  ☆43Updated last year
• ea / xfg_analyzer
  A Binary Ninja plugin that uses bruteforced XFG hashes to recover precise function prototypes
  ☆16Updated last year
• ergot86 / itlb_poc
  iTLB multihit PoC
  ☆42Updated 2 years ago
• br0kej / bin2ml
  A command line tool for extracting machine learning ready data from software binaries powered by Radare2
  ☆72Updated 7 months ago