Alternatives and similar repositories for angr-static-analysis-for-vuzzer64:

Users that are interested in angr-static-analysis-for-vuzzer64 are comparing it to the libraries listed below

• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 4 years ago
• andreafioraldi / QEMU-SanCov
  SanitizerCoverage hooks and coverage reports for user-mode QEMU
  ☆12Updated 5 years ago
• csienslab-PCC / PathConstraintClassifier
  ☆9Updated 6 years ago
• JeffJerseyCow / qemu2drcov
  QEMU to drcov trace file
  ☆11Updated 4 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• CAFA1 / CAFA
  CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage
  ☆31Updated 6 years ago
• jrmuizel / kemufuzzer
  Automatically exported from code.google.com/p/kemufuzzer
  ☆27Updated 10 years ago
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆17Updated last year
• season-lab / ropdissector
  A framework for static analysis of ROP exploits and programs
  ☆40Updated 5 years ago
• AFLplusplus / Commit-Fuzzing-Demo
  This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.
  ☆17Updated 5 years ago
• gamozolabs / aflbench
  An AFL scaling benchmarking tool
  ☆18Updated 4 years ago
• dvorak42 / confuzzer
  Concolic Execution Fuzzer
  ☆24Updated 3 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
• intelpt / kAFL
  Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
  ☆12Updated 7 years ago
• RolfRolles / SMTSample
  Course sample for SMT-Based Binary Program Analysis training class
  ☆31Updated 6 years ago
• plum-umd / fuzzing-benchmarks
  The collection of programs for evaluating fuzzing techniques
  ☆20Updated 7 years ago
• thebabush / honggfuzz-qemu
  Ditto.
  ☆17Updated 4 years ago
• RUB-SysSec / PrimGen
  ACSAC 2018 paper: Towards Automated Generation of Exploitation Primitives for Web Browsers
  ☆15Updated 6 years ago
• yifengchen-cc / AFLplusplusSmart
  AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)
  ☆10Updated 4 years ago
• ertlnagoya / lwip-bug-finder
  lwipのバグを半自動検出くん。First introduced in 「2018年 暗号と情報セキュリティシンポジウム」（SCIS2018).
  ☆14Updated 2 years ago
• JeffJerseyCow / fuzzle
  A stateful fuzzing engine.
  ☆46Updated 6 years ago
• athre0z / idaperf
  View Linux perf traces in IDA Pro
  ☆14Updated 5 years ago
• reflare / afl-monitor
  A monitoring script for AFL
  ☆39Updated 8 years ago
• vanhauser-thc / afl-simulate
  Simulate afl-fuzz
  ☆16Updated 5 years ago
• tencentbladeteam / css_2019_tools
  Tools released in CSS 2019
  ☆38Updated 5 years ago
• vanhauser-thc / afl-dynamorio
  run AFL with dynamorio
  ☆37Updated 4 years ago
• bkth / optimize_rce_chakra
  keynote I gave at GreHack 2019
  ☆18Updated 5 years ago
• vanhauser-thc / qemu_taint
  First level taint implementation with qemu for linux user mode
  ☆27Updated 4 years ago
• cosine0 / amphitrite
  Symbolic debugging tool using JonathanSalwan/Triton
  ☆25Updated 6 years ago
• S2E / libs2eplugins
  S2E plugins library
  ☆17Updated 5 years ago