Alternatives and similar repositories for fuzztheory:

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

• reflare / afl-monitor
  A monitoring script for AFL
  ☆39Updated 8 years ago
• ernw / binja-ipython
  A plugin to integrate an IPython kernel into Binary Ninja.
  ☆29Updated 6 years ago
• RolfRolles / SMTSample
  Course sample for SMT-Based Binary Program Analysis training class
  ☆31Updated 7 years ago
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• Sbouber / honggfuzz-dharma
  Integrate the dharma grammar fuzzer into honggfuzz
  ☆26Updated 7 years ago
• andreafioraldi / r2angrdbg
  Use angr inside the radare2 debugger. Create an angr state from the current debugger state.
  ☆34Updated 5 years ago
• gamozolabs / hellscape
  Playground for testing feedback
  ☆16Updated 4 years ago
• quarkslab / whvp
  PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components
  ☆68Updated 3 years ago
• endeav0r / skua
  Automatic Exploit Generation from Primitives
  ☆11Updated 6 years ago
• ChrisTheCoolHut / Easy-Pickings
  Automatic function exporting and linking for fuzzing cross-architecture binaries.
  ☆51Updated 6 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 4 years ago
• abhisek / afl-fuzzing-workshop
  A introductory workshop to getting started with fuzzing using american fuzzy lop (AFL)
  ☆22Updated 5 years ago
• gamozolabs / guifuzz
  A GUI fuzzing application set up to fuzz calc.exe right now
  ☆36Updated 4 years ago
• JeffJerseyCow / fuzzle
  A stateful fuzzing engine.
  ☆45Updated 6 years ago
• angr / fidget
  A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!
  ☆46Updated 2 years ago
• bkth / optimize_rce_chakra
  keynote I gave at GreHack 2019
  ☆18Updated 5 years ago
• ChrisTheCoolHut / Rocket-Shot
  Backwards program slice stitching for automatic CTF problem solving.
  ☆51Updated 6 years ago
• thebabush / honggfuzz-qemu
  Ditto.
  ☆17Updated 4 years ago
• invictus1306 / QuickPatch
  QuickPatch: A patching tool
  ☆13Updated 5 years ago
• montyly / binnavi-gueb
  Version of Binnavi used for the thesis "Finding the needle in the heap : combining binary analysis techniques to trigger use-after-free"
  ☆10Updated 7 years ago
• trailofbits / KRFAnalysis
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆36Updated 2 years ago
• andreafioraldi / QEMU-SanCov
  SanitizerCoverage hooks and coverage reports for user-mode QEMU
  ☆12Updated 5 years ago
• JeffJerseyCow / qemu2drcov
  QEMU to drcov trace file
  ☆11Updated 4 years ago
• ctfhacker / ni-rs
  Radamsa written in c ported to Rust
  ☆11Updated last year
• season-lab / memsight
  MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
  ☆23Updated 5 months ago
• athre0z / idaperf
  View Linux perf traces in IDA Pro
  ☆14Updated 5 years ago
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• farosato / angr-antievasion
  Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).
  ☆34Updated 7 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
• RICSecLab / AFLplusplus-cs
  ☆18Updated 3 years ago