Skip to content
Change the repository type filter

All

    Repositories list

    • ✨AutoPatch: LLM Based Low Level Memory Safety Bug Patching in C with Fuzzing, Address Sanitization, and Code Property Graphs
      Python
      0441Updated Jul 19, 2025Jul 19, 2025
    • ARVO-Meta

      Public
      Python
      14000Updated Jul 10, 2025Jul 10, 2025
    • A repository for Adv. Linux Kernel Programming lecture code.
      C
      0200Updated Apr 1, 2025Apr 1, 2025
    • APRBench

      Public
      A dataset containing vulnerable programs (with Dockerfile) and the inputs that trigger the bug.
      Shell
      0100Updated Jan 17, 2025Jan 17, 2025
    • .setup.sh

      Public
      A script to set up vim, oh-my-zsh, git, etc. on Ubuntu machines.
      Shell
      1100Updated Jan 16, 2025Jan 16, 2025
    • Examples to use Fuzzing (AFL) and Symbolic Execution (KLEE) to automatically find bugs.
      0000Updated Sep 26, 2024Sep 26, 2024
    • A super simple capture-the-flag (s2CTF) of buffer overflow exploits
      C
      0300Updated Sep 16, 2024Sep 16, 2024
    • RepairGPT

      Public
      Python Program that utilizes Address Sanitizer with Open AI's ChatGPT API to identify problems in code and patch them
      Python
      1100Updated Aug 4, 2024Aug 4, 2024
    • A fuzzer for Linux eBPF module; build on top of LKL
      C
      3000Updated Apr 11, 2024Apr 11, 2024
    • cs594-s24

      Public
      Course website for CS 594 - Linux Kernel Programming (LKP), Spring 2024
      SCSS
      0000Updated Mar 28, 2024Mar 28, 2024
    • criu-dsm

      Public
      Framework to scale-out applications threads across homogeneous & heterogeneous ISA nodes
      C
      3000Updated Feb 18, 2024Feb 18, 2024
    • cs487-f23

      Public
      SCSS
      0000Updated Dec 18, 2023Dec 18, 2023