Repositories list

• qemu-kreit

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

  C

  •

  Other

  •0•13•0•0•Updated Feb 3, 2025Feb 3, 2025

• criticality_score

  Public
  Criticality Score calculated by our metrics

  Go

  •

  Apache License 2.0

  •1•14•13•0•Updated Jan 29, 2025Jan 29, 2025

• graph-dep-visualization

  Public
  JavaScript

  •

  Apache License 2.0

  •0•0•0•0•Updated Jan 4, 2025Jan 4, 2025

• LLM4S2

  Public
  LLM for System/Software Security

  Apache License 2.0

  •1•2•0•0•Updated Dec 29, 2024Dec 29, 2024

• lighthouse

  Public
  A Coverage Explorer for Reverse Engineers

  Python

  •

  MIT License

  •310•0•0•0•Updated Jul 18, 2024Jul 18, 2024

• redebug

  Public
  Python

  •

  MIT License

  •0•0•0•0•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

  •6•6•0•0•Updated Mar 7, 2024Mar 7, 2024

• docs

  Public archive
  Documentation about our HUST Seclab

  Makefile

  •

  MIT License

  •0•1•0•0•Updated Mar 1, 2024Mar 1, 2024

• crash_deduplication

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

  Python

  •

  BSD 2-Clause "Simplified" License

  •0•5•0•0•Updated Jul 6, 2023Jul 6, 2023

• KernelTestingPapers

  Public
  Papers related with kernel papers

  Apache License 2.0

  •0•13•0•0•Updated Mar 18, 2023Mar 18, 2023

• General_Bisection

  Public archive
  General Bisection about cause and fix

  Python

  •

  MIT License

  •0•3•1•0•Updated Nov 1, 2022Nov 1, 2022

• Timeline

  Public
  Timeline for Linux Kernel Attacks and Security Mitigation

  TeX

  •0•0•0•0•Updated Aug 24, 2022Aug 24, 2022

• pomp-x86_64

  Public
  POMP for x86_64

  C

  •

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

  •0•3•1•0•Updated Feb 10, 2018Feb 10, 2018