sslab-gatech/deadline 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/deadline

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/deadline)

Close

sslab-gatech / deadlineView on GitHubMore

• External links
• Readme badge

☆47Nov 15, 2021Updated 4 years ago

Alternatives and similar repositories for deadline

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

• umnsec / linux-bitcode

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

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

  View on GitHub
  LRSan: Detecting Lacking-Recheck Bugs in OS Kernels
  ☆30Feb 23, 2019Updated 7 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
• umnsec / cheq

  View on GitHub
  CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs
  ☆45Oct 4, 2019Updated 6 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
• ssl-tud / k-miner

  View on GitHub
  K-Miner
  ☆74Jun 5, 2019Updated 6 years ago
• shamedgh / temporal-specialization

  View on GitHub
  This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…
  ☆38Nov 14, 2024Updated last year
• seclab-ucr / UBITect

  View on GitHub
  ☆42Oct 26, 2022Updated 3 years ago
• UCL-CREST / doublefetch

  View on GitHub
  ☆19Jun 14, 2018Updated 7 years ago
• trusslab / hecaton

  View on GitHub
  ☆12Apr 23, 2021Updated 4 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
• rssys / kit

  View on GitHub
  Kernel isolation tester.
  ☆18Oct 20, 2022Updated 3 years ago
• 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
• sslab-gatech / unisan

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

  View on GitHub
  ☆15May 26, 2021Updated 4 years ago
• uni-due-syssec / teerex-exploits

  View on GitHub
  PoC exploits against various SGX enclaves
  ☆14May 19, 2022Updated 3 years ago
• securesystemslab / periscope

  View on GitHub
  ☆69Mar 27, 2019Updated 6 years ago
• hardenedlinux / harbian-qa

  View on GitHub
  Bug hunting through fuzzer/*-sanitizer/etc...
  ☆133Dec 18, 2020Updated 5 years ago
• 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
• CRYPTOlab / kint

  View on GitHub
  git://g.csail.mit.edu/kint
  ☆51Oct 20, 2013Updated 12 years ago
• thejh / linux

  View on GitHub
  Linux kernel source tree
  ☆18Jul 17, 2025Updated 7 months ago
• chenyueqi / SLAKE

  View on GitHub
  ☆38Nov 30, 2020Updated 5 years ago
• bin2415 / fuzzing_paper

  View on GitHub
  fuzzing related paper
  ☆226Jul 4, 2021Updated 4 years ago
• ucsb-seclab / sasi

  View on GitHub
  Signedness-Agnostic Strided-Interval
  ☆38Jun 21, 2019Updated 6 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
• umnsec / mlta

  View on GitHub
  TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
  ☆101Nov 10, 2025Updated 3 months ago
• ww9210 / kepler-cfhp

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

  View on GitHub
  ☆61Jun 20, 2022Updated 3 years ago
• SVF-tools / SVF

  View on GitHub
  Static Value-Flow Analysis Framework for Source Code
  ☆1,652Feb 23, 2026Updated last week
• vusec / uncontained

  View on GitHub
  Uncovering Container Confusion in the Linux Kernel
  ☆46Feb 27, 2024Updated 2 years ago
• sslab-gatech / kernel-analyzer

  View on GitHub
  ☆74Dec 5, 2019Updated 6 years ago
• columbia / neongoby

  View on GitHub
  NeonGoby alias analysis checker
  ☆14Jul 2, 2013Updated 12 years ago
• starnightcyber / vul-info-collect

  View on GitHub
  从美国国家漏洞库NVD获取某个特定版本软件的漏洞统计信息。
  ☆16Mar 29, 2022Updated 3 years ago
• ispras / sydr-benchmark

  View on GitHub
  Sydr benchmark applications
  ☆17Jul 25, 2022Updated 3 years ago
• mechaphish / compilerex

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

  View on GitHub
  This is the repository for the code and artifacts related to the CCS2022 paper: C2C: Fine-grained Configuration-driven System Call Filter…
  ☆11Nov 4, 2022Updated 3 years ago
• vul337 / StateFuzz

  View on GitHub
  StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing
  ☆97Aug 16, 2023Updated 2 years ago
• sslab-gatech / hdfi

  View on GitHub
  Hardware-assisted Data-flow Isolation
  ☆29Jan 28, 2018Updated 8 years ago