Pinned Loading

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

   C++ 24 2

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

   C 9 1

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

   4

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

   Python 8

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

   C++ 6 1