Alternatives and similar repositories for BoKASAN

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

• seclab-ucr / SyzDescribe
  ☆57Updated last year
• BUseclab / FuzzNG
  ☆33Updated 2 years ago
• plummm / SyzScope
  SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.
  ☆83Updated last year
• Markakd / GREBE
  ☆80Updated 2 years ago
• KRoverSystems / KRover
  A Symbolic Execution Engine for Dynamic Kernel Analysis
  ☆32Updated last year
• badnack / angr_taint_engine
  angr's exploration technique to perform taint analysis
  ☆65Updated 5 years ago
• seclab-fudan / SyzDirect
  ☆39Updated last year
• vul337 / PrIntFuzz
  Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
  ☆61Updated last year
• sefcom / KHeaps
  Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability
  ☆91Updated 3 years ago
• HexHive / datAFLow
  A data-flow-guided fuzzer
  ☆124Updated 2 years ago
• sefcom / greenhouse
  ☆69Updated 2 years ago
• vul337 / StateFuzz
  StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing
  ☆97Updated 2 years ago
• cmu-pasta / linux-kernel-enriched-corpus
  Linux Kernel Fuzzer Corpus
  ☆154Updated this week
• Pamplemousse / bits_of_static_binary_analysis
  Material and examples for a presentation on static binary analysis.
  ☆46Updated 4 years ago
• kuc001 / EmTaint
  ☆47Updated 2 years ago
• HexHive / HyperPill
  ☆62Updated 3 weeks ago
• NSSL-SJTU / SFuzz
  ☆94Updated 9 months ago
• ucsb-seclab / heapster
  Identify and test the security of dynamic memory allocators in monolithic firmware images
  ☆47Updated 2 years ago
• sefcom / operation-mango-public
  ☆92Updated 8 months ago
• wupco / KLAUS
  A framework to test the correctness of the Linux kernel patch.
  ☆22Updated 2 years ago
• RUB-SysSec / Nyx
  USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types
  ☆207Updated 4 years ago
• ambergroup-labs / papora
  ☆16Updated 2 years ago
• strongcourage / uafbench
  UAF Fuzzing Benchmark
  ☆59Updated 4 years ago
• hustdebug / v-shuttle
  ☆99Updated 2 years ago
• HexHive / ViDeZZo
  ViDeZZo source code.
  ☆39Updated 9 months ago
• secsysresearch / DRFuzz
  ☆30Updated 3 years ago
• Dongdongshe / K-Scheduler
  A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).
  ☆120Updated 2 years ago
• ise-uiuc / KernelGPT
  KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)
  ☆158Updated 4 months ago
• jkrshnmenon / arbiter
  ☆237Updated 2 years ago
• ZHYfeng / Dependency
  ☆24Updated 4 months ago