Repositories list

• game-fuzz-trophies

  Public

  SecurityLab-UCD/game-fuzz-trophies’s past year of commit activity
  Archive Fuzzing Trophies for the Game Fuzz Project

  00 forks•00 stars•00 issues•00 pull requests•Updated Mar 8, 2026Mar 8, 2026

• gamecov

  Public
  Map coverage for automated game play-testing

  Python

  •00 forks•00 stars•11 issue•00 pull requests•Updated Feb 11, 2026Feb 11, 2026

• CGNTG

  Public

  SecurityLab-UCD/CGNTG’s past year of commit activity
  PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' prompts.

  Rust

  •4141 forks•22 stars•00 issues•00 pull requests•Updated Jan 25, 2026Jan 25, 2026

• oss-fuzz-lisa

  Public
  OSS-Fuzz - continuous fuzzing for open source software.

  Shell

  •

  Apache License 2.0

  •2.7k2.7k forks•00 stars•00 issues•00 pull requests•Updated Jan 13, 2026Jan 13, 2026

• vllm

  Public

  SecurityLab-UCD/vllm’s past year of commit activity
  A high-throughput and memory-efficient inference and serving engine for LLMs

  Python

  •

  Apache License 2.0

  •16k16k forks•00 stars•00 issues•00 pull requests•Updated Dec 20, 2025Dec 20, 2025

• TF-Bench

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

  benchmarkhaskelltype-inference+ 5

  benchmarkhaskelltype-inferencesystem-fcode-understandingllmprogram-semanticsllm-reasoning

  Python

  •

  MIT License

  •00 forks•33 stars•00 issues•11 pull request•Updated Nov 26, 2025Nov 26, 2025

• LiveCodeBench

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

  Python

  •

  MIT License

  •187187 forks•00 stars•00 issues•00 pull requests•Updated Nov 4, 2025Nov 4, 2025

• FuzzAug

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

  rustemnlptest-generation+ 3

  rustemnlptest-generationdata-augmentationllmemnlp2025

  Python

  •

  MIT License

  •11 fork•66 stars•00 issues•00 pull requests•Updated Sep 18, 2025Sep 18, 2025

• SkyThought

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

  Python

  •

  Apache License 2.0

  •343343 forks•00 stars•00 issues•00 pull requests•Updated Jul 12, 2025Jul 12, 2025

• alpharewrite

  Public

  SecurityLab-UCD/alpharewrite’s past year of commit activity
  Rewriter for Benchmark-F, transform Haskell functions into alpha-equiv form with no natural language!

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks•11 star•00 issues•00 pull requests•Updated May 12, 2025May 12, 2025

• IRFuzzer

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

  llvmfuzzingcompilers+ 2

  llvmfuzzingcompilersicseicse2025

  Python

  •

  Apache License 2.0

  •33 forks•2121 stars•11 issue•00 pull requests•Updated Mar 26, 2025Mar 26, 2025

• stk-code

  Public

  SecurityLab-UCD/stk-code’s past year of commit activity
  The code base of supertuxkart

  C++

  •

  Other

  •1.2k1.2k forks•00 stars•00 issues•00 pull requests•Updated Mar 7, 2025Mar 7, 2025

• SPAT

  Public
  Perform semantically-equivalent transformations on Java code

  Java

  •

  Apache License 2.0

  •77 forks•00 stars•00 issues•00 pull requests•Updated Jan 13, 2025Jan 13, 2025

• UniTSyn

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

  datasettest-generationissta+ 2

  datasettest-generationisstallmissta-2024

  Python

  •

  Apache License 2.0

  •11 fork•1212 stars•11 issue•00 pull requests•Updated Jan 7, 2025Jan 7, 2025

• SecurityLab-UCD.github.io

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Dec 15, 2024Dec 15, 2024

• 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`.

  encryptionsecurity-analysisai-agents+ 2

  encryptionsecurity-analysisai-agentsicse2025raie2025

  Python

  •22 forks•66 stars•00 issues•00 pull requests•Updated Dec 15, 2024Dec 15, 2024

• LLAMAFUZZ

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

  Python

  •22 forks•2323 stars•00 issues•00 pull requests•Updated Dec 3, 2024Dec 3, 2024

• SafeDiff

  Public

  SecurityLab-UCD/SafeDiff’s past year of commit activity
  Defense prompt jailbreak to diffusion models

  Jupyter Notebook

  •11 fork•44 stars•00 issues•00 pull requests•Updated Nov 4, 2024Nov 4, 2024

• AgentBench

  Public
  A Comprehensive Benchmark to Evaluate LLMs as Agents (ICLR'24)

  Python

  •246246 forks•11 star•00 issues•00 pull requests•Updated Aug 6, 2024Aug 6, 2024

• llvm-project

  Public
  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this …

  Other

  •17k17k forks•00 stars•00 issues•00 pull requests•Updated Jul 8, 2024Jul 8, 2024

• fuzzbench

  Public
  FuzzBench - Fuzzer benchmarking as a service.

  Python

  •

  Apache License 2.0

  •297297 forks•00 stars•00 issues•00 pull requests•Updated Jun 8, 2024Jun 8, 2024

• magma

  Public
  A ground-truth fuzzing benchmark suite based on real programs with real bugs.

  HTML

  •113113 forks•00 stars•00 issues•00 pull requests•Updated Jun 7, 2024Jun 7, 2024

• Diffusion-steer

  Public
  Experiment LM-Steer with diffusion

  Python

  •

  MIT License

  •2323 forks•11 star•00 issues•00 pull requests•Updated May 2, 2024May 2, 2024

• AFLplusplus

  Public

  SecurityLab-UCD/AFLplusplus’s past year of commit activity
  The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutato…

  C

  •

  Apache License 2.0

  •1.3k1.3k forks•00 stars•00 issues•00 pull requests•Updated Apr 18, 2024Apr 18, 2024

• LLVM-fuzzing-trophies

  Public
  00 forks•66 stars•00 issues•00 pull requests•Updated Mar 21, 2024Mar 21, 2024

• sempy

  Public
  Compare assembly semantics through fuzzing

  Python

  •11 fork•11 star•00 issues•22 pull requests•Updated Feb 19, 2024Feb 19, 2024

• CodeXGLUE

  Public
  CodeXGLUE with CodeBLEU for Rust

  C#

  •

  MIT License

  •394394 forks•00 stars•00 issues•00 pull requests•Updated Feb 5, 2024Feb 5, 2024

• rust-fuzzer-gen

  Public

  SecurityLab-UCD/rust-fuzzer-gen’s past year of commit activity
  Use fuzz_target! to generate #[test] for LLM representation alignment

  Rust

  •00 forks•11 star•00 issues•00 pull requests•Updated Nov 16, 2023Nov 16, 2023

• OSS-Fuzz-scripts

  Public

  SecurityLab-UCD/OSS-Fuzz-scripts’s past year of commit activity
  Python

  •00 forks•11 star•00 issues•00 pull requests•Updated Oct 6, 2023Oct 6, 2023

• python-io-capture

  Public

  SecurityLab-UCD/python-io-capture’s past year of commit activity
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 3, 2023Oct 3, 2023