Automic VaultAutomic Vault

brew

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 commandSecurity notes

install

Additional install commands

macOS

Homebrewverified · 100%
brew install creduce

local Homebrew formula metadata

MacPortsverified · 94%
sudo port install creduce

MacPorts ports tree · devel/creduce/Portfile · source: api.github.com

Linux

Debian aptverified · 92%
sudo apt install creduce

Debian stable package indexes · creduce · source: deb.debian.org

Nixverified · 92%
nix profile install nixpkgs#creduce

nixpkgs package indexes · pkgs/by-name/cr/creduce/package.nix · source: api.github.com

overview

Package summary

Reduce a C/C++ program while keeping a property of interest

Commands and aliases

  • creduce

history

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.

security posture

Risk level: green

narrow executable package without higher-risk signals.

Risk classifier

green risk · low confidence · appliance

Why

  • narrow executable package without higher-risk signals

Signals

  • metadata:no-higher-risk-signals

Install behavior

  • No Homebrew post-install hook is recorded in formula metadata.
  • Homebrew bottle metadata is available for 6 platform targets.
  • Installs with 2 runtime dependencies.

Recommended review

Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.

executables

Installed executables

CommandKindExposureNote
creducecliglobal executable

freshness

Version and freshness

These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.

page generated2026-07-08
manager version2.10.0
manager updated2026-06-13
local dataok
upstreamcurrent
latest detectedcreduce-2.10.0

https://github.com/csmith-project/creduce

  • okNo freshness warnings were generated.

install metadata

Package metadata

Package keybrew:creduce
Version2.10.0
Package managerHomebrew
Package manager pagehttps://formulae.brew.sh/formula/creduce
Homepagehttps://github.com/csmith-project/creduce
Repositoryhttps://github.com/csmith-project/creduce
Upstream docshttps://github.com/csmith-project/creduce#readme
LicenseBSD-3-Clause
Source archivehttps://github.com/csmith-project/creduce/archive/refs/tags/creduce-2.10.0.tar.gz
Last updated2026-06-13T17:16:47Z
Pulseupdated
Dependenciesastyle, llvm@21
Uses from macOSperl
Bottleavailable (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-installnot defined
Servicenone declared

registry facts

Source database details

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namecreduce
Version Scheme0
Revision5
Head VersionHEAD
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedyes
Disabledno
Keg Onlyno
URL Keys
  • head
  • stable

source database matches

Other package-manager records

Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.

Debian apt95%

creduce 2.11.0~20240909-2

Test-Case Reduction for C Compiler Bugs

https://github.com/csmith-project/creduce

sudo apt install creduce
  • Section: devel
  • Architecture: amd64
  • 11 dependencies
  • 2 optional deps
  • normalized package name match
  • Matched by: Creduce
Debian stable package indexes · deb.debian.org · Debian stable package indexes: creduce from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Nix95%

creduce

nix profile install nixpkgs#creduce
  • normalized package name match
  • Matched by: Creduce
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/cr/creduce/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
Ubuntu apt95%

creduce 2.11.0~20240312-1build1

Test-Case Reduction for C Compiler Bugs

https://github.com/csmith-project/creduce

sudo apt install creduce
  • Section: universe/devel
  • Architecture: amd64
  • 11 dependencies
  • 2 optional deps
  • normalized package name match
  • Matched by: Creduce
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: creduce from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
MacPorts95%

creduce

sudo port install creduce
  • normalized package name match
  • Matched by: Creduce
MacPorts ports tree · api.github.com · MacPorts ports tree: devel/creduce/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

Related tools

  • astyleRuntime dependency declared by Homebrew.
  • llvm@21Runtime dependency declared by Homebrew.

Same workflow

  • aarch64-elf-gccShares av.db curated category or tags: c, c-plus-plus, cli, compilers, developer-tools.
  • csmithShares av.db curated category or tags: c, cli, compiler-testing, developer-tools, testing.
  • checkShares av.db curated category or tags: c, cli, developer-tools, testing.
  • cppunitShares av.db curated category or tags: c, cli, developer-tools, testing.
  • cutter-cliShares av.db curated category or tags: c, cli, developer-tools, testing.
  • cxxtestShares av.db curated category or tags: c-plus-plus, cli, developer-tools, testing.

source trail

Generated from repository data

This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.

Used sources

  • Geiger risk classifier
  • Nucleus package database
  • av.db category and tag curation
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment