Skip to content

Pinned Loading

  1. IRFuzzer IRFuzzer Public

    [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation

    Python 20 3

  2. LLAMAFUZZ LLAMAFUZZ Public

    [AST'26] LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing

    Python 23 2

  3. UniTSyn UniTSyn Public

    [ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing

    Python 12 1

  4. FuzzAug FuzzAug Public

    [EMNLP'25] FuzzAug: Data Augmentation by Coverage-guided Fuzzing for Neural Test Generation

    Python 6 1

  5. ai-agent-security ai-agent-security Public

    [RAIE'25] This repository contains source code for the demos and attacks we present in our paper `Security of AI Agents`.

    Python 6 2

  6. TF-Bench TF-Bench Public

    [NeurIPS'25] Evaluating Program Semantics Reasoning with Type Inference in System F

    Python 3

Repositories

Showing 10 of 37 repositories
  • game-fuzz-trophies Public

    Archive Fuzzing Trophies for the Game Fuzz Project

    SecurityLab-UCD/game-fuzz-trophies’s past year of commit activity
    0 0 0 0 Updated Mar 8, 2026
  • gamecov Public

    Map coverage for automated game play-testing

    SecurityLab-UCD/gamecov’s past year of commit activity
    Python 0 0 1 0 Updated Feb 11, 2026
  • CGNTG Public Forked from FuzzAnything/PromptFuzz

    PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' prompts.

    SecurityLab-UCD/CGNTG’s past year of commit activity
    Rust 2 41 0 0 Updated Jan 25, 2026
  • oss-fuzz-lisa Public Forked from google/oss-fuzz

    OSS-Fuzz - continuous fuzzing for open source software.

    SecurityLab-UCD/oss-fuzz-lisa’s past year of commit activity
    Shell 0 Apache-2.0 2,834 0 0 Updated Jan 13, 2026
  • vllm Public Forked from vllm-project/vllm

    A high-throughput and memory-efficient inference and serving engine for LLMs

    SecurityLab-UCD/vllm’s past year of commit activity
    Python 0 Apache-2.0 15,736 0 0 Updated Dec 20, 2025
  • TF-Bench Public

    [NeurIPS'25] Evaluating Program Semantics Reasoning with Type Inference in System F

    SecurityLab-UCD/TF-Bench’s past year of commit activity
    Python 3 MIT 0 0 1 Updated Nov 26, 2025
  • LiveCodeBench Public Forked from LiveCodeBench/LiveCodeBench

    Official repository for the paper "LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code"

    SecurityLab-UCD/LiveCodeBench’s past year of commit activity
    Python 0 MIT 186 0 0 Updated Nov 4, 2025
  • FuzzAug Public

    [EMNLP'25] FuzzAug: Data Augmentation by Coverage-guided Fuzzing for Neural Test Generation

    SecurityLab-UCD/FuzzAug’s past year of commit activity
    Python 6 MIT 1 0 0 Updated Sep 18, 2025
  • SkyThought Public Forked from NovaSky-AI/SkyThought

    Sky-T1: Train your own O1 preview model within $450

    SecurityLab-UCD/SkyThought’s past year of commit activity
    Python 0 Apache-2.0 348 0 0 Updated Jul 12, 2025
  • alpharewrite Public

    Rewriter for Benchmark-F, transform Haskell functions into alpha-equiv form with no natural language!

    SecurityLab-UCD/alpharewrite’s past year of commit activity
    Haskell 1 BSD-3-Clause 0 0 0 Updated May 12, 2025

Top languages

Loading…