macOS
Homebrew確認済み · 100%
brew install creducelocal Homebrew formula metadata
MacPorts確認済み · 94%
sudo port install creduceMacPorts ports tree · devel/creduce/Portfile · ソース: api.github.com
brew
creduce を Homebrew, apt, MacPorts, Nix でインストール
creduce のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
追加のインストールコマンド
Linux
Debian apt確認済み · 92%
sudo apt install creduceDebian stable package indexes · creduce · ソース: deb.debian.org
Nix確認済み · 92%
nix profile install nixpkgs#creducenixpkgs 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 件の実行時依存関係とともにインストールされます。
推奨レビュー
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
インストールされる実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
creduce | cli | グローバル実行可能ファイル |
鮮度
バージョンと鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 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 |
| Pulse | updated |
| 依存関係 | astyle, llvm@21 |
| macOS 提供ライブラリ | perl |
| Bottle | 利用可能 (対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | 未定義 |
| サービス | 宣言なし |
レジストリ情報
ソースデータベース詳細
| 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 |
|
ソースデータベース一致
他のパッケージマネージャ記録
一致は外部パッケージマネージャインデックスから取得され、ローカルの 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
Nix95%
creduce
nix profile install nixpkgs#creduce- normalized package name match
- 一致条件: Creduce
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
MacPorts95%
creduce
sudo port install creduce- normalized package name match
- 一致条件: Creduce
ソース経路
リポジトリデータから生成
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
Combined YAML source
View the package source record on GitHub.
使用ソース
- 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