Automic VaultAutomic Vault

brew

creduce mit Homebrew, apt, MacPorts, Nix installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für creduce in AI-Agent-Workflows.

InstallationsbefehlSicherheitshinweise

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%
brew install creduce

local Homebrew formula metadata

MacPortsverifiziert · 94%
sudo port install creduce

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

Linux

Debian aptverifiziert · 92%
sudo apt install creduce

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

Nixverifiziert · 92%
nix profile install nixpkgs#creduce

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

Überblick

Paketzusammenfassung

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

Befehle und Aliase

  • creduce

Verlauf

Projektgeschichte und Nutzung

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.

Projektgeschichte

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.

Adoptionsgeschichte

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.

Wie es verwendet wird

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.

Warum Paket-Nerds sich dafür interessieren

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.

Zeitleiste

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

Sicherheitslage

Risikostufe: grün

narrow executable package without higher-risk signals.

Risikoklassifikator

grün Risiko · niedrig Konfidenz · appliance

Warum

  • narrow executable package without higher-risk signals

Signale

  • metadata:no-higher-risk-signals

Installationsverhalten

  • In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
  • Homebrew-Bottle-Metadaten sind für 6 Plattformziele verfügbar.
  • Installiert mit 2 Laufzeitabhängigkeiten.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

BefehlArtSichtbarkeitHinweis
creducecliglobales Executable

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-07-10
Manager-Version2.10.0
Manager aktualisiert2026-06-13
lokale DatenOK
Upstreamaktuell
neueste erkannte Versioncreduce-2.10.0

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

  • OKEs wurden keine Aktualitätswarnungen generiert.

Installationsmetadaten

Paketmetadaten

Paketschlüsselbrew:creduce
Version2.10.0
PaketmanagerHomebrew
Paketmanager-Seitehttps://formulae.brew.sh/formula/creduce
Homepagehttps://github.com/csmith-project/creduce
Repositoryhttps://github.com/csmith-project/creduce
Upstream-Dokumentationhttps://github.com/csmith-project/creduce#readme
LizenzBSD-3-Clause
Quellarchivhttps://github.com/csmith-project/creduce/archive/refs/tags/creduce-2.10.0.tar.gz
Zuletzt aktualisiert2026-06-13T17:16:47Z
Pulseupdated
Abhängigkeitenastyle, llvm@21
Von macOS bereitgestellte Bibliothekenperl
Bottleverfügbar (auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-installnicht definiert
Dienstkeiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

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-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

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 Abhängigkeiten
  • 2 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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
  • Abgeglichen nach: 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 Abhängigkeiten
  • 2 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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
  • Abgeglichen nach: 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

Paketgraph

Links stammen aus dem lokalen Paketbeziehungsgraph, Ergänzungen, Abhängigkeitskanten, Ecosystem-Matches und Paket-Hub-Mitgliedschaft.

Verwandte Tools

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

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

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Verwendete Quellen

  • 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