Alternatives and similar repositories for C-bind

Users that are interested in C-bind are comparing it to the libraries listed below

• cdisselkoen / pitchfork
  Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
  ☆76Updated 3 years ago
• Cisco-Talos / covnavi
  ☆64Updated 6 years ago
• brainsmoke / ptrace-burrito
  a friendly wrapper around ptrace
  ☆134Updated 3 years ago
• Comsecuris / luaqemu
  QEMU-based framework exposing several of QEMU-internal APIs to a LuaJIT core injected into QEMU itself. Among other things, this allows f…
  ☆153Updated 7 years ago
• HexHive / HexType
  HexType: Efficient Detection of Type Confusion Errors for C++
  ☆103Updated last year
• nneonneo / doublethink
  Doublethink challenge from DEF CON 2018
  ☆23Updated 5 years ago
• tum-i4 / macke
  Modular And Compositional analysis with KLEE Engine
  ☆117Updated 5 years ago
• pagabuc / gfree
  Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries
  ☆96Updated 7 years ago
• awruef / find-heartbleed
  clang checker to find heartbleed
  ☆86Updated 11 years ago
• lifting-bits / fennec
  Rewriting functions in compiled binaries using McSema
  ☆91Updated 6 years ago
• bnagy / afl-launch
  Boring tool to launch multiple afl-fuzz instances
  ☆52Updated 8 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 6 years ago
• andreafioraldi / angrdbg
  Abstract library to generate angr states from a debugger state
  ☆61Updated 5 years ago
• abenkhadra / spedi
  Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.
  ☆108Updated 7 years ago
• pzread / unstrip
  ELF Unstrip Tool
  ☆107Updated 10 years ago
• zachriggle / functions
  Python repository containing parsed standard C library function and argument information
  ☆28Updated 7 years ago
• CheckPointSW / Scout
  Scout - Instruction based research debugger (a poor man's debugger)
  ☆156Updated 2 years ago
• crossbowerbt / GDB-Python-Utils
  A library for GDB (with python support), that adds useful functions to the standard 'gdb' library.
  ☆77Updated 14 years ago
• vanhauser-thc / afl-dyninst
  American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries
  ☆74Updated 4 years ago
• googleprojectzero / CompareCoverage
  Clang instrumentation module for tracing variable and buffer comparisons in C/C++ and saving the coverage data to .sancov files
  ☆202Updated 6 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆46Updated 9 years ago
• axt / bingraphvis
  ☆45Updated 3 years ago
• felixwilhelm / mario_baslr
  PoC for breaking hypervisor ASLR using branch target buffer collisions
  ☆166Updated 9 years ago
• c01db33f / concolica
  Python concolic execution framework for program analysis
  ☆68Updated 11 years ago
• thomasdullien / heap_history_viewer
  A program to draw rectangles from heap traces.
  ☆135Updated 5 years ago
• angr / heaphopper
  HeapHopper is a bounded model checking framework for Heap-implementations
  ☆222Updated 5 months ago
• sushant94 / rune
  rune - radare2 based symbolic emulator
  ☆27Updated 8 years ago
• gamozolabs / cookie_dough
  A fuzzing introspection tool
  ☆167Updated 5 years ago
• ernw / binja-ipython
  A plugin to integrate an IPython kernel into Binary Ninja.
  ☆30Updated 7 years ago
• bdcht / ccrawl
  clang-based search engine for C/C++ data structures, classes, prototypes & macros
  ☆103Updated 5 months ago