Automic VaultAutomic Vault

brew

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

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

安装命令安全说明

安装

其他安装命令

macOS

Homebrew已验证 · 100%
brew install creduce

local Homebrew formula metadata

MacPorts已验证 · 94%
sudo port install creduce

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

Linux

Debian apt已验证 · 92%
sudo apt install creduce

Debian stable package indexes · creduce · 来源: deb.debian.org

Nix已验证 · 92%
nix profile install nixpkgs#creduce

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

概览

软件包摘要

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

命令和别名

  • creduce

历史

项目历史与用法

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.

安全态势

风险级别：绿色

narrow executable package without higher-risk signals.

风险分类器

绿色 风险 · 低 置信度 · appliance

原因

  • narrow executable package without higher-risk signals

信号

  • metadata:no-higher-risk-signals

安装行为

  • formula 元数据中未记录 Homebrew post-install 钩子。
  • Homebrew bottle 元数据适用于 6 个平台目标。
  • 安装时包含 2 个运行时依赖。

建议审查

在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。

可执行文件

已安装的可执行文件

命令类型暴露范围备注
creducecli全局可执行文件

新鲜度

版本和新鲜度

这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。

页面生成时间2026-07-10
管理器版本2.10.0
管理器更新时间2026-06-13
本地数据OK
上游当前
检测到的最新版本creduce-2.10.0

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

  • OK没有生成新鲜度警告。

安装元数据

软件包元数据

软件包键brew:creduce
版本2.10.0
软件包管理器Homebrew
软件包管理器页面https://formulae.brew.sh/formula/creduce
主页https://github.com/csmith-project/creduce
仓库https://github.com/csmith-project/creduce
上游文档https://github.com/csmith-project/creduce#readme
许可证BSD-3-Clause
源码归档https://github.com/csmith-project/creduce/archive/refs/tags/creduce-2.10.0.tar.gz
最后更新2026-06-13T17:16:47Z
Pulseupdated
依赖astyle, llvm@21
macOS 提供的库perl
Bottle可用 (于 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install未定义
服务未声明

注册表事实

源数据库详情

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

源数据库匹配

其他软件包管理器记录

匹配项来自外部软件包管理器索引，并与本地 Automic Vault 软件包链接分开显示。

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 依赖
  • 2 可选依赖
  • normalized package name match
  • 匹配方式：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
  • 匹配方式：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 依赖
  • 2 可选依赖
  • normalized package name match
  • 匹配方式：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
  • 匹配方式：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

软件包图谱

链接来自本地软件包关系图、补充数据、依赖边、生态匹配和软件包 hub 归属。

相关工具

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

相同工作流

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

来源线索

由仓库数据生成

此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

使用的来源

  • 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