SecurityLab @ UCDavis

Overview
Repositories
Projects
Packages
People

Pinned Loading

IRFuzzer IRFuzzer Public

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

Python 23 4
LLAMAFUZZ LLAMAFUZZ Public

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

Python 23 2
UniTSyn UniTSyn Public

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

Python 12 1
FuzzAug FuzzAug Public

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

Python 9 1
TF-Bench TF-Bench Public

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

Python 4
CNTG CNTG Public

[ISSRE 2026] LLM-based Invariant testing for Software Functional Bugs

C++ 1

Repositories

Type Language Sort

ContractBench Public
ContractBench: evaluating observation contract failures (validity + integrity) in LLM agents. 33 harbor-runnable API-contract tasks with deterministic programmatic evaluation.

SecurityLab-UCD/ContractBench's past year of commit activity

Python 1 MIT 0 3 0 Updated Aug 12, 2026
ContractBench-inspect Public
Inspect AI eval for ContractBench — 33 observation-contract tasks (validity + integrity). Register-ready for inspect_evals.

SecurityLab-UCD/ContractBench-inspect's past year of commit activity

Python 0 0 0 0 Updated Jun 17, 2026
korabench Public Forked from korabench/benchmark
Everything needed to run the KORA benchmark for AI Child Safety.

SecurityLab-UCD/korabench's past year of commit activity

TypeScript 0 Apache-2.0 17 1 0 Updated May 29, 2026
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
InvPT Public
Invariant Pre-training for Robust Code Representation Learning

SecurityLab-UCD/InvPT's past year of commit activity

C# 1 0 0 0 Updated Mar 2, 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
CNTG Public
[ISSRE 2026] LLM-based Invariant testing for Software Functional Bugs

SecurityLab-UCD/CNTG's past year of commit activity

C++ 1 0 0 0 Updated Jan 28, 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 1 40 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 3,008 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 21,436 0 0 Updated Dec 20, 2025