Alternatives and similar repositories for BpfChecker

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

• cokeBeer / LibAFL-Learn
  一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。
  ☆34Updated last year
• Vulnerability-Detection / z3-study
  z3 solver 学习
  ☆51Updated 2 years ago
• adrianherrera / ball-larus-fuzz
  AFL++ using the Ball-Larus path profiling algorithm for coverage feedback
  ☆15Updated 2 years ago
• secure-foundations / trex
  🦖 Reconstruct Types from Binary Code
  ☆16Updated last month
• HexHive / teezz-fuzzer
  ☆24Updated last year
• kupl / SeamFuzz-Artifact
  SeamFuzz Artifact repository for ICSE 2023
  ☆14Updated 2 years ago
• salmonx / seeds
  模糊测试种子库 comprehensive croups for fuzzing seeds with carfefully selected(rate=coverage/filesize)
  ☆23Updated 4 years ago
• OffsideLabs / research
  ☆37Updated last year
• OMH4ck / mufuzz
  ☆36Updated last year
• HexHive / Tango
  Tango: Extracting Higher-Order Feedback through State Inference
  ☆17Updated 11 months ago
• boschresearch / mlfuzz
  ☆17Updated last year
• seclab-ucr / SUTURE
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆80Updated last month
• ise-uiuc / KernelGPT
  KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)
  ☆124Updated last month
• HexHive / FishFuzz
  AFL/AFL++ version FishFuzz
  ☆92Updated 4 months ago
• trusslab / brf
  ☆18Updated last year
• awen-li / PolyCruise
  A Cross-Language Dynamic Information Flow Analysis.
  ☆24Updated 2 years ago
• HUSTSeclab / KernelTestingPapers
  Papers related with kernel papers
  ☆13Updated 2 years ago
• waugustus / CarpetFuzz-fuzzer
  CarpetFuzz's fuzzer component. Belongs to CarpetFuzz main repo.
  ☆14Updated last year
• umnsec / mlta
  TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
  ☆95Updated last year
• ucsb-seclab / actor
  Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)
  ☆34Updated last year
• casys-kaist / segfuzz
  ☆31Updated last year
• boschresearch / neuzzplusplus
  ☆21Updated last year
• R-Fuzz / jigsaw
  JIGSAW is a fuzzing-based path constraint solver.
  ☆69Updated last year
• FOX-Fuzz / FOX
  Coverage-guided Fuzzing as Online Stochastic Control
  ☆51Updated 8 months ago
• HongliangLiang / leofuzz
  ☆18Updated 2 years ago
• Troublor / Nyx
  Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts
  ☆18Updated last year
• 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
• Yunlongs / Goshawk
  Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…
  ☆98Updated last year
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆110Updated 2 years ago
• YZloser / My-CTF-Challenges
  My-CTF-Challenges
  ☆15Updated 3 years ago