OS3Lab repositories · GitHub

Repositories list

• pPatch

  Public
  Automatically reverse patches to build vulnerbility benchmark (FSE 2026)

  Python

  •

  MIT License

  •00 forks•33 stars•00 issues•22 pull requests•Updated Sep 23, 2026Sep 23, 2026

• logos

  Public
  logos for our OS³ Lab

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 10, 2026Sep 10, 2026

• KLAUSPlusPlus

  Public
  KLAUS++: Facilitating Patch Correctness Assessment with Hybrid Feedback (TDSC)

  C

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 17, 2026Aug 17, 2026

• text-embeddings-inference

  Public
  A blazing fast inference solution for text embeddings models

  Rust

  •

  Apache License 2.0

  •429429 forks•00 stars•00 issues•00 pull requests•Updated Aug 11, 2026Aug 11, 2026

• agent4kdump

  Public
  agent4kdump

  Python

  •

  GNU General Public License v3.0

  •00 forks•198198 stars•00 issues•00 pull requests•Updated Jun 14, 2026Jun 14, 2026

• pPatch_partner

  Public
  Python

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 22, 2026May 22, 2026

• qemu-kreit

  Public
  Modified qemu for binary-only kernel tracing, address sanitizer and so on

  C

  •

  Other

  •00 forks•1919 stars•00 issues•00 pull requests•Updated May 5, 2026May 5, 2026

• LDBF

  Public
  LDBF: Deep Exploration of eBPF Runtime via LLM-Driven Program Generation and Adaptive Context Orchestration (ACM CCS 2026)

  Python

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 29, 2026Apr 29, 2026

• os3lab.github.io

  Public
  The website of our HUST OS³ Lab

  MIT License

  •11 fork•11 star•00 issues•00 pull requests•Updated Mar 1, 2026Mar 1, 2026

• patch-backporting

  Public
  PORTGPT: Towards Automated Backporting Using Large Language Models(IEEE S&P2026)

  Python

  •

  MIT License

  •1515 forks•3838 stars•11 issue•11 pull request•Updated Feb 27, 2026Feb 27, 2026

• PatchAgent

  Public
  PatchAgent: A Practical Program Repair Agent Mimicking Human Expertise [USENIX Security 25]

  Python

  •

  Apache License 2.0

  •1313 forks•00 stars•00 issues•00 pull requests•Updated Feb 25, 2026Feb 25, 2026

• Repo2Lark-Gitea

  Public
  优雅地转发 Gitea Webhook 事件到飞书。

  Python

  •

  GNU General Public License v3.0

  •55 forks•00 stars•00 issues•00 pull requests•Updated Jan 21, 2026Jan 21, 2026

• py-template

  Public template
  Standard template of building a Python project.

  00 forks•00 stars•00 issues•00 pull requests•Updated Jan 14, 2026Jan 14, 2026

• slides

  Public
  Slides from our research team - HUST OS³ Lab (Open Source Operating System Optimal Security Lab)

  Other

  •11 fork•00 stars•00 issues•00 pull requests•Updated Dec 15, 2025Dec 15, 2025

• sok-kernel-hardening

  Public
  SoK: Take a Deep Step into Linux Kernel Hardening Effectiveness from the Offensive-Defensive Perspective (NDSS 2026)

  00 forks•1414 stars•00 issues•00 pull requests•Updated Dec 9, 2025Dec 9, 2025

• patch_dataset

  Public
  Patch dataset for PortGPT (IEEE S&P 2026)

  Shell

  •

  MIT License

  •33 forks•55 stars•00 issues•00 pull requests•Updated Oct 25, 2025Oct 25, 2025

• KernelGPT

  Public
  KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)

  C++

  •

  Apache License 2.0

  •3030 forks•11 star•00 issues•00 pull requests•Updated Aug 25, 2025Aug 25, 2025

• kernelsec_papers

  Public
  Paper List related with Linux Kernel Security

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 7, 2025Mar 7, 2025

• LLM4S2

  Public
  LLM for System/Software Security

  Apache License 2.0

  •11 fork•2626 stars•00 issues•00 pull requests•Updated Dec 29, 2024Dec 29, 2024

• lighthouse

  Public
  A Coverage Explorer for Reverse Engineers

  Python

  •

  MIT License

  •335335 forks•00 stars•00 issues•00 pull requests•Updated Jul 18, 2024Jul 18, 2024

• redebug

  Public
  Python

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 23, 2024Mar 23, 2024

• reproduce_kernel_bugs

  Public
  Reproduce kernel bugs found by Syzkaller and provide some useful scripts for the reproduction

  Shell

  •

  BSD 2-Clause "Simplified" License

  •55 forks•99 stars•00 issues•00 pull requests•Updated Mar 7, 2024Mar 7, 2024

• KLAUS

  Public
  Mitigating Security Risks in Linux with KLAUS: A Method for Evaluating Patch Correctness [USENIX Security 23]

  Go

  •

  Apache License 2.0

  •22 forks•00 stars•00 issues•00 pull requests•Updated Sep 29, 2023Sep 29, 2023

• crash_deduplication

  Public
  Ground Truth Dataset of our paper "An In-depth Analysis of Duplicated Linux Kernel Bug Reports" (NDSS 2022)

  Python

  •

  BSD 2-Clause "Simplified" License

  •00 forks•66 stars•00 issues•00 pull requests•Updated Jul 6, 2023Jul 6, 2023

• KernelTestingPapers

  Public
  Papers related with kernel papers

  Apache License 2.0

  •00 forks•1313 stars•00 issues•00 pull requests•Updated Mar 18, 2023Mar 18, 2023

• General_Bisection

  Public archive
  General Bisection about cause and fix

  Python

  •

  MIT License

  •00 forks•33 stars•11 issue•00 pull requests•Updated Nov 1, 2022Nov 1, 2022

• Timeline

  Public
  Timeline for Linux Kernel Attacks and Security Mitigation

  TeX

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 24, 2022Aug 24, 2022

• TraditionalMitigation

  Public
  Traditional Mitigation in GCC to defend Memory Corruption Vulnerability

  C

  •

  Apache License 2.0

  •99 forks•00 stars•00 issues•00 pull requests•Updated Jun 22, 2021Jun 22, 2021

• RENN

  Public
  Code and Data for RENN published at ASE 2019

  C

  •

  GNU General Public License v3.0

  •00 forks•44 stars•00 issues•00 pull requests•Updated Nov 3, 2019Nov 3, 2019

• pomp-x86_64

  Public archive
  POMP for x86_64

  C

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks•33 stars•11 issue•00 pull requests•Updated Feb 10, 2018Feb 10, 2018