Skip to content
Change the repository type filter

All

    Repositories list

    • BugLens

      Public
      The repo of "BugLens"
      CodeQL
      11010Updated Aug 26, 2025Aug 26, 2025
    • The source code for "BugLens"
      Python
      1500Updated Aug 19, 2025Aug 19, 2025
    • CCS24Mesh

      Public
      Python
      11120Updated Jul 24, 2025Jul 24, 2025
    • INTANG

      Public
      C
      5592.9k212Updated Jun 11, 2025Jun 11, 2025
    • SUTURE

      Public
      Precise and high-order static points-to/taint analysis based on LLVM IR.
      C++
      138300Updated Jun 7, 2025Jun 7, 2025
    • K-LEAK

      Public
      C++
      31900Updated Jun 7, 2025Jun 7, 2025
    • KallGraph

      Public
      C++
      102621Updated May 29, 2025May 29, 2025
    • SCAD

      Public
      SCAD: Towards a Universal and Automated Network Side-Channel Vulnerability Detection
      C++
      1200Updated Dec 3, 2024Dec 3, 2024
    • SyzBridge

      Public
      SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you to do a lot of cool things with Syzbot bugs
      Python
      63600Updated Nov 26, 2024Nov 26, 2024
    • TPrunify

      Public
      LLVM
      0200Updated Aug 14, 2024Aug 14, 2024
    • SymBisect

      Public
      C++
      2100Updated Jun 17, 2024Jun 17, 2024
    • C++
      85510Updated May 10, 2024May 10, 2024
    • KOOBE

      Public
      Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities
      178933Updated May 7, 2024May 7, 2024
    • LLift

      Public
      The source code of project "LLift" (Enhancing static analysis with LLM)
      Python
      127500Updated Mar 5, 2024Mar 5, 2024
    • Python
      51540Updated Dec 4, 2023Dec 4, 2023
    • INFUZE

      Public
      Python
      0000Updated Nov 6, 2023Nov 6, 2023
    • Go
      6200Updated Oct 23, 2023Oct 23, 2023
    • GPT-Expr

      Public
      Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
      43500Updated Aug 17, 2023Aug 17, 2023
    • Unias

      Public
      A Hybrid Alias Analysis
      C++
      31910Updated Aug 10, 2023Aug 10, 2023
    • Themis

      Public
      Themis: Ambiguity-Aware Network Intrusion Detection based on Symbolic Model Comparison
      C++
      52301Updated Mar 4, 2023Mar 4, 2023
    • SADDNS2.0

      Public
      Go
      21610Updated Feb 2, 2023Feb 2, 2023
    • UBITect

      Public
      C++
      114110Updated Oct 26, 2022Oct 26, 2022
    • IncreLux

      Public
      Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
      C++
      53110Updated Apr 6, 2022Apr 6, 2022
    • A4

      Public
      Code and dataset release for our ACSAC 2021 paper titled "Eluding ML-based Adblockers With Actionable Adversarial Examples".
      HTML
      3610Updated Dec 10, 2021Dec 10, 2021
    • SyzScope

      Public
      SyzScope is a research project that aims to reveal high-risk security bug from Syzbot. Learn more details in our paper.
      Python
      172400Updated Nov 17, 2021Nov 17, 2021
    • Go
      134821Updated Oct 28, 2021Oct 28, 2021
    • SADDNS

      Public
      SADDNS: Side Channel Based DNS Cache Poisoning Attack
      C
      86100Updated Sep 27, 2021Sep 27, 2021
    • SyzVegas

      Public
      Syzkaller with MAB scheduling and seed selection
      Go
      91000Updated Jun 2, 2021Jun 2, 2021
    • An Investigation of the Android Kernel Patch Ecosystem Usenix security 21
      Python
      3600Updated Mar 1, 2021Mar 1, 2021
    • CLAP

      Public
      This repository hosts the implementation of CLAP (Context Learning-based Adversarial Protection) that is proposed in our CoNEXT 2020 paper titled "You Do (Not) Belong Here: Detecting DPI Evasion Attacks with Context Learning". The code here can be used to reproduce the main results in the paper.
      Python
      2900Updated Nov 11, 2020Nov 11, 2020