sslab-gatech/kernel-analyzer 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

sslab-gatech/kernel-analyzer

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/sslab-gatech/kernel-analyzer)

Close

sslab-gatech / kernel-analyzerView on GitHubMore

• External links
• Readme badge

☆74Dec 5, 2019Updated 6 years ago

Alternatives and similar repositories for kernel-analyzer

Users that are interested in kernel-analyzer are comparing it to the libraries listed below

• sslab-gatech / kenali-kernel

  View on GitHub
  Modified Nexus 9 kernel for Kenali Project
  ☆30Aug 5, 2019Updated 6 years ago
• CRYPTOlab / kint

  View on GitHub
  git://g.csail.mit.edu/kint
  ☆51Oct 20, 2013Updated 12 years ago
• sslab-gatech / unisan

  View on GitHub
  UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages
  ☆43Nov 5, 2021Updated 4 years ago
• kengiter / lrsan

  View on GitHub
  LRSan: Detecting Lacking-Recheck Bugs in OS Kernels
  ☆30Feb 23, 2019Updated 7 years ago
• umnsec / crix

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

  View on GitHub
  CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs
  ☆45Oct 4, 2019Updated 6 years ago
• ww9210 / kepler-cfhp

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

  View on GitHub
  DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
  ☆337Apr 30, 2022Updated 3 years ago
• umnsec / ndi

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

  View on GitHub
  Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…
  ☆25Sep 5, 2021Updated 4 years ago
• secsysresearch / DRFuzz

  View on GitHub
  ☆30May 16, 2022Updated 3 years ago
• ssl-tud / k-miner

  View on GitHub
  K-Miner
  ☆75Jun 5, 2019Updated 6 years ago
• jtcriswell / llvm-dsa

  View on GitHub
  LLVM trunk with poolalloc trunk modified to compile only DSA
  ☆12Jul 9, 2015Updated 10 years ago
• ZHYfeng / Dependency

  View on GitHub
  ☆24Aug 24, 2025Updated 6 months ago
• nobalai / art_jit_parser

  View on GitHub
  Android runtime jit binary file parser
  ☆13Dec 20, 2017Updated 8 years ago
• ucsb-seclab / difuze

  View on GitHub
  Fuzzer for Linux Kernel Drivers
  ☆384Apr 30, 2022Updated 3 years ago
• umnsec / linux-bitcode

  View on GitHub
  Pre-built bitcode files for the Linux kernel
  ☆22Sep 18, 2019Updated 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
• securesystemslab / periscope

  View on GitHub
  ☆70Mar 27, 2019Updated 6 years ago
• yt0ng / SAS

  View on GitHub
  ☆10Apr 8, 2018Updated 7 years ago
• 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
  ☆48Nov 15, 2021Updated 4 years ago
• rssys / shard

  View on GitHub
  ☆13Oct 17, 2021Updated 4 years ago
• ashwinraghav / Cqual

  View on GitHub
  Type qualifiers for C
  ☆16Sep 21, 2011Updated 14 years ago
• umnsec / typm

  View on GitHub
  ☆37May 19, 2023Updated 2 years ago
• sashs / tools

  View on GitHub
  Some tools
  ☆10Dec 5, 2017Updated 8 years ago
• sslab-gatech / apisan

  View on GitHub
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆64Nov 5, 2021Updated 4 years ago
• thejh / linux

  View on GitHub
  Linux kernel source tree
  ☆18Mar 11, 2026Updated last week
• vul337 / StateFuzz

  View on GitHub
  StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing
  ☆98Aug 16, 2023Updated 2 years ago
• S2E / libs2ecore

  View on GitHub
  S2E Core Engine Library
  ☆15Jan 7, 2020Updated 6 years ago
• shvc / kernel

  View on GitHub
  kernel space code
  ☆12Jun 8, 2019Updated 6 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
• thinkmoore / llvm-analysis

  View on GitHub
  Static analysis for llvm
  ☆20Mar 31, 2015Updated 10 years ago
• chenyueqi / SLAKE

  View on GitHub
  ☆38Nov 30, 2020Updated 5 years ago
• brock7 / winpooch

  View on GitHub
  ☆10Mar 30, 2016Updated 9 years ago
• HexHive / mitiGate

  View on GitHub
  Benchmark to test different stop the exploit mitigations
  ☆18Jan 8, 2019Updated 7 years ago
• zongpy / FuzzGuard

  View on GitHub
  The released code of FuzzGuard in USENIX Security 2020.
  ☆32Feb 28, 2020Updated 6 years ago
• mars-research / lvd-bflank

  View on GitHub
  ☆13Apr 9, 2022Updated 3 years ago
• datadancer / HIAFuzz

  View on GitHub
  Hybrid Interface Aware Fuzz for Android Kernel Drivers
  ☆31Jun 25, 2021Updated 4 years ago