csmith-project/creduce

Health v2 · maintenance only

Flags: no_releases no_license

Adoption not part of the score

1667 stars · 139 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

C-Reduce is a command-line tool that automatically reduces large C or C++ programs that trigger a property of interest (such as a compiler bug) into much smaller programs with the same property. It works with any interestingness test and can also reduce code in other languages like JavaScript and Rust.

Use cases

• minimize a C program that triggers a compiler crash before filing a bug report
• shrink a C++ test case that causes a wrong-code bug in a compiler
• reduce a JavaScript file that triggers a bug in a linter or other tool
• create a small reproducer for a bug in a static analysis tool
• automatically shrink a failing test case to its minimal form

When to choose

• you found a compiler or tool bug in C/C++ code and need a minimal reproducer
• you want automated, parallel test-case reduction driven by a custom interestingness test
• you need to shrink code in other languages too, since it works on arbitrary text files

When to avoid

• you need to reduce non-textual artifacts like binaries or data files
• you cannot express the bug-triggering condition as an automated interestingness test
• you need a fully supported, licensed product for commercial workflows given the nonstandard license

Facets

cli-tool · maturity stable

developer-tools testing developer-tools compilers testing cli test-case-reduction compiler-bugs c cpp delta-debugging linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="csmith-project/creduce")