Skip to content
@ucsb-seclab

SecLab

The Computer Security Group at UC Santa Barbara

Popular repositories Loading

  1. karonte karonte Public

    Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware

    Python 412 60

  2. BootStomp BootStomp Public

    BootStomp: a bootloader vulnerability finder

    Python 407 67

  3. difuze difuze Public

    Fuzzer for Linux Kernel Drivers

    C++ 384 87

  4. dr_checker dr_checker Public

    DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers

    C++ 337 70

  5. leakless leakless Public

    Function redirection via ELF tricks.

    Python 161 27

  6. hal-fuzz hal-fuzz Public

    Source code of HAL-fuzz

    154 30

Repositories

Showing 10 of 69 repositories
  • greed Public

    A symbolic execution engine for EVM smart contract binaries.

    ucsb-seclab/greed’s past year of commit activity
    Python 115 MIT 18 8 2 Updated Sep 4, 2025
  • syzgrapher Public

    Source code accompanying the RAID 2025 paper "SyzGrapher: Resource-Centric Graph-Based Kernel Fuzzing"

    ucsb-seclab/syzgrapher’s past year of commit activity
    1 0 0 0 Updated Aug 20, 2025
  • popkorn-artifact Public
    ucsb-seclab/popkorn-artifact’s past year of commit activity
    Python 83 MIT 11 1 0 Updated Aug 16, 2025
  • osprey Public
    ucsb-seclab/osprey’s past year of commit activity
    Python 2 0 0 0 Updated Jun 5, 2025
  • DeepCapa Public

    Automatically recognizing Mitre Att&ck Techniques in Windows Malware

    ucsb-seclab/DeepCapa’s past year of commit activity
    Python 5 0 0 0 Updated Mar 27, 2025
  • klee Public Forked from klee/klee

    KLEE Symbolic Execution Engine

    ucsb-seclab/klee’s past year of commit activity
    C++ 0 712 0 0 Updated Mar 18, 2025
  • CVEX Public

    CVEX is a framework for the reproducible exploitation of CVE vulnerabilities

    ucsb-seclab/CVEX’s past year of commit activity
    Python 9 8 9 1 Updated Jan 15, 2025
  • CVEX-records Public

    CVEX Records

    ucsb-seclab/CVEX-records’s past year of commit activity
    Python 4 33 0 12 Updated Dec 7, 2024
  • chainreactor Public

    ChainReactor is a research project that leverages AI planning to discover exploitation chains for privilege escalation on Unix systems. The project models the problem as a sequence of actions to achieve privilege escalation from initial access to a target system.

    ucsb-seclab/chainreactor’s past year of commit activity
    PDDL 51 1 1 0 Updated Nov 3, 2024
  • xplor-cvex Public archive

    Public website and package registry for CVEX exploration with ERSP group 23/24

    ucsb-seclab/xplor-cvex’s past year of commit activity
    HTML 0 0 0 0 Updated Oct 16, 2024
View all repositories