Alternatives and similar repositories for coverage_highlight

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

• borzacchiello / bncallgraph
  Binary Ninja Plugin for Generating Callgraphs
  ☆17Updated 6 months ago
• Vector35 / sigkit
  Function signature matching and signature generation plugin for Binary Ninja
  ☆76Updated last month
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 6 years ago
• gamozolabs / guifuzz
  A GUI fuzzing application set up to fuzz calc.exe right now
  ☆37Updated 5 years ago
• gamozolabs / falkervisor_beta
  ☆74Updated 5 years ago
• Vector35 / generate_assembler
  generate assemblers from disassemblers, 2018 jailbreak security summit talk
  ☆38Updated 5 years ago
• aguinet / miasm-bootloader
  x86 bootloader emulation with Miasm (case of NotPetya)
  ☆43Updated 6 years ago
• revng / crispr
  The CRISPR static binary patcher
  ☆37Updated 5 years ago
• RolfRolles / SMTSample
  Course sample for SMT-Based Binary Program Analysis training class
  ☆32Updated 7 years ago
• lse / wakare
  experimentation/code from Tanguy Dubroca (summer 2019)
  ☆28Updated 6 years ago
• lucasg / idarop
  ROP database plugin for IDA
  ☆32Updated 7 years ago
• Hypersonic / bf_symex
  symbolic execution engine for brainfuck because lol
  ☆14Updated 8 years ago
• andreafioraldi / idb2gdb
  Load function names from an IDA Pro database inside GDB
  ☆21Updated 7 years ago
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 3 years ago
• bdcht / ccrawl
  clang-based search engine for C/C++ data structures, classes, prototypes & macros
  ☆103Updated 5 months ago
• b17fr13nds / lxfuzz
  lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…
  ☆22Updated last year
• ret2jazzy / ELFPatch
  A library for patching ELFs
  ☆59Updated 5 years ago
• JonathanSalwan / X-Tunnel-Opaque-Predicates
  IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.
  ☆56Updated 6 years ago
• rizinorg / CutterDRcov
  DynamoRIO coverage visualization for cutter
  ☆61Updated 3 years ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆51Updated 4 years ago
• jpleasu / ghidraal
  A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.
  ☆61Updated 4 years ago
• carstein / Syscaller
  Binary Ninja Syscall Annotator
  ☆45Updated 3 years ago
• 0vercl0k / symbolizer
  A fast execution trace symbolizer for Windows.
  ☆129Updated last year
• v-p-b / rabbithole
  Cumulative cyclomatic complexity calculation for Ghidra
  ☆20Updated 4 years ago
• LL-MM / approxis-groundtruth
  ☆31Updated 5 years ago
• kc0bfv / pcode-emulator
  A PCode Emulator for Ghidra.
  ☆111Updated 4 years ago
• angr / archr
  Target-centric program analysis.
  ☆77Updated last week
• AllsafeCyberSecurity / headless_scripts
  Headless Scripts for Ghidra's Headless Analyzer written in Python
  ☆33Updated 6 years ago
• quarkslab / whvp
  PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components
  ☆68Updated 4 years ago
• JHUAPL / CodeCut
  A Ghidra plugin for locating object file boundaries.
  ☆126Updated 2 months ago