pkg.soopen package index

brew / 順位 9695

creduce を Homebrew, apt, MacPorts, Nix でインストール

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

インストール挙動

  • Homebrew bottle メタデータは記録されていません。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド種類公開範囲メモ
creduce実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-08-03
マネージャ版2.10.0
マネージャ更新日2026-08-02
ローカルデータ不明
上流利用不可
検出された最新未検出
  • OK鮮度警告は生成されていません。

インストールメタデータ

パッケージメタデータ

パッケージキーbrew:creduce
バージョン2.10.0
パッケージマネージャHomebrew
ホームページhttps://github.com/csmith-project/creduce
リポジトリhttps://github.com/csmith-project/creduce
最終更新2026-08-02T01:55:36+09:00
Pulseupdated
Bottle未記録
サービス宣言なし

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの 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

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

エージェント安全ガイド

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

使用ソース

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