# 使用 Homebrew, apt, MacPorts, Nix 安装 creduce

查看 creduce 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

## 安装

```sh
sudo av install brew:creduce
```

其他安装命令:

### macOS

- Homebrew (100%):

```sh
brew install creduce
```

  证据: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install creduce
```

  证据: 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
```

  证据: 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
```

  证据: nixpkgs package indexes: pkgs/by-name/cr/creduce/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

## 软件包事实

- **软件包键:** brew:creduce
- **软件包管理器:** Homebrew
- **软件包管理器页面:** <https://formulae.brew.sh/formula/creduce>
- **版本:** 2.10.0
- **来源摘要:** Reduce a C/C++ program while keeping a property of interest
- **主页:** <https://github.com/csmith-project/creduce>
- **仓库:** <https://github.com/csmith-project/creduce>
- **许可证:** BSD-3-Clause
- **源码归档:** <https://github.com/csmith-project/creduce/archive/refs/tags/creduce-2.10.0.tar.gz>
- **最后更新:** 2026-08-02T01:55:36+09:00
- **已生成:** 2026-08-04T22:13:35+00:00

## 可执行文件

- creduce (cli)
- creduce (别名)

## 依赖

- astyle
- llvm@21

## macOS 提供的库

- perl

## 安装行为

- post-install 钩子: 未定义
- Bottle: 可用 于 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## 版本和新鲜度

- 页面生成时间: 2026-08-04
- 管理器版本: 2.10.0
- 管理器更新时间: 2026-08-02
- 本地数据: OK
- 上游仓库: https://github.com/csmith-project/creduce
- 检测到的最新版本: creduce-2.10.0 (当前)
## 项目历史与用法

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.

### 项目历史

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.

### 采用历史

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.

### 使用方式

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.

### 为什么软件包爱好者会关心

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.

### 时间线

- 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.

### 来源

- <https://github.com/csmith-project/creduce#readme>
- <https://github.com/csmith-project/creduce/blob/master/INSTALL.md>
- <https://embed.cs.utah.edu/creduce/>


## 安全说明

narrow executable package without higher-risk signals.

- **Geiger 风险:** 绿色 / 低
- narrow executable package without higher-risk signals

## 源数据库详情

- **Source Database:** Homebrew formula API
- **Tap:** homebrew/core
- **Full Name:** creduce
- **Version Scheme:** 0
- **Revision:** 5
- **Head Version:** HEAD
- **Bottle Stable Root URL:** <https://ghcr.io/v2/homebrew/core>
- **Deprecated:** yes
- **Disabled:** no
- **Keg Only:** no
- **URL Keys:** head, stable

## 其他软件包管理器记录

- 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


## 相关链接

- [Source-control packages](https://pkg.so/zh-hans/source-control-tools/) - Belongs to a source-control command family.
- [Terminal utility packages](https://pkg.so/zh-hans/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Text processing packages](https://pkg.so/zh-hans/text-processing-tools/) - Matched text, document, or structured-data processing metadata.
- [Developer build packages](https://pkg.so/zh-hans/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [llvm@21](https://pkg.so/zh-hans/brew/llvm-21/) - Runtime dependency declared by Homebrew.
- [astyle](https://pkg.so/zh-hans/brew/astyle/) - Runtime dependency declared by Homebrew.
- [atf](https://pkg.so/zh-hans/brew/atf/) - Shares pkgdb curated category or tags: c, c-plus-plus, cli, developer-tools, testing.
- [csmith](https://pkg.so/zh-hans/brew/csmith/) - Shares pkgdb curated category or tags: c, cli, compiler-testing, developer-tools, testing.
- [mingw-w64](https://pkg.so/zh-hans/brew/mingw-w64/) - Shares pkgdb curated category or tags: c, cli, compilers, developer-tools.
- [cppunit](https://pkg.so/zh-hans/brew/cppunit/) - Shares pkgdb curated category or tags: c, cli, developer-tools, testing.
- [cutter-cli](https://pkg.so/zh-hans/brew/cutter-cli/) - Shares pkgdb curated category or tags: c, cli, developer-tools, testing.
- [cxxtest](https://pkg.so/zh-hans/brew/cxxtest/) - Shares pkgdb curated category or tags: c-plus-plus, cli, developer-tools, testing.
- [ccache](https://pkg.so/zh-hans/brew/ccache/) - Shares pkgdb curated category or tags: c, c-plus-plus, cli, developer-tools.
- [lcov](https://pkg.so/zh-hans/brew/lcov/) - Shares pkgdb curated category or tags: cli, developer-tools, testing.

## Combined YAML source

View the package source record on GitHub. [combined/creduce.yml](https://github.com/mxcl/pkgdb/blob/main/combined/creduce.yml)


## 来源

- pkg.so package database
- Geiger risk classifier
- package-page enrichment
- curated package history
- package version freshness
- pkgdb category and tag curation
- package relationship graph
- external package-manager database matches
- cross-ecosystem install command graph