Skip to content
@ucsb-seclab

SecLab

The Computer Security Group at UC Santa Barbara

Popular repositories Loading

  1. BootStomp BootStomp Public

    BootStomp: a bootloader vulnerability finder

    Python 381 72

  2. karonte karonte Public

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

    Python 381 61

  3. difuze difuze Public

    Fuzzer for Linux Kernel Drivers

    C++ 366 83

  4. dr_checker dr_checker Public

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

    C++ 331 71

  5. leakless leakless Public

    Function redirection via ELF tricks.

    Python 154 29

  6. hal-fuzz hal-fuzz Public

    Source code of HAL-fuzz

    138 26

Repositories

Showing 10 of 63 repositories
  • 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
  • ucsb-seclab/chainreactor’s past year of commit activity
    PDDL 3 0 0 0 Updated Jul 20, 2024
  • greed Public

    A symbolic execution engine for EVM smart contract binaries.

    ucsb-seclab/greed’s past year of commit activity
    Python 70 MIT 8 7 1 Updated Jun 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 81 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 26 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,146 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 682 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