Understand the failure.
Verify the repair.
Small, reproducible software failures. The broken implementation, the fix that didn’t work, and the one that passed—preserved together.
Explore the cases ↓How results are verified ↗WHAT THE ARCHIVE CONTAINS
100840 executable cases. 20168 are open.
Every case records the implementation that fails, the fix that did not work, and the repair that passed its checks—with recorded outputs and source hashes. This release adds 100840 cases across 20168 failure mechanisms and 254 domains.
The open tier gives you the failure and the unsuccessful fix for one case in every mechanism. The remaining 80672 cases, 5 variants per mechanism, are member-only: the verified repair, its recorded checks, and the full fixture suite are held in the member archive. Read the methodology ↗
A RECORD OF WHAT WENT WRONG
Browse the archive / 100840
Unreachable predecessors erase definite assignments · case 01
Unreachable predecessors erase definite assignments.
Unreachable predecessors erase definite assignments · case 02
Unreachable predecessors erase definite assignments.
Unreachable predecessors erase definite assignments · case 03
Unreachable predecessors erase definite assignments.
Unreachable predecessors erase definite assignments · case 04
Unreachable predecessors erase definite assignments.
Unreachable predecessors erase definite assignments · case 05
Unreachable predecessors erase definite assignments.
A context-specific sanitizer clears unrelated taint · case 01
A context-specific sanitizer clears unrelated taint.
A context-specific sanitizer clears unrelated taint · case 02
A context-specific sanitizer clears unrelated taint.
A context-specific sanitizer clears unrelated taint · case 03
A context-specific sanitizer clears unrelated taint.
A context-specific sanitizer clears unrelated taint · case 04
A context-specific sanitizer clears unrelated taint.
A context-specific sanitizer clears unrelated taint · case 05
A context-specific sanitizer clears unrelated taint.
An ambiguous pointer store kills possible old values · case 01
An ambiguous pointer store kills possible old values.
An ambiguous pointer store kills possible old values · case 02
An ambiguous pointer store kills possible old values.
An ambiguous pointer store kills possible old values · case 03
An ambiguous pointer store kills possible old values.
An ambiguous pointer store kills possible old values · case 04
An ambiguous pointer store kills possible old values.
An ambiguous pointer store kills possible old values · case 05
An ambiguous pointer store kills possible old values.
A definition kills its own incoming operand use · case 01
A definition kills its own incoming operand use.
A definition kills its own incoming operand use · case 02
A definition kills its own incoming operand use.
A definition kills its own incoming operand use · case 03
A definition kills its own incoming operand use.
A definition kills its own incoming operand use · case 04
A definition kills its own incoming operand use.
A definition kills its own incoming operand use · case 05
A definition kills its own incoming operand use.
A call preserves a constant for a modified global · case 01
A call preserves a constant for a modified global.
A call preserves a constant for a modified global · case 02
A call preserves a constant for a modified global.
A call preserves a constant for a modified global · case 03
A call preserves a constant for a modified global.
A call preserves a constant for a modified global · case 04
A call preserves a constant for a modified global.
A call preserves a constant for a modified global · case 05
A call preserves a constant for a modified global.
Unreachable input becomes an unknown constant at a join · case 01
Unreachable input becomes an unknown constant at a join.
Unreachable input becomes an unknown constant at a join · case 02
Unreachable input becomes an unknown constant at a join.
Unreachable input becomes an unknown constant at a join · case 03
Unreachable input becomes an unknown constant at a join.
Unreachable input becomes an unknown constant at a join · case 04
Unreachable input becomes an unknown constant at a join.
Unreachable input becomes an unknown constant at a join · case 05
Unreachable input becomes an unknown constant at a join.
A single dataflow sweep misses facts across backward edges · case 01
A single dataflow sweep misses facts across backward edges.
A single dataflow sweep misses facts across backward edges · case 02
A single dataflow sweep misses facts across backward edges.
A single dataflow sweep misses facts across backward edges · case 03
A single dataflow sweep misses facts across backward edges.
A single dataflow sweep misses facts across backward edges · case 04
A single dataflow sweep misses facts across backward edges.
A single dataflow sweep misses facts across backward edges · case 05
A single dataflow sweep misses facts across backward edges.
An inner lint suppression leaks into a sibling scope · case 01
An inner lint suppression leaks into a sibling scope.
An inner lint suppression leaks into a sibling scope · case 02
An inner lint suppression leaks into a sibling scope.
An inner lint suppression leaks into a sibling scope · case 03
An inner lint suppression leaks into a sibling scope.
An inner lint suppression leaks into a sibling scope · case 04
An inner lint suppression leaks into a sibling scope.
An inner lint suppression leaks into a sibling scope · case 05
An inner lint suppression leaks into a sibling scope.
Unlinking the last name invalidates an open file · case 01
Unlinking the last name invalidates an open file.
Unlinking the last name invalidates an open file · case 02
Unlinking the last name invalidates an open file.
Unlinking the last name invalidates an open file · case 03
Unlinking the last name invalidates an open file.
Unlinking the last name invalidates an open file · case 04
Unlinking the last name invalidates an open file.
Unlinking the last name invalidates an open file · case 05
Unlinking the last name invalidates an open file.
Duplicated descriptors advance independent read positions · case 01
Duplicated descriptors advance independent read positions.
Duplicated descriptors advance independent read positions · case 02
Duplicated descriptors advance independent read positions.
Duplicated descriptors advance independent read positions · case 03
Duplicated descriptors advance independent read positions.
Duplicated descriptors advance independent read positions · case 04
Duplicated descriptors advance independent read positions.
Duplicated descriptors advance independent read positions · case 05
Duplicated descriptors advance independent read positions.
Replacing a pathname retargets an already open descriptor · case 01
Replacing a pathname retargets an already open descriptor.
Replacing a pathname retargets an already open descriptor · case 02
Replacing a pathname retargets an already open descriptor.
Replacing a pathname retargets an already open descriptor · case 03
Replacing a pathname retargets an already open descriptor.
Replacing a pathname retargets an already open descriptor · case 04
Replacing a pathname retargets an already open descriptor.
Replacing a pathname retargets an already open descriptor · case 05
Replacing a pathname retargets an already open descriptor.
Creation mode subtraction borrows across permission bits · case 01
Creation mode subtraction borrows across permission bits.
Creation mode subtraction borrows across permission bits · case 02
Creation mode subtraction borrows across permission bits.
Creation mode subtraction borrows across permission bits · case 03
Creation mode subtraction borrows across permission bits.
Creation mode subtraction borrows across permission bits · case 04
Creation mode subtraction borrows across permission bits.
Creation mode subtraction borrows across permission bits · case 05
Creation mode subtraction borrows across permission bits.
Permission evaluation falls through from owner to other · case 01
Permission evaluation falls through from owner to other.
Permission evaluation falls through from owner to other · case 02
Permission evaluation falls through from owner to other.
Permission evaluation falls through from owner to other · case 03
Permission evaluation falls through from owner to other.
Permission evaluation falls through from owner to other · case 04
Permission evaluation falls through from owner to other.
Permission evaluation falls through from owner to other · case 05
Permission evaluation falls through from owner to other.
Readable directories are mistaken for searchable directories · case 01
Readable directories are mistaken for searchable directories.
Readable directories are mistaken for searchable directories · case 02
Readable directories are mistaken for searchable directories.
Readable directories are mistaken for searchable directories · case 03
Readable directories are mistaken for searchable directories.
Readable directories are mistaken for searchable directories · case 04
Readable directories are mistaken for searchable directories.
Readable directories are mistaken for searchable directories · case 05
Readable directories are mistaken for searchable directories.
Sparse holes disappear when file bytes are reconstructed · case 01
Sparse holes disappear when file bytes are reconstructed.
Sparse holes disappear when file bytes are reconstructed · case 02
Sparse holes disappear when file bytes are reconstructed.
Sparse holes disappear when file bytes are reconstructed · case 03
Sparse holes disappear when file bytes are reconstructed.
Sparse holes disappear when file bytes are reconstructed · case 04
Sparse holes disappear when file bytes are reconstructed.
Sparse holes disappear when file bytes are reconstructed · case 05
Sparse holes disappear when file bytes are reconstructed.
Seeking an append descriptor causes an overwrite · case 01
Seeking an append descriptor causes an overwrite.
Seeking an append descriptor causes an overwrite · case 02
Seeking an append descriptor causes an overwrite.
Seeking an append descriptor causes an overwrite · case 03
Seeking an append descriptor causes an overwrite.
Seeking an append descriptor causes an overwrite · case 04
Seeking an append descriptor causes an overwrite.
Seeking an append descriptor causes an overwrite · case 05
Seeking an append descriptor causes an overwrite.
Truncation rewinds an open file position · case 01
Truncation rewinds an open file position.
Truncation rewinds an open file position · case 02
Truncation rewinds an open file position.
Truncation rewinds an open file position · case 03
Truncation rewinds an open file position.
Truncation rewinds an open file position · case 04
Truncation rewinds an open file position.
Truncation rewinds an open file position · case 05
Truncation rewinds an open file position.
A dangling symbolic link disappears from metadata results · case 01
A dangling symbolic link disappears from metadata results.
A dangling symbolic link disappears from metadata results · case 02
A dangling symbolic link disappears from metadata results.
A dangling symbolic link disappears from metadata results · case 03
A dangling symbolic link disappears from metadata results.
A dangling symbolic link disappears from metadata results · case 04
A dangling symbolic link disappears from metadata results.
A dangling symbolic link disappears from metadata results · case 05
A dangling symbolic link disappears from metadata results.
LZ match copying freezes the source before expansion · case 01
LZ match copying freezes the source before expansion.
LZ match copying freezes the source before expansion · case 02
LZ match copying freezes the source before expansion.
LZ match copying freezes the source before expansion · case 03
LZ match copying freezes the source before expansion.
LZ match copying freezes the source before expansion · case 04
LZ match copying freezes the source before expansion.
LZ match copying freezes the source before expansion · case 05
LZ match copying freezes the source before expansion.
LZ history keeps references beyond its window · case 01
LZ history keeps references beyond its window.
LZ history keeps references beyond its window · case 02
LZ history keeps references beyond its window.
LZ history keeps references beyond its window · case 03
LZ history keeps references beyond its window.
LZ history keeps references beyond its window · case 04
LZ history keeps references beyond its window.
LZ history keeps references beyond its window · case 05
LZ history keeps references beyond its window.
INSPECTABLE BY DESIGN
Every result has a runnable source.
Runnable implementations with recorded outputs, source hashes, and explicit contracts. Related variants share a failure mechanism and belong together in evaluation splits.
Read the methodology ↗