Pinned Loading

1. FastKLEE FastKLEE Public

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

   C++ 20 2

2. 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 7 1

3. CCOFT CCOFT Public

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

   4

4. LLM4CBI LLM4CBI Public

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

   Python 6

5. SymLoc SymLoc Public

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

   C++ 2

6. Xdead Xdead Public

   Beyond a Joke: Dead Code Elimination Can Delete Live Code (ICSE-NIER'2024)

   1