# Install creduce with Homebrew, apt, MacPorts, Nix Reduce a C/C++ program while keeping a property of interest. Version 2.10.0 via Homebrew; verified 2026-06-13. ## Install ```sh sudo av install brew:creduce ``` Additional install commands: ### macOS - Homebrew (100%): ```sh brew install creduce ``` Evidence: local Homebrew formula metadata - MacPorts (94%): ```sh sudo port install creduce ``` Evidence: MacPorts ports tree: devel/creduce/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1 ### Linux - Debian apt (92%): ```sh sudo apt install creduce ``` Evidence: Debian stable package indexes: creduce from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz - Nix (92%): ```sh nix profile install nixpkgs#creduce ``` Evidence: nixpkgs package indexes: pkgs/by-name/cr/creduce/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 ## Package facts - **Package key:** brew:creduce - **Package manager:** Homebrew - **Package manager page:** - **Version:** 2.10.0 - **Source summary:** Reduce a C/C++ program while keeping a property of interest - **Homepage:** - **Repository:** - **Upstream docs:** - **License:** BSD-3-Clause - **Source archive:** - **Last updated:** 2026-06-13T17:16:47Z - **Generated:** 2026-07-08T07:18:31+00:00 ## Executables - creduce (cli) - creduce (alias) ## Dependencies - astyle - llvm@21 ## Uses from macOS - perl ## Install behavior - Post-install hook: not defined - Bottle: available on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux ## Freshness - Page generated: 2026-07-08 - Package-manager version: 2.10.0 - Package-manager updated: 2026-06-13 - Local data: ok - Upstream repository: https://github.com/csmith-project/creduce - Upstream latest detected: creduce-2.10.0 (current) ## Project history and usage C-Reduce is a test-case reducer for C and C++ programs. Given a large program and an interestingness test, it repeatedly transforms the input until it preserves the property of interest while producing a much smaller reproducer. ### Project history The official README describes C-Reduce as a tool for people who discover and report bugs in compilers and other C/C++-processing tools. The repository tags include PLDI and TOPLAS publication-related tags, reflecting its roots in compiler-research tooling as well as its practical use by compiler bug reporters. ### Adoption history The installation guide explicitly points users to precompiled packages before building from source, naming Ubuntu, Debian, Gentoo, FreeBSD, and macOS through Homebrew. That packaging coverage is important because C-Reduce depends on a substantial toolchain, including LLVM/Clang and Perl modules. ### How it is used Users pair C-Reduce with a project-specific interestingness test, often one that detects a compiler crash, wrong-code result, warning, or other minimized behavior. The README also notes that it can work well on languages beyond C/C++, including JavaScript and Rust, despite its primary C/C++ focus. ### Why package nerds care For package and compiler maintainers, C-Reduce is significant because it turns large failure cases into small, shareable reproducers. Its presence in multiple operating-system package collections makes a research-grade reducer available as a normal developer tool. ### Timeline - PLDI-era tags: Repository contains publication-related tags such as pldi12-crc - 2.x series: Repository tags show a maintained 2.x release line - Current install guide: Documents packages in Ubuntu, Debian, Gentoo, FreeBSD, and Homebrew ### Related projects - C-Reduce is hosted under the csmith-project GitHub organization and is related by project lineage to Csmith-style compiler testing workflows. ### Sources - - - ## Security Notes narrow executable package without higher-risk signals. - **Geiger risk:** green / low - narrow executable package without higher-risk signals ## Source Database Details - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** creduce - **Version Scheme:** 0 - **Revision:** 5 - **Head Version:** HEAD - **Bottle Stable Root URL:** - **Deprecated:** yes - **Disabled:** no - **Keg Only:** no - **URL Keys:** head, stable ## Other Package-Manager Records - Debian apt - creduce - 2.11.0~20240909-2: normalized package name match | Debian stable package indexes: creduce from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Test-Case Reduction for C Compiler Bugs | https://github.com/csmith-project/creduce - Nix - creduce: normalized package name match | nixpkgs package indexes: pkgs/by-name/cr/creduce/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - Ubuntu apt - creduce - 2.11.0~20240312-1build1: normalized package name match | Ubuntu 24.04 LTS package indexes: creduce from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Test-Case Reduction for C Compiler Bugs | https://github.com/csmith-project/creduce - MacPorts - creduce: normalized package name match | MacPorts ports tree: devel/creduce/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1 ## Related links - [Source-control packages](https://www.automicvault.com/pkg/source-control-tools/) - Belongs to a source-control command family. - [Terminal utility packages](https://www.automicvault.com/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Text processing packages](https://www.automicvault.com/pkg/text-processing-tools/) - Matched text, document, or structured-data processing metadata. - [Developer build packages](https://www.automicvault.com/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [astyle](https://www.automicvault.com/pkg/brew/astyle/) - Runtime dependency declared by Homebrew. - [llvm@21](https://www.automicvault.com/pkg/brew/llvm-21/) - Runtime dependency declared by Homebrew. - [aarch64-elf-gcc](https://www.automicvault.com/pkg/brew/aarch64-elf-gcc/) - Shares av.db curated category or tags: c, c-plus-plus, cli, compilers, developer-tools. - [csmith](https://www.automicvault.com/pkg/brew/csmith/) - Shares av.db curated category or tags: c, cli, compiler-testing, developer-tools, testing. - [check](https://www.automicvault.com/pkg/brew/check/) - Shares av.db curated category or tags: c, cli, developer-tools, testing. - [cppunit](https://www.automicvault.com/pkg/brew/cppunit/) - Shares av.db curated category or tags: c, cli, developer-tools, testing. - [cutter-cli](https://www.automicvault.com/pkg/brew/cutter-cli/) - Shares av.db curated category or tags: c, cli, developer-tools, testing. - [cxxtest](https://www.automicvault.com/pkg/brew/cxxtest/) - Shares av.db curated category or tags: c-plus-plus, cli, developer-tools, testing. - [mcpp](https://www.automicvault.com/pkg/brew/mcpp/) - Shares av.db curated category or tags: c, cli, compilers, developer-tools. - [mingw-w64](https://www.automicvault.com/pkg/brew/mingw-w64/) - Shares av.db curated category or tags: c, cli, compilers, developer-tools. - [castxml](https://www.automicvault.com/pkg/brew/castxml/) - Local package facts share a topical domain. Shared terms: c, c-plus-plus, cli, developer, developer-tools. ## Combined YAML source View the package source record on GitHub. [combined/creduce.yml](https://github.com/automic-vault/db/blob/main/combined/creduce.yml) ## Sources - Nucleus package database - Geiger risk classifier - package-page enrichment - curated package history - package version freshness - av.db category and tag curation - package relationship graph - external package-manager database matches - cross-ecosystem install command graph