Skip to content
@seclab-ucr

UCR Security Lab

Popular repositories Loading

  1. INTANG INTANG Public

    C 2.8k 549

  2. SymTCP SymTCP Public

    Automatic Discrepancy Discovery for DPI Elusion

    Python 256 28

  3. tcp_exploit tcp_exploit Public

    Off-Path TCP Exploit: How Wireless Routers Can Jeopardize Your Secret

    JavaScript 108 39

  4. SUTURE SUTURE Public

    Precise and high-order static points-to/taint analysis based on LLVM IR.

    C++ 93 15

  5. KOOBE KOOBE Public

    Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities

    89 15

  6. LLift LLift Public

    The source code of project "LLift" (Enhancing static analysis with LLM)

    Python 88 15

Repositories

Showing 10 of 42 repositories
  • NeuroMerge Public

    NeuroMerge: ML-Guided State Merging for Efficient Symbolic Execution (ISSRE 2026)

    seclab-ucr/NeuroMerge's past year of commit activity
    C++ 0 0 0 0 Updated Sep 8, 2026
  • BugLens Public

    The repo of "BugLens"

    seclab-ucr/BugLens's past year of commit activity
    CodeQL 42 3 0 0 Updated Jul 5, 2026
  • StepStone Public
    seclab-ucr/StepStone's past year of commit activity
    Go 11 1 0 0 Updated Apr 10, 2026
  • SyzSpec Public
    seclab-ucr/SyzSpec's past year of commit activity
    C++ 17 4 3 0 Updated Feb 23, 2026
  • LLMBisect Public
    seclab-ucr/LLMBisect's past year of commit activity
    Python 3 0 0 0 Updated Feb 23, 2026
  • KallGraph Public
    seclab-ucr/KallGraph's past year of commit activity
    C++ 39 MIT 11 1 0 Updated Feb 5, 2026
  • DualLM Public

    Repo for "What Do They Fix? LLM-Aided Categorization of Security Patches for Critical Memory Bugs", NDSS 2026

    seclab-ucr/DualLM's past year of commit activity
    Python 3 BSD-2-Clause 1 1 0 Updated Jan 21, 2026
  • airsnitch Public
    seclab-ucr/airsnitch's past year of commit activity
    C 2 0 0 0 Updated Dec 17, 2025
  • SUTURE Public

    Precise and high-order static points-to/taint analysis based on LLVM IR.

    seclab-ucr/SUTURE's past year of commit activity
    C++ 93 BSD-2-Clause 15 1 0 Updated Sep 19, 2025
  • BugLens-Code Public

    The source code for "BugLens"

    seclab-ucr/BugLens-Code's past year of commit activity
    Python 14 1 0 0 Updated Sep 11, 2025

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…