Alternatives and similar repositories for BoKASAN

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

• sefcom / greenhouse
  ☆63Updated last year
• DaramG / CGSan
  ☆10Updated 3 years ago
• BUseclab / FuzzNG
  ☆28Updated 2 years ago
• seclab-fudan / SyzDirect
  ☆37Updated last year
• HexHive / HyperPill
  ☆56Updated 2 weeks ago
• vul337 / PrIntFuzz
  Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
  ☆60Updated 9 months ago
• wupco / KLAUS
  A framework to test the correctness of the Linux kernel patch.
  ☆22Updated last year
• NSSL-SJTU / SFuzz
  ☆90Updated 5 months ago
• kuc001 / EmTaint
  ☆40Updated 2 years ago
• badnack / angr_taint_engine
  angr's exploration technique to perform taint analysis
  ☆65Updated 5 years ago
• sslab-gatech / krace
  Source code release for the KRace project
  ☆29Updated 3 years ago
• Markakd / GREBE
  ☆79Updated 2 years ago
• cuhk-seclab / SelectFuzz
  ☆70Updated last year
• vul337 / StateFuzz
  StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing
  ☆97Updated 2 years ago
• ZHYfeng / Dependency
  ☆24Updated 3 weeks ago
• RUB-SysSec / Nyx
  USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types
  ☆203Updated 3 years ago
• KRoverSystems / KRover
  A Symbolic Execution Engine for Dynamic Kernel Analysis
  ☆31Updated last year
• RiS3-Lab / DICE-DMA-Emulation
  DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis
  ☆63Updated last year
• rchtsang / ffxe
  ☆25Updated last year
• plummm / SyzScope
  SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.
  ☆81Updated 8 months ago
• Dongdongshe / K-Scheduler
  A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).
  ☆120Updated 2 years ago
• zyingp / desockmulti
  A de-socketing tool that is 10x faster than desock (Preeny) in fuzzing network protocols
  ☆91Updated 3 years ago
• strongcourage / uafbench
  UAF Fuzzing Benchmark
  ☆56Updated 4 years ago
• casys-kaist / segfuzz
  ☆31Updated last year
• zer0fall / BENZENE
  BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation
  ☆24Updated last year
• ucsb-seclab / heapster
  Identify and test the security of dynamic memory allocators in monolithic firmware images
  ☆44Updated 2 years ago
• HexHive / datAFLow
  A data-flow-guided fuzzer
  ☆123Updated 2 years ago
• HexHive / Igor
  ☆72Updated 3 years ago
• seclab-ucr / SyzDescribe
  ☆55Updated last year
• AFLplusplus / afl-cov
  Produce code coverage results with gcov from afl-fuzz test cases
  ☆87Updated 8 months ago