Pinned Loading

1. cottontail cottontail Public

   Forked from Cottontail-Proj/cottontail

   Cottontail: A LLM-Driven Concolic Execution Engine (Accepted by IEEE S&P'26)

   C++

2. FastKLEE FastKLEE Public

   FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers

   C++ 22 2

3. RemCCG RemCCG Public

   The source code of RemCCG, which is implemented in the paper "RemGen: Remanufacturing A Program Generator for Compiler Testing" (Accepted to ISSRE 2022).

   C 8 1

4. CCOFT CCOFT Public

   Detecting C++ Compiler Front-end Bugs via Grammar Mutation and Differential Testing

   5

5. LLM4CBI LLM4CBI Public

   Isolating Compiler Bugs by Generating Effective Witness Programs with Large Language Models (Accepted by IEEE TSE)

   Python 7

6. SymLoc SymLoc Public

   Replication package used in the paper "Concretely Mapped Symbolic Memory Locations for Memory Error Detection" (Accepted by IEEE TSE)

   C++ 5 1