Pinned Loading

1. dbreduce dbreduce Public

   Reduce PostgreSQL bug reproducers by minimizing data and, optionally, schema while preserving failure identity.

   Python

2. stalefill stalefill Public

   Deterministically tests cache-aside races by controlling Redis/Valkey command ordering and detecting stale cache resurrection.

   Go

3. bindwitness bindwitness Public

   Regression testing for actual ELF symbol bindings in controlled Linux/glibc workloads, with explicit provider contracts and runtime evidence.

   Go

4. samebyte samebyte Public

   Static analyzer for GitHub Actions that checks whether tests, scans, attestations, and deployments use the same OCI artifact.

   TypeScript

5. exitscope exitscope Public

   Verify Linux subprocess shutdown contracts: detect surviving processes, interrupted cleanup, and output pipes that never close.

   Rust

6. protocarry protocarry Public

   Verify that an older application preserves newer Protobuf fields through its real read/write path.

   Go