Alternatives and similar repositories for coverage_highlight

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

• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• gamozolabs / guifuzz
  A GUI fuzzing application set up to fuzz calc.exe right now
  ☆36Updated 5 years ago
• AllsafeCyberSecurity / headless_scripts
  Headless Scripts for Ghidra's Headless Analyzer written in Python
  ☆32Updated 6 years ago
• Vector35 / generate_assembler
  generate assemblers from disassemblers, 2018 jailbreak security summit talk
  ☆38Updated 5 years ago
• Hypersonic / bf_symex
  symbolic execution engine for brainfuck because lol
  ☆14Updated 8 years ago
• Vector35 / sigkit
  Function signature matching and signature generation plugin for Binary Ninja
  ☆75Updated last year
• borzacchiello / bncallgraph
  Binary Ninja Plugin for Generating Callgraphs
  ☆17Updated 3 months ago
• kc0bfv / pcode-emulator
  A PCode Emulator for Ghidra.
  ☆109Updated 4 years ago
• gamozolabs / falkervisor_beta
  ☆74Updated 5 years ago
• riverloopsec / hashashin
  Hashashin: A Fuzzy Matching Tool for Binary Ninja
  ☆94Updated 2 years ago
• lse / wakare
  experimentation/code from Tanguy Dubroca (summer 2019)
  ☆28Updated 6 years ago
• cdisselkoen / pitchfork
  Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
  ☆75Updated 3 years ago
• domenukk / strudra
  Use Ghidra Structs in Python
  ☆29Updated 4 years ago
• thebabush / honggfuzz-qemu
  Ditto.
  ☆18Updated 5 years ago
• ps1337 / pwntools-r2
  Launch radare2 like a boss from pwntools in tmux
  ☆24Updated 6 years 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
• angr / archr
  Target-centric program analysis.
  ☆77Updated 2 weeks ago
• decomp / doc
  Design documents related to the decompilation pipeline.
  ☆29Updated last month
• revng / crispr
  The CRISPR static binary patcher
  ☆37Updated 4 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
• ernw / binja-ipython
  A plugin to integrate an IPython kernel into Binary Ninja.
  ☆30Updated 7 years ago
• RolfRolles / SMTSample
  Course sample for SMT-Based Binary Program Analysis training class
  ☆31Updated 7 years ago
• gamozolabs / aflbench
  An AFL scaling benchmarking tool
  ☆18Updated 5 years ago
• danigargu / ratone
  A console for assemble/disassemble code using capstone/keystone
  ☆31Updated 7 years ago
• lifting-bits / fennec
  Rewriting functions in compiled binaries using McSema
  ☆90Updated 6 years ago
• bdcht / ccrawl
  clang-based search engine for C/C++ data structures, classes, prototypes & macros
  ☆103Updated 2 months ago
• Frky / scat
  Dynamic analysis of binary programs to retrieve function-related information (arity, type of parameters, coupling).
  ☆67Updated 8 years ago
• andreafioraldi / idb2gdb
  Load function names from an IDA Pro database inside GDB
  ☆21Updated 6 years ago
• RUB-SysSec / Marx
  Uncovering Class Hierarchies in C++ Programs
  ☆127Updated 3 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago