Alternatives and similar repositories for BoKASAN

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

• badnack / angr_taint_engine
  angr's exploration technique to perform taint analysis
  ☆65Updated 5 years ago
• HexHive / HyperPill
  ☆59Updated 2 months ago
• seclab-fudan / SyzDirect
  ☆38Updated last year
• DaramG / CGSan
  ☆10Updated 3 years ago
• BUseclab / FuzzNG
  ☆29Updated 2 years ago
• sefcom / greenhouse
  ☆65Updated 2 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
• vul337 / StateFuzz
  StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing
  ☆97Updated 2 years ago
• wupco / KLAUS
  A framework to test the correctness of the Linux kernel patch.
  ☆22Updated 2 years ago
• NSSL-SJTU / SFuzz
  ☆92Updated 7 months ago
• KRoverSystems / KRover
  A Symbolic Execution Engine for Dynamic Kernel Analysis
  ☆32Updated last year
• seclab-ucr / SyzDescribe
  ☆56Updated last year
• cmu-pasta / linux-kernel-enriched-corpus
  Linux Kernel Fuzzer Corpus
  ☆151Updated this week
• jkrshnmenon / arbiter
  ☆234Updated last year
• cuhk-seclab / SelectFuzz
  ☆69Updated last year
• vul337 / PrIntFuzz
  Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
  ☆60Updated 11 months ago
• zyingp / desockmulti
  A de-socketing tool that is 10x faster than desock (Preeny) in fuzzing network protocols
  ☆92Updated 3 years ago
• ucsb-seclab / heapster
  Identify and test the security of dynamic memory allocators in monolithic firmware images
  ☆46Updated 2 years ago
• sslab-gatech / krace
  Source code release for the KRace project
  ☆29Updated 3 years ago
• Markakd / GREBE
  ☆80Updated 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.
  ☆82Updated 9 months ago
• PSU-Security-Universe / countdown
  A Refcount-guided Fuzzer for Exposing Temporal Memory Errors in Linux Kernel
  ☆24Updated 4 months ago
• Pamplemousse / bits_of_static_binary_analysis
  Material and examples for a presentation on static binary analysis.
  ☆45Updated 4 years ago
• RUB-SysSec / Nyx
  USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types
  ☆206Updated 3 years ago
• puppet-meteor / MOpt-AFL
  MOpt-AFL provided by the paper "MOPT: Optimized Mutation Scheduling for Fuzzers"
  ☆215Updated 4 years ago
• ZHYfeng / Dependency
  ☆24Updated 2 months ago
• zyw-200 / EQUAFL
  ☆30Updated 2 years ago
• HexHive / datAFLow
  A data-flow-guided fuzzer
  ☆124Updated 2 years ago
• AFLplusplus / afl-cov
  Produce code coverage results with gcov from afl-fuzz test cases
  ☆88Updated 10 months ago
• HexHive / Igor
  ☆74Updated 3 years ago