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
• SoftwareSecurityLab / UbSym
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆43Updated last year
• dzervas / frinja
  Frida plugin for Binary Ninja
  ☆17Updated 2 months ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆45Updated 2 months ago
• koreacsl / SysBumps
  ☆23Updated last month
• xorpse / parascope
  weggli ruleset scanner for source code and binaries
  ☆25Updated 3 months ago
• ergot86 / itlb_poc
  iTLB multihit PoC
  ☆40Updated last year
• ioncodes / kdbg-driver-workstation
  ☆14Updated 3 years ago
• saruman9 / ghidra_dev_pres
  Ghidra's development plugins, scripts, contributing. Presentation
  ☆12Updated 4 years ago
• tin-z / GDBleed
  Dynamic-Static binary instrumentation framework on top of GDB
  ☆51Updated last year
• interruptlabs / semgrep_bn
  Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.
  ☆26Updated last month
• static-analysis-engineering / CodeHawk-Binary
  CodeHawk Binary Analyzer for malware analysis and general reverse engineering
  ☆30Updated last week
• SideChannelMarvels / BlueGalaxyEnergy
  A tool to perform so called BGE attack
  ☆24Updated 11 months ago
• hugsy / bochscpu-python
  Python bindings for BochsCPU
  ☆35Updated last month
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• ghidragolf / ctfd-ghidragolf
  docker-compose to deploy CTFd w/ ghidragolf configurations
  ☆12Updated 2 years ago
• domenukk / dragondance
  Binary code coverage visualizer plugin for Ghidra - just without crashes on unknown insns
  ☆19Updated 4 months ago
• ghidragolf / ghidra_scripts
  Scripts from Ghidra Golf competitions
  ☆34Updated 2 years ago
• interruptlabs / heimdallr-ida
  A IDA plugin to enable linking to locations in an IDB with a disas:// URI
  ☆32Updated last year
• MaherAzzouzi / BrowserExploitation
  Browser exploitation v8 and sandbox escape challenges with solutions.
  ☆27Updated 2 years ago
• HyperDbg / slides
  Slides about HyperDbg
  ☆30Updated 10 months ago
• 0xb0bb / 0CD
  BinaryNinja plugin to introduce some quality of life utilities for obsessive compulsive CTF enthusiasts
  ☆19Updated 7 months ago
• 3Flatline / DixieBinjaPlugin
  Dixie Vuln Scanner Binja Plugin
  ☆10Updated 11 months ago
• arcana-technologies / arcana.elfscan
  ELF binary forensics tool for APT, virus, backdoor and rootkit detection
  ☆47Updated 4 months ago
• binarly-io / ToolsAndPoCs
  BINARLY Research Tools and PoCs
  ☆36Updated 6 months ago
• nccgroup / obfuscation-snippets
  ☆24Updated 3 years ago
• X-C3LL / memdlopen-lib
  ☆12Updated 2 years ago
• ZetaTwo / binja-experiments
  Experiments, snippets and other things related to Binary Ninja
  ☆16Updated 5 months ago
• patois / BFS2019
  Bluefrost Exploitation Challenge 2019 - Exploit and Writeup
  ☆24Updated last year
• uf0o / Counterfeit_Object_Oriented_Programming_COOP
  ☆11Updated 5 months ago