# 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

```sh
sudo av install brew:creduce
```

Commandes d'installation supplémentaires:

### macOS

- Homebrew (100%):

```sh
brew install creduce
```

  Preuve: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install creduce
```

  Preuve: MacPorts ports tree: devel/creduce/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

### Linux

- Debian apt (92%):

```sh
sudo apt install creduce
```

  Preuve: Debian stable package indexes: creduce from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

- Nix (92%):

```sh
nix profile install nixpkgs#creduce
```

  Preuve: nixpkgs package indexes: pkgs/by-name/cr/creduce/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

## Faits du paquet

- **Clé du paquet:** brew:creduce
- **Gestionnaire de paquets:** Homebrew
- **Version:** 2.10.0
- **Résumé source:** Reduce a C/C++ program while keeping a property of interest
- **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
- **Généré:** 2026-08-03T19:37:03+00:00

## exécutables

- creduce (alias)

## Comportement d'installation

- Bouteille: non disponible

## Version et fraîcheur

- page générée: 2026-08-03
- version du gestionnaire: 2.10.0
## 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

- <https://github.com/csmith-project/creduce#readme>
- <https://github.com/csmith-project/creduce/blob/master/INSTALL.md>
- <https://embed.cs.utah.edu/creduce/>


## Notes de sécurité

narrow executable package without higher-risk signals.

- **Risque Geiger:** vert / faible
- narrow executable package without higher-risk signals

## Autres enregistrements de gestionnaires de paquets

- Debian apt - creduce - 2.11.0~20240909-2: normalized package name match | Debian stable package indexes: creduce from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Test-Case Reduction for C Compiler Bugs | https://github.com/csmith-project/creduce
- Nix - creduce: normalized package name match | nixpkgs package indexes: pkgs/by-name/cr/creduce/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- Ubuntu apt - creduce - 2.11.0~20240312-1build1: normalized package name match | Ubuntu 24.04 LTS package indexes: creduce from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Test-Case Reduction for C Compiler Bugs | https://github.com/csmith-project/creduce
- MacPorts - creduce: normalized package name match | MacPorts ports tree: devel/creduce/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1


## Combined YAML source

View the package source record on GitHub. [combined/creduce.yml](https://github.com/mxcl/pkgdb/blob/main/combined/creduce.yml)


## Sources

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