Alternatives and similar repositories for KernelTestingPapers

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

• secsysresearch / DRFuzz
  ☆27Updated 3 years ago
• seclab-ucr / SyzGenPlusPlus
  ☆13Updated last year
• MelbourneFuzzingHub / aflteam
  AFLTeam Collaborative Parallel Fuzzing
  ☆74Updated 2 years ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆29Updated 3 years ago
• akshithg / linux-security-papers
  ☆22Updated 5 years ago
• nyx-fuzz / spec-fuzzer
  ☆42Updated 3 years ago
• seclab-ucr / K-LEAK
  ☆19Updated last year
• adrianherrera / ball-larus-fuzz
  AFL++ using the Ball-Larus path profiling algorithm for coverage feedback
  ☆15Updated 2 years ago
• ucsb-seclab / actor
  Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)
  ☆34Updated last year
• elManto / SAST_on_Decompilers
  Code and artifacts related to the Asia CCS 2022 paper
  ☆36Updated 3 years ago
• tl455047 / DTaint
  Dtaint: taint analysis based on DFSan and llvm instrumentation
  ☆28Updated 3 years ago
• elManto / DDFuzz
  The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…
  ☆65Updated 3 years ago
• OMH4ck / mufuzz
  ☆34Updated last year
• ambergroup-labs / papora
  ☆14Updated 2 years ago
• HongliangLiang / leofuzz
  ☆18Updated 2 years ago
• bajinsheng / ReZZan
  ☆38Updated 2 years ago
• KRoverSystems / KRover
  A Symbolic Execution Engine for Dynamic Kernel Analysis
  ☆29Updated 11 months ago
• seclab-ucr / SyzBridge
  SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you t…
  ☆35Updated 6 months ago
• umnsec / typm
  ☆33Updated 2 years ago
• puzhuoliu / Awesome-Concurrency-Vulnerability-Paper
  Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.
  ☆13Updated 2 years ago
• FoRTE-Research / HeXcite
  High-Efficiency eXpanded Coverage for Improved Testing of Executables
  ☆23Updated 2 years ago
• enochii / simple-pointer-analysis
  Pointer analysis prototype (currently including anderson, steensgard).
  ☆15Updated 3 years ago
• HexHive / SieveFuzz
  Optimizing Directed Fuzzing via Target-tailored Program State Restriction
  ☆29Updated 2 years ago
• awen-li / PolyFuzz
  Holistic Greybox Fuzzing of Multi-Language Systems
  ☆26Updated 2 years ago
• chenyueqi / w2l
  ☆25Updated 4 years ago
• R-Fuzz / jigsaw
  JIGSAW is a fuzzing-based path constraint solver.
  ☆68Updated last year
• PSU-Security-Universe / data-only-attacks
  A list of data-only attacks
  ☆19Updated this week
• sekuryti / zafl
  ☆14Updated 3 years ago
• elManto / LLVMPassesForSecurity
  Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering
  ☆27Updated 2 years ago
• ZJU-SEC / Readings
  ☆61Updated 2 years ago