static-analysis-engineering / CodeHawk-Binary

Related projects ⓘ

Alternatives and complementary repositories for CodeHawk-Binary

• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• LL-MM / approxis-groundtruth
  ☆30Updated 4 years ago
• RICSecLab / AFLplusplus-cs
  ☆17Updated 2 years ago
• gamozolabs / aflbench
  An AFL scaling benchmarking tool
  ☆18Updated 4 years ago
• TeumessianFox / ASPFuzz
  ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation
  ☆27Updated last year
• ernw / binja-ipython
  A plugin to integrate an IPython kernel into Binary Ninja.
  ☆29Updated 6 years ago
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 2 years ago
• SoftwareSecurityLab / UbSym
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆43Updated last year
• andreafioraldi / QEMU-SanCov
  SanitizerCoverage hooks and coverage reports for user-mode QEMU
  ☆12Updated 5 years ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆31Updated this week
• thebabush / honggfuzz-qemu
  Ditto.
  ☆16Updated 4 years ago
• season-lab / ropdissector
  A framework for static analysis of ROP exploits and programs
  ☆40Updated 5 years ago
• v-p-b / rabbithole
  Cumulative cyclomatic complexity calculation for Ghidra
  ☆20Updated 3 years ago
• jevinskie / pypcode-emu
  Ghidra P-Code emulation and static LLVM lifting in Python
  ☆29Updated 2 years ago
• quarkslab / python-binexport
  Python interface for Binexport, the Bindiff export format
  ☆14Updated 4 months ago
• toolCHAINZ / jingle
  SMT Modeling for Ghidra's PCODE
  ☆20Updated this week
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆49Updated 3 years ago
• softsec-unh / MBA-Solver
  ☆39Updated 3 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 3 years ago
• riverloopsec / ninjadiff
  NinjaDiff is a binary diffing plugin for Binary Ninja. Read more on our blog, and contribute code & improvements!
  ☆57Updated 2 years ago
• quarkslab / numbat
  Library to manipulate and create Sourcetrail databases
  ☆17Updated 3 months ago
• yifengchen-cc / AFLplusplusSmart
  AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)
  ☆10Updated 4 years ago
• tetrane / tetrane-oss
  Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.
  ☆19Updated last year
• thezdi / binaryninja
  binary ninja related code
  ☆24Updated 2 years ago
• retrage / efiSeek
  Ghidra analyzer for UEFI firmware.
  ☆15Updated last year
• trailofbits / KRFAnalysis
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆35Updated 2 years ago
• eqv / aflq_fast_cov
  A fast binary coverage measurement tool based on AFL's Qemu mode
  ☆33Updated 3 years ago