macOS
Homebrewvérifié · 100%
brew install creducelocal Homebrew formula metadata
MacPortsvérifié · 94%
sudo port install creduceMacPorts ports tree · devel/creduce/Portfile · Source: api.github.com
brew / rang 9695
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.
installation
Commandes d'installation supplémentaires
Linux
Debian aptvérifié · 92%
sudo apt install creduceDebian stable package indexes · creduce · Source: deb.debian.org
Nixvérifié · 92%
nix profile install nixpkgs#creducenixpkgs 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
Liens du projet
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.
Sources
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
- Aucune métadonnée de bottle Homebrew n’a été enregistrée.
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
| Commande | Type | Exposition | Note |
|---|---|---|---|
creduce | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
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-08-03
version du gestionnaire2.10.0
gestionnaire mis à jour2026-08-02
données localesinconnu
amontnon disponible
dernière version détectéenon détecté
- OKAucun avertissement de fraîcheur n'a été généré.
métadonnées d'installation
Métadonnées du paquet
| Clé du paquet | brew:creduce |
|---|---|
| Version | 2.10.0 |
| Gestionnaire de paquets | Homebrew |
| Page d'accueil | https://github.com/csmith-project/creduce |
| Dépôt | https://github.com/csmith-project/creduce |
| Dernière mise à jour | 2026-08-02T01:55:36+09:00 |
| Pulse | updated |
| Bouteille | non enregistré |
| Service | aucun déclaré |
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
Nix95%
creduce
nix profile install nixpkgs#creduce- normalized package name match
- Correspondance par : 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 Dépendances
- 2 dépendances optionnelles
- normalized package name match
- Correspondance par : Creduce
MacPorts95%
creduce
sudo port install creduce- normalized package name match
- Correspondance par : Creduce
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.
Combined YAML source
View the package source record on GitHub.
Sources utilisées
- 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