CIRRUS Lab @ UChicago

Code Intelligence and Reasoning for Reliable, Trustworthy, and Secure Software Systems

7 followers
United States of America
kpei@uchicago.edu

Pinned Loading

Symbolon Symbolon Public

Learn Code Transformation for Symbolic Execution

C 8
Locus Locus Public

Agentic predicate synthesis for directed fuzzing

Python 12 2
wedge wedge Public

Python 7

Repositories

exploitgym Public Forked from sunblaze-ucb/exploitgym
ExploitGym is a large-scale, realistic benchmark built from real-world vulnerabilities designed to evaluate AI agents' ability to develop exploits.

cirrus-uchicago/exploitgym's past year of commit activity

C 0 Apache-2.0 82 0 0 Updated Jul 15, 2026
SemRep Public

cirrus-uchicago/SemRep's past year of commit activity

Python 4 0 0 0 Updated Jul 2, 2026
Symbolon Public
Learn Code Transformation for Symbolic Execution

cirrus-uchicago/Symbolon's past year of commit activity

C 8 0 0 0 Updated Jun 18, 2026
klee Public Forked from klee/klee
KLEE Symbolic Execution Engine

cirrus-uchicago/klee's past year of commit activity

C++ 0 750 0 0 Updated May 30, 2026
perfforge Public

cirrus-uchicago/perfforge's past year of commit activity

C++ 8 Apache-2.0 0 1 0 Updated Mar 17, 2026
Locus Public
Agentic predicate synthesis for directed fuzzing

cirrus-uchicago/Locus's past year of commit activity

Python 12 2 1 0 Updated Mar 16, 2026
wedge Public

cirrus-uchicago/wedge's past year of commit activity

Python 7 0 0 0 Updated Dec 9, 2025
editbench Public Forked from waynchi/editbench

cirrus-uchicago/editbench's past year of commit activity

Python 0 Apache-2.0 3 0 0 Updated Nov 19, 2025
magma-sqlite Public

cirrus-uchicago/magma-sqlite's past year of commit activity

C 0 0 0 0 Updated Jul 11, 2025
aflgo Public
Directed Greybox Fuzzing with AFL

cirrus-uchicago/aflgo's past year of commit activity

C 0 Apache-2.0 0 0 0 Updated May 7, 2025

View all repositories

People

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

Top languages

Loading…

Most used topics

Loading…