Alternatives and similar repositories for kAFL

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

• bkth / chakra-bugs
  ☆31Updated 5 years ago
• JeffJerseyCow / qemu2drcov
  QEMU to drcov trace file
  ☆11Updated 4 years ago
• vlad902 / kernel-uninitialized-memory-checker
  A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.
  ☆59Updated 6 years ago
• jrmuizel / kemufuzzer
  Automatically exported from code.google.com/p/kemufuzzer
  ☆26Updated 10 years ago
• NeatMonster / MCExplorer
  Python portage of the Microcode Explorer plugin
  ☆31Updated 6 years ago
• agustingianni / instrumentation
  Assorted pintools
  ☆30Updated 5 years ago
• eqv / aflq_fast_cov
  A fast binary coverage measurement tool based on AFL's Qemu mode
  ☆33Updated 4 years ago
• renorobert / grub-bhyve-bugs
  ☆13Updated 4 years ago
• andreafioraldi / QEMU-SanCov
  SanitizerCoverage hooks and coverage reports for user-mode QEMU
  ☆12Updated 5 years ago
• melbshark / relative-pattern
  Recover control flow graph from obfuscated codes
  ☆38Updated 9 years ago
• toshipiazza / Tigress_angr
  Futile attempt to solve the Tigress challenges using angr
  ☆23Updated 6 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 4 years ago
• gamozolabs / aflbench
  An AFL scaling benchmarking tool
  ☆18Updated 5 years ago
• Vector35 / BinaryNinjaImporter
  ☆27Updated 6 years ago
• vanhauser-thc / afl-dynamorio
  run AFL with dynamorio
  ☆37Updated 4 years ago
• vlad902 / kernel-intoverflow-taint-checker
  A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.
  ☆19Updated 7 years ago
• intelpt / processor-trace
  libipt - an Intel(R) Processor Trace decoder library
  ☆18Updated 8 years ago
• toshipiazza / drcfg
  Dynamic Control Flow Recovery
  ☆24Updated 7 years ago
• argp / jemalloc_feng_shui
  Example of manipulating Firefox's jemalloc-managed heap
  ☆28Updated 12 years ago
• 4B5F5F4B / HyperV
  PoC for CVE-2017-0075
  ☆37Updated 5 years ago
• Bl1nnnk / kAFL
  Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
  ☆18Updated 5 years ago
• tencentbladeteam / css_2019_tools
  Tools released in CSS 2019
  ☆38Updated 5 years ago
• progmboy / kernel_vul_poc
  ☆31Updated 7 years ago
• season-lab / ropdissector
  A framework for static analysis of ROP exploits and programs
  ☆40Updated 6 years ago
• zhechkoz / PwIN
  Security Evaluation of Dynamic Binary Instrumentation Engines
  ☆80Updated 6 years ago
• RolfRolles / SMTSample
  Course sample for SMT-Based Binary Program Analysis training class
  ☆30Updated 7 years ago
• tetrane / tetrane-oss
  Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.
  ☆21Updated 2 years ago
• marche147 / wctf-game
  ☆16Updated 7 years ago
• AndrewFasano / ghidra-unicorn
  Export a binary from ghidra to emulate with unicorn
  ☆27Updated 5 years ago
• Brandon-Everhart / AngryIDA
  Python based angr plug in for IDA Pro.
  ☆35Updated 7 years ago