seclab-ucr/K-LEAK 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

seclab-ucr/K-LEAK

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/seclab-ucr/K-LEAK)

Close

seclab-ucr / K-LEAKView on GitHubMore

• External links
• Readme badge

☆20Jun 7, 2025Updated 9 months ago

Alternatives and similar repositories for K-LEAK

Users that are interested in K-LEAK are comparing it to the libraries listed below

• chenyueqi / w2l

  View on GitHub
  ☆26May 10, 2021Updated 4 years ago
• seclab-ucr / SUTURE

  View on GitHub
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆90Sep 18, 2025Updated 5 months ago
• eurecom-s3 / predictive-cs-fuzzing

  View on GitHub
  Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper
  ☆30Feb 29, 2024Updated 2 years ago
• ucsb-seclab / actor

  View on GitHub
  Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)
  ☆39May 6, 2024Updated last year
• Markakd / GREBE

  View on GitHub
  ☆81Sep 7, 2023Updated 2 years ago
• ZHYfeng / Generate_Linux_Kernel_Bitcode

  View on GitHub
  ☆37Jun 23, 2025Updated 8 months ago
• dslab-epfl / asap

  View on GitHub
  Official repository for ASAP: High System-code Security at Low Overhead
  ☆26Dec 3, 2015Updated 10 years ago
• bitsecurerlab / LogicMem

  View on GitHub
  ☆10Mar 24, 2022Updated 3 years ago
• liu-junming / ChatGPT-Vulnerability-Management

  View on GitHub
  ☆21Aug 25, 2024Updated last year
• securesystemslab / sanitizing-for-security-benchmarks

  View on GitHub
  ☆25Oct 4, 2018Updated 7 years ago
• s3team / DeepType

  View on GitHub
  ☆29Aug 7, 2025Updated 7 months ago
• kkamagui / page-oriented-programming

  View on GitHub
  Page-Oriented Programming (POP) Tools for Black Hat USA 2023 and USENIX security 2024
  ☆60Aug 7, 2024Updated last year
• ZHYfeng / Dependency

  View on GitHub
  ☆24Aug 24, 2025Updated 6 months ago
• Markakd / kernel_exploit

  View on GitHub
  Linux kernel exploit
  ☆13Oct 6, 2021Updated 4 years ago
• SecurityLab-UCD / IRFuzzer

  View on GitHub
  [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation
  ☆21Mar 26, 2025Updated 11 months ago
• uf0o / exploit_dev

  View on GitHub
  A collection of various exploits
  ☆28Sep 17, 2024Updated last year
• bda-tool / bda

  View on GitHub
  BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation
  ☆31Feb 26, 2021Updated 5 years ago
• mars-research / lvd-bflank

  View on GitHub
  ☆13Apr 9, 2022Updated 3 years ago
• srg-imperial / GrayC

  View on GitHub
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆62Jan 28, 2026Updated last month
• AFLplusplus / libafl_fuzzbench

  View on GitHub
  Fuzzers implemented with libafl to evaluate several techniques on fuzzbench
  ☆13Oct 10, 2024Updated last year
• w0lfzhang / kernel_exploit

  View on GitHub
  some kernel exploit challenges and cve analysis
  ☆26Nov 30, 2018Updated 7 years ago
• PKU-ASAL / WASEM

  View on GitHub
  WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries
  ☆18Sep 30, 2024Updated last year
• KRoverSystems / KRover

  View on GitHub
  A Symbolic Execution Engine for Dynamic Kernel Analysis
  ☆33Jun 16, 2024Updated last year
• SanRazor-repo / SanRazor

  View on GitHub
  SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
  ☆56Jun 6, 2021Updated 4 years ago
• BUseclab / FirmSolo

  View on GitHub
  ☆20Jul 16, 2024Updated last year
• OS3Lab / KernelTestingPapers

  View on GitHub
  Papers related with kernel papers
  ☆13Mar 18, 2023Updated 2 years ago
• xhding-smu / OASIS

  View on GitHub
  Onsite Analysis Infrastructure
  ☆16Jun 23, 2020Updated 5 years ago
• evilpan / audit.vim

  View on GitHub
  Code audit (code review) with VIM.
  ☆17Jan 3, 2025Updated last year
• CTSRD-SOAAP / soaap

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

  View on GitHub
  Kernel isolation tester.
  ☆18Oct 20, 2022Updated 3 years ago
• HexHive / ViDeZZo

  View on GitHub
  ViDeZZo source code.
  ☆39Apr 15, 2025Updated 10 months ago
• JiangJias / APP-Miner

  View on GitHub
  ☆21Nov 14, 2024Updated last year
• Sbouber / honggfuzz-dharma

  View on GitHub
  Integrate the dharma grammar fuzzer into honggfuzz
  ☆26Aug 11, 2017Updated 8 years ago
• rssys / shard

  View on GitHub
  ☆13Oct 17, 2021Updated 4 years ago
• sfu-rsl / symrustc

  View on GitHub
  SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.
  ☆11Jun 28, 2023Updated 2 years ago
• ww9210 / kepler-cfhp

  View on GitHub
  Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability
  ☆62Sep 4, 2019Updated 6 years ago
• timmyyuan / Security-Papers

  View on GitHub
  Security papers about software vulnerabilities and exploits
  ☆14Jan 16, 2019Updated 7 years ago
• umnsec / ndi

  View on GitHub
  Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs
  ☆16Nov 7, 2022Updated 3 years ago
• HexHive / SyzRisk

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