Alternatives and similar repositories for kAFL

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

• vlad902 / kernel-uninitialized-memory-checker
  A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.
  ☆59Updated 6 years ago
• bkth / chakra-bugs
  ☆31Updated 5 years ago
• agustingianni / instrumentation
  Assorted pintools
  ☆30Updated 5 years ago
• gamozolabs / aflbench
  An AFL scaling benchmarking tool
  ☆18Updated 5 years ago
• Vector35 / BinaryNinjaImporter
  ☆27Updated 6 years ago
• JeffJerseyCow / qemu2drcov
  QEMU to drcov trace file
  ☆11Updated 4 years ago
• intelpt / processor-trace
  libipt - an Intel(R) Processor Trace decoder library
  ☆18Updated 8 years ago
• progmboy / kernel_vul_poc
  ☆31Updated 7 years ago
• RolfRolles / SMTSample
  Course sample for SMT-Based Binary Program Analysis training class
  ☆30Updated 7 years ago
• 4B5F5F4B / HyperV
  PoC for CVE-2017-0075
  ☆37Updated 5 years ago
• eqv / aflq_fast_cov
  A fast binary coverage measurement tool based on AFL's Qemu mode
  ☆33Updated 4 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
• tenable / mIDA
  ☆33Updated 2 years ago
• renorobert / grub-bhyve-bugs
  ☆13Updated 5 years ago
• melbshark / relative-pattern
  Recover control flow graph from obfuscated codes
  ☆38Updated 10 years ago
• andreafioraldi / QEMU-SanCov
  SanitizerCoverage hooks and coverage reports for user-mode QEMU
  ☆12Updated 5 years ago
• Bl1nnnk / kAFL
  Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
  ☆18Updated 5 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 4 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
• AndrewFasano / ghidra-unicorn
  Export a binary from ghidra to emulate with unicorn
  ☆27Updated 5 years ago
• bkth / optimize_rce_chakra
  keynote I gave at GreHack 2019
  ☆18Updated 5 years ago
• invictus1306 / QuickPatch
  QuickPatch: A patching tool
  ☆13Updated 5 years ago
• lucasg / idarop
  ROP database plugin for IDA
  ☆31Updated 7 years ago
• relyze-ltd / LibTCGTranslate
  A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…
  ☆47Updated 5 years ago
• S2E / libcpu
  x86 Dynamic Binary Translator Library
  ☆34Updated 4 years ago
• JeffJerseyCow / fuzzle
  A stateful fuzzing engine.
  ☆45Updated 6 years ago
• vlad902 / kernel-intoverflow-taint-checker
  A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.
  ☆19Updated 7 years ago
• toshipiazza / drcfg
  Dynamic Control Flow Recovery
  ☆24Updated 7 years ago
• zer0mem / slides
  ☆8Updated 8 years ago