Automic VaultAutomic Vault

brew

Installer creduce avec Homebrew, apt, MacPorts, Nix

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de creduce pour les workflows d'agents IA.

Commande d'installationNotes de sécurité

installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%
brew install creduce

local Homebrew formula metadata

MacPortsvérifié · 94%
sudo port install creduce

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

Linux

Debian aptvérifié · 92%
sudo apt install creduce

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

Nixvérifié · 92%
nix profile install nixpkgs#creduce

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

aperçu

Résumé du paquet

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

Commandes et alias

  • creduce

historique

Historique du projet et usages

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.

Historique du projet

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.

Historique d'adoption

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.

Modes d'utilisation

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.

Pourquoi les passionnés de paquets s'y intéressent

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.

Chronologie

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

posture de sécurité

Niveau de risque : vert

narrow executable package without higher-risk signals.

Classificateur de risque

risque vert · confiance faible · appliance

Pourquoi

  • narrow executable package without higher-risk signals

Signaux

  • metadata:no-higher-risk-signals

Comportement d'installation

  • Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
  • Les métadonnées de bottle Homebrew sont disponibles pour 6 plateformes.
  • S’installe avec 2 dépendances d’exécution.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

exécutables

Exécutables installés

CommandeTypeExpositionNote
creducecliexécutable global

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-07-10
version du gestionnaire2.10.0
gestionnaire mis à jour2026-06-13
données localesOK
amontà jour
dernière version détectéecreduce-2.10.0

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

  • OKAucun avertissement de fraîcheur n'a été généré.

métadonnées d'installation

Métadonnées du paquet

Clé du paquetbrew:creduce
Version2.10.0
Gestionnaire de paquetsHomebrew
Page du gestionnaire de paquetshttps://formulae.brew.sh/formula/creduce
Page d'accueilhttps://github.com/csmith-project/creduce
Dépôthttps://github.com/csmith-project/creduce
Docs amonthttps://github.com/csmith-project/creduce#readme
LicenceBSD-3-Clause
Archive sourcehttps://github.com/csmith-project/creduce/archive/refs/tags/creduce-2.10.0.tar.gz
Dernière mise à jour2026-06-13T17:16:47Z
Pulseupdated
Dépendancesastyle, llvm@21
Bibliothèques fournies par macOSperl
Bouteilledisponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
post-install Homebrewnon défini
Serviceaucun déclaré

faits du registre

Détails de la base source

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

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

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 Dépendances
  • 2 dépendances optionnelles
  • normalized package name match
  • Correspondance par : 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
  • Correspondance par : 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 Dépendances
  • 2 dépendances optionnelles
  • normalized package name match
  • Correspondance par : 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
  • Correspondance par : 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

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

Outils liés

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

Même 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.

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Sources utilisées

  • 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