RiS3-Lab/kubo external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

RiS3-Lab/kubo

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/RiS3-Lab/kubo)

Close

RiS3-Lab / kuboView on GitHubMore

• External links
• Readme badge

Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detection for Linux kernel.

☆25Sep 5, 2021Updated 4 years ago

Alternatives and similar repositories for kubo

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

• seclab-ucr / IncreLux

  View on GitHub
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆33Apr 6, 2022Updated 3 years ago
• sslab-gatech / deadline

  View on GitHub
  ☆47Nov 15, 2021Updated 4 years ago
• OS3Lab / KernelTestingPapers

  View on GitHub
  Papers related with kernel papers
  ☆13Mar 18, 2023Updated 2 years ago
• ZHYfeng / Dependency

  View on GitHub
  ☆24Aug 24, 2025Updated 6 months ago
• rssys / shard

  View on GitHub
  ☆13Oct 17, 2021Updated 4 years ago
• lzto / pex

  View on GitHub
  [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel
  ☆79Dec 30, 2021Updated 4 years ago
• mlfbrown / sys2

  View on GitHub
  Sys, but no longer in Haskell
  ☆19Mar 14, 2022Updated 3 years ago
• seclab-ucr / SyzScope

  View on GitHub
  SyzScope is a research project that aims to reveal high-risk security bug from Syzbot. Learn more details in our paper.
  ☆24Nov 17, 2021Updated 4 years ago
• umnsec / linux-bitcode

  View on GitHub
  Pre-built bitcode files for the Linux kernel
  ☆22Sep 18, 2019Updated 6 years ago
• mechaphish / compilerex

  View on GitHub
  POV templates and compilation support for CGC binaries.
  ☆10May 19, 2022Updated 3 years ago
• yifengchen-cc / AFLplusplusSmart

  View on GitHub
  AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)
  ☆11Oct 20, 2020Updated 5 years ago
• trusslab / hecaton

  View on GitHub
  ☆12Apr 23, 2021Updated 4 years ago
• yzhang71 / Rust_C_Benchmarks

  View on GitHub
  Rust and C Benchmarks
  ☆14Nov 21, 2024Updated last year
• umnsec / crix

  View on GitHub
  Detect missing check bugs in OS kernels
  ☆113Sep 23, 2023Updated 2 years ago
• w0lfzhang / kernel_exploit

  View on GitHub
  some kernel exploit challenges and cve analysis
  ☆26Nov 30, 2018Updated 7 years ago
• monkbai / DecFuzzer

  View on GitHub
  Decompiler Fuzzing Test with EMI mutation
  ☆16Apr 23, 2020Updated 5 years ago
• ivicanikolicsg / SivoFuzzer

  View on GitHub
  Grey-box fuzzer SIVO
  ☆13Jul 11, 2021Updated 4 years ago
• mars-research / lvd-bflank

  View on GitHub
  ☆13Apr 9, 2022Updated 3 years ago
• ICSE2020-MemLock / MemLock

  View on GitHub
  MemLock: Memory Usage Guided Fuzzing
  ☆32Jun 30, 2020Updated 5 years ago
• seclab-ucr / SyzDescribe

  View on GitHub
  ☆58May 10, 2024Updated last year
• gryan11 / PGA

  View on GitHub
  Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…
  ☆32Apr 29, 2021Updated 4 years ago
• CTSRD-SOAAP / soaap

  View on GitHub
  Security-Oriented Analysis of Application Programs
  ☆13Dec 14, 2018Updated 7 years ago
• messlabnyu / irqdebloat

  View on GitHub
  ☆14Dec 10, 2021Updated 4 years ago
• khale / kernel-rootkit-poc

  View on GitHub
  PoC for a kernel rootkit
  ☆10Feb 20, 2020Updated 6 years ago
• vul337 / PrIntFuzz

  View on GitHub
  Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
  ☆63Dec 2, 2024Updated last year
• sslab-gatech / krace

  View on GitHub
  Source code release for the KRace project
  ☆31Nov 15, 2021Updated 4 years ago
• seclab-fudan / SyzDirect

  View on GitHub
  ☆39May 31, 2024Updated last year
• HexHive / SyzRisk

  View on GitHub
  Official repository of SyzRisk [ASIA CCS'24]
  ☆12Aug 20, 2024Updated last year
• ForAllSecure / GraphFuzz

  View on GitHub
  GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.
  ☆10Apr 21, 2022Updated 3 years ago
• chenyueqi / SLAKE

  View on GitHub
  ☆38Nov 30, 2020Updated 5 years ago
• sslab-gatech / kernel-analyzer

  View on GitHub
  ☆74Dec 5, 2019Updated 6 years ago
• zongpy / FuzzGuard

  View on GitHub
  The released code of FuzzGuard in USENIX Security 2020.
  ☆32Feb 28, 2020Updated 6 years ago
• ash09 / angr-static-analysis-for-vuzzer64

  View on GitHub
  Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool
  ☆22Aug 3, 2020Updated 5 years ago
• GrammaTech / gtirb-rewriting

  View on GitHub
  Python API for rewriting GTIRB files
  ☆19Nov 6, 2025Updated 3 months ago
• adrianherrera / ball-larus-fuzz

  View on GitHub
  AFL++ using the Ball-Larus path profiling algorithm for coverage feedback
  ☆15Oct 31, 2022Updated 3 years ago
• dvyukov / syzkaller-repros

  View on GitHub
  Collection of syzkaller bug reproducers for Linux
  ☆43May 16, 2022Updated 3 years ago
• gaoxiang9430 / Fix2Fit

  View on GitHub
  ☆20Jun 23, 2021Updated 4 years ago
• seclab-ucr / K-LEAK

  View on GitHub
  ☆20Jun 7, 2025Updated 8 months ago
• AFLplusplus / libafl_paper_artifacts

  View on GitHub
  ☆19Dec 9, 2022Updated 3 years ago