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 2 years ago
• airbus-cert / ttd2mdmp
  Extract data of TTD trace file to a minidump
  ☆28Updated last year
• SoftwareSecurityLab / UbSym
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆43Updated 2 years ago
• ioncodes / kdbg-driver-workstation
  ☆14Updated 3 years ago
• xorpse / parascope
  weggli ruleset scanner for source code and binaries
  ☆29Updated 4 months ago
• ghidragolf / ctfd-ghidragolf
  docker-compose to deploy CTFd w/ ghidragolf configurations
  ☆12Updated 2 years ago
• arnaugamez / tfg
  A copy of my Mathematics and Computer Engineering B.Sc. thesis
  ☆20Updated 4 years ago
• emproof-com / webinars
  ☆28Updated 3 months ago
• ea / xfg_analyzer
  A Binary Ninja plugin that uses bruteforced XFG hashes to recover precise function prototypes
  ☆15Updated last year
• nccgroup / obfuscation-snippets
  ☆24Updated 3 years ago
• domenukk / dragondance
  Binary code coverage visualizer plugin for Ghidra - just without crashes on unknown insns
  ☆19Updated 6 months ago
• interruptlabs / heimdallr-ida
  A IDA plugin to enable linking to locations in an IDB with a disas:// URI
  ☆32Updated last year
• ulexec / ElfLocker
  PoC multi-layer protector for ELF32 x86 binaries
  ☆11Updated 3 years ago
• hugsy / bochscpu-python
  Python bindings for BochsCPU
  ☆35Updated 2 months ago
• uf0o / Counterfeit_Object_Oriented_Programming_COOP
  ☆12Updated 6 months ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆46Updated 3 months ago
• TakahiroHaruyama / SpiMitm
  SPI flash read MitM attack PoC
  ☆37Updated 2 years ago
• 3intermute / hvICE
  hypervisor enforced patch protection for the linux kernel with xen + libvmi, libvmi KASLR offset spoofer
  ☆32Updated last year
• HACKE-RC / peritux
  A PE parser written in C++ which does not uses OOP. Helpful if you want to learn about PE parsing.
  ☆16Updated 2 years ago
• milankovo / instrlen
  Custom instruction length for hex-rays
  ☆18Updated 4 months ago
• AndrewFasano / tenet_tracer
  PANDA-powered tracing engine for tenet
  ☆11Updated 3 years ago
• michaeljgoodman / Dumpulator-IDA
  Currently proof-of-concept
  ☆16Updated 3 years ago
• HyperDbg / slides
  Slides about HyperDbg
  ☆30Updated last month
• shamrockhoax / mazedecoder
  ☆28Updated 5 years ago
• Invoke-RE / binja-lattice-mcp
  Plugin interface for remote communications with Binary Ninja database and MCP server for interfacing with LLMs.
  ☆32Updated last week
• williballenthin / viv-utils
  Utilities for working with vivisect
  ☆25Updated 2 months ago
• sterrasec / genpatch
  genpatch is IDA plugin that generates a python script for patching binary
  ☆32Updated last year
• dzervas / frinja
  Frida plugin for Binary Ninja
  ☆17Updated 3 months ago
• hasherezade / flareon2023
  ☆25Updated 6 months ago
• koreacsl / SysBumps
  ☆26Updated 3 months ago