Alternatives and similar repositories for sandshrew

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

• trailofbits / umberto
  poststructural fuzzing
  ☆31Updated 5 years ago
• ernw / binja-ipython
  A plugin to integrate an IPython kernel into Binary Ninja.
  ☆30Updated 6 years ago
• sushant94 / rune
  rune - radare2 based symbolic emulator
  ☆27Updated 7 years ago
• falconre / finch
  Symbolic Execution over Falcon IL
  ☆29Updated 3 years ago
• trailofbits / KRFAnalysis
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆36Updated 2 years ago
• phulin / symbolic-trace
  Symbolic execution of LLVM IR traces for program understanding.
  ☆27Updated 11 years ago
• reflare / afl-monitor
  A monitoring script for AFL
  ☆40Updated 8 years ago
• trailofbits / anselm
  Detect patterns of bad behavior in function calls
  ☆26Updated 4 years ago
• gamozolabs / fuzztheory
  A project for simulating fuzzing such that analysis can be done on coverage/feedback/scaling mechanisms
  ☆9Updated 5 years ago
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• AFLplusplus / StdFuzzer
  StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL
  ☆48Updated 6 months ago
• ctfhacker / binja-rs
  Some Rust bindings for Binary Ninja
  ☆30Updated last year
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 9 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• JHUAPL / ALLSTAR
  Assembled Labeled Library for Static Analysis Research - Debian packages built for 6 architectures, storing compiler artifacts, binaries…
  ☆28Updated 4 years ago
• gamozolabs / basic_mutator
  About as basic of a mutator as you can get, but it does the trick in most situations
  ☆62Updated 4 years ago
• Vector35 / generate_assembler
  generate assemblers from disassemblers, 2018 jailbreak security summit talk
  ☆37Updated 5 years ago
• season-lab / memsight
  MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
  ☆23Updated 7 months ago
• thebabush / honggfuzz-qemu
  Ditto.
  ☆17Updated 4 years ago
• atrosinenko / qinst
  Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code
  ☆18Updated 5 years ago
• Sbouber / honggfuzz-dharma
  Integrate the dharma grammar fuzzer into honggfuzz
  ☆26Updated 7 years ago
• trailofbits / tourniquet
  A Python library for easy and fast program transformation/repair
  ☆15Updated 3 years ago
• feliam / klee-taint
  KLEE-TAINT - Klee with taint analysis support
  ☆70Updated 7 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…
  ☆23Updated 11 months ago
• cdisselkoen / pitchfork
  Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
  ☆75Updated 2 years ago
• fkie-cad / squid
  RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑
  ☆20Updated 3 weeks ago
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆26Updated 4 years ago
• eqv / hexslides
  An opinionated tool to create amazing presentations
  ☆36Updated 2 years ago
• RolfRolles / PandemicML
  Pandemic binary program analysis framework in OCaml (abandoned)
  ☆71Updated 6 years ago
• lunixbochs / subasm
  subleq assembler / interpreter / rop chain
  ☆5Updated 5 years ago