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
• JeffJerseyCow / qemu2drcov
  QEMU to drcov trace file
  ☆11Updated 4 years ago
• Vector35 / BinaryNinjaImporter
  ☆27Updated 6 years ago
• gamozolabs / aflbench
  An AFL scaling benchmarking tool
  ☆18Updated 5 years ago
• agustingianni / instrumentation
  Assorted pintools
  ☆30Updated 5 years ago
• NeatMonster / MCExplorer
  Python portage of the Microcode Explorer plugin
  ☆31Updated 6 years ago
• eqv / aflq_fast_cov
  A fast binary coverage measurement tool based on AFL's Qemu mode
  ☆33Updated 4 years ago
• intelpt / processor-trace
  libipt - an Intel(R) Processor Trace decoder library
  ☆18Updated 8 years ago
• AndrewFasano / ghidra-unicorn
  Export a binary from ghidra to emulate with unicorn
  ☆27Updated 5 years ago
• jrmuizel / kemufuzzer
  Automatically exported from code.google.com/p/kemufuzzer
  ☆26Updated 10 years ago
• RolfRolles / SMTSample
  Course sample for SMT-Based Binary Program Analysis training class
  ☆31Updated 7 years ago
• Bl1nnnk / kAFL
  Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
  ☆18Updated 5 years ago
• vlad902 / kernel-intoverflow-taint-checker
  A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.
  ☆19Updated 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
• progmboy / kernel_vul_poc
  ☆31Updated 7 years ago
• andreafioraldi / QEMU-SanCov
  SanitizerCoverage hooks and coverage reports for user-mode QEMU
  ☆12Updated 5 years ago
• 4B5F5F4B / HyperV
  PoC for CVE-2017-0075
  ☆37Updated 5 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 4 years ago
• toshipiazza / Tigress_angr
  Futile attempt to solve the Tigress challenges using angr
  ☆22Updated 6 years ago
• JeffJerseyCow / fuzzle
  A stateful fuzzing engine.
  ☆45Updated 6 years ago
• tenable / mIDA
  ☆33Updated 2 years ago
• melbshark / relative-pattern
  Recover control flow graph from obfuscated codes
  ☆39Updated 10 years ago
• o-o-overflow / dc2019q-LCARS000
  ☆17Updated 6 years ago
• renorobert / grub-bhyve-bugs
  ☆13Updated 5 years ago
• Peterpan0927 / CVE-2017-2370
  on Mac 10.12.2
  ☆18Updated 7 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆38Updated 6 years ago
• dougallj / dj_ida_plugins
  Plugins for IDA Pro and Hex-Rays
  ☆46Updated 7 years ago
• Hypersonic / afl-dispatch
  Use Dispatch to add AFL-compatible instrumentation to your binaries
  ☆12Updated 8 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