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 384 61

  2. BootStomp BootStomp Public

    BootStomp: a bootloader vulnerability finder

    Python 378 68

  3. difuze difuze Public

    Fuzzer for Linux Kernel Drivers

    C++ 367 80

  4. dr_checker dr_checker Public

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

    C++ 329 71

  5. leakless leakless Public

    Function redirection via ELF tricks.

    Python 156 29

  6. hal-fuzz hal-fuzz Public

    Source code of HAL-fuzz

    137 26

Repositories

Showing 10 of 63 repositories
  • 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 10 0 0 0 Updated Sep 19, 2024
  • greed Public

    A symbolic execution engine for EVM smart contract binaries.

    ucsb-seclab/greed’s past year of commit activity
    Python 73 MIT 10 6 1 Updated Aug 6, 2024
  • ucsb-seclab/GUIDE-ENRICHER’s past year of commit activity
    Python 1 0 0 0 Updated Jul 21, 2024
  • ucsb-seclab/default-effect-paper’s past year of commit activity
    Python 0 0 0 0 Updated Jul 20, 2024
  • packware Public

    Effects of packers on machine-learning-based malware classifiers that use only static analysis

    ucsb-seclab/packware’s past year of commit activity
    Python 82 17 0 1 Updated Jun 17, 2024
  • xplor-cvex Public

    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 Jun 7, 2024
  • actor Public

    Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)

    ucsb-seclab/actor’s past year of commit activity
    Go 27 6 0 0 Updated May 6, 2024
  • erigon Public Forked from erigontech/erigon

    Ethereum implementation on the efficiency frontier

    ucsb-seclab/erigon’s past year of commit activity
    Go 0 LGPL-3.0 1,163 0 0 Updated Apr 10, 2024
  • klee Public Forked from klee/klee

    KLEE Symbolic Execution Engine

    ucsb-seclab/klee’s past year of commit activity
    C++ 0 687 0 0 Updated Apr 10, 2024
  • diane Public

    DiAne is a smart fuzzer for IoT devices

    ucsb-seclab/diane’s past year of commit activity
    Python 38 7 4 1 Updated Apr 3, 2024