# Installer alive2 avec Homebrew, Nix

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

## installation

```sh
sudo av install brew:alive2
```

Commandes d'installation supplémentaires:

### macOS

- Homebrew (100%):

```sh
brew install alive2
```

  Preuve: local Homebrew formula metadata

### Linux

- Nix (92%):

```sh
nix profile install nixpkgs#alive2
```

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

## Faits du paquet

- **Clé du paquet:** brew:alive2
- **Gestionnaire de paquets:** Homebrew
- **Page du gestionnaire de paquets:** <https://formulae.brew.sh/formula/alive2>
- **Version:** 21.0
- **Résumé source:** Automatic verification of LLVM optimizations
- **Page d'accueil:** <https://github.com/AliveToolkit/alive2>
- **Dépôt:** <https://github.com/AliveToolkit/alive2>
- **Licence:** MIT
- **Archive source:** <https://github.com/AliveToolkit/alive2.git>
- **Dernière mise à jour:** 2026-07-10T11:09:14-04:00
- **Généré:** 2026-08-04T22:13:35+00:00

## exécutables

- alive (cli)
- alive-exec (cli)
- alive-jobserver (cli)
- alive-tv (cli)
- quick-fuzz (cli)
- alive (alias)
- alive-exec (alias)
- alive-jobserver (alias)
- alive-tv (alias)
- quick-fuzz (alias)

## Dépendances

- hiredis
- llvm
- z3
- zstd

## Dépendances de compilation

- cmake
- re2c

## Comportement d'installation

- hook post-installation: non défini
- Bouteille: disponible sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## Version et fraîcheur

- page générée: 2026-08-04
- version du gestionnaire: 21.0
- gestionnaire mis à jour: 2026-07-10
- données locales: OK
- dépôt amont: https://github.com/AliveToolkit/alive2
- info: No cached GitHub release or tag data was available.
## Historique du projet et usages

Alive2 is a toolkit for analyzing and verifying LLVM code and transformations, centered on translation validation for compiler optimizations.

### Historique du projet

The public Alive2 repository starts with an initial commit on 2018-06-09. Its README describes libraries for Alive2 IR, symbolic execution, LLVM-to-Alive2 IR conversion, refinement checking, and SMT abstraction, plus tools including an Alive drop-in replacement, alive-tv, alive-exec, and clang/opt translation-validation plugins.

The project positions itself as the successor in spirit to Alive for LLVM optimization reasoning, but with a broader toolkit around real LLVM IR and translation validation. The README points to the PLDI 2021 Alive2 paper for the technical introduction.

Alive2 tracks LLVM closely: its README says the latest Alive2 is intended to build against the latest LLVM main branch, and its later release tags use LLVM-version-like labels such as v19.0, v20.0, and v21.0.

### Historique d'adoption

Alive2 is used as an LLVM quality tool rather than a general application. The README says the maintainers run translation validation across LLVM IR-level transformation tests on LLVM main each day and publish results. The repository's BugList lists many LLVM and Z3 issues found by Alive2.

The project also has an online alive-tv instance, letting compiler developers try translation validation without building the local toolchain.

### Modes d'utilisation

Package users usually run alive-tv on source and target LLVM IR, wrap opt through Alive2's translation-validation scripts, or compile through alivecc/alive++ to validate IR-level transformations performed by clang. alive-exec is documented as an experimental UB-precise LLVM function interpreter.

The toolchain is intentionally low-level: it needs CMake, a C/C++ compiler, re2c, Z3, and often a matching LLVM build with RTTI and exceptions enabled.

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

Alive2 is notable in package-manager catalogs because it packages research-grade compiler verification as command-line tools. For LLVM-heavy users, installing alive-tv is a practical way to test optimizer correctness without assembling the whole research environment by hand.

It also depends on the exact moving edge of LLVM, which makes it a good example of a package whose value is tied to keeping versions and build flags aligned with upstream compiler development.

### Chronologie

- 2018: Public Git history begins with an initial commit.
- 2020: README example documents an LLVM release/10.x optimizer bug found by alive-tv.
- 2021: PLDI 2021 paper published as the project's technical introduction.
- 2024: v19.0 tag appears in the repository history.
- 2025: v21.0 tag appears in the repository history.

### Related projects

- LLVM: primary compiler IR and optimization target.
- Z3: SMT solver dependency and one of the projects whose bugs are tracked in Alive2's BugList.
- Alive: earlier optimization-verification tool referenced by Alive2's drop-in replacement.

### Sources

- Alive2 PLDI 2021 paper linked from README: https://web.ist.utl.pt/nuno.lopes/pubs/alive2-pldi21.pdf
- Git history from https://github.com/AliveToolkit/alive2.git
- Official Alive2 BugList: https://raw.githubusercontent.com/AliveToolkit/alive2/master/BugList.md
- Official Alive2 README: https://raw.githubusercontent.com/AliveToolkit/alive2/master/README.md


## Notes de sécurité

broad file, network, media, or database tool signal.

- **Risque Geiger:** blue / moyen
- broad file, network, media, or database tool signal

## Détails de la base source

- **Source Database:** Homebrew formula API
- **Tap:** homebrew/core
- **Full Name:** alive2
- **Version Scheme:** 0
- **Revision:** 4
- **Head Version:** HEAD
- **Bottle Stable Root URL:** <https://ghcr.io/v2/homebrew/core>
- **Deprecated:** no
- **Disabled:** no
- **Keg Only:** no
- **URL Keys:** head, stable

## Autres enregistrements de gestionnaires de paquets

- Nix - alive2: normalized package name match | nixpkgs package indexes: pkgs/by-name/al/alive2/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1


## Liens liés

- [Source-control packages](https://pkg.so/fr/source-control-tools/) - Belongs to a source-control command family.
- [Secret-risk packages](https://pkg.so/fr/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals.
- [Terminal utility packages](https://pkg.so/fr/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Text processing packages](https://pkg.so/fr/text-processing-tools/) - Matched text, document, or structured-data processing metadata.
- [zstd](https://pkg.so/fr/brew/zstd/) - Runtime dependency declared by Homebrew.
- [llvm](https://pkg.so/fr/brew/llvm/) - Runtime dependency declared by Homebrew.
- [z3](https://pkg.so/fr/brew/z3/) - Runtime dependency declared by Homebrew.
- [cmake](https://pkg.so/fr/brew/cmake/) - Build dependency declared by Homebrew.
- [re2c](https://pkg.so/fr/brew/re2c/) - Build dependency declared by Homebrew.
- [lit](https://pkg.so/fr/brew/lit/) - Shares pkgdb curated category or tags: cli, compiler-tools, developer-tools, llvm.
- [quint](https://pkg.so/fr/brew/quint/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-methods.
- [proof-general](https://pkg.so/fr/brew/proof-general/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-methods.
- [llvm@20](https://pkg.so/fr/brew/llvm-20/) - Shares pkgdb curated category or tags: cli, compiler, developer-tools, llvm.
- [bison](https://pkg.so/fr/brew/bison/) - Shares pkgdb curated category or tags: cli, compiler-tools, developer-tools.
- [llvm@21](https://pkg.so/fr/brew/llvm-21/) - Shares pkgdb curated category or tags: cli, compiler, developer-tools, llvm.
- [llvm@18](https://pkg.so/fr/brew/llvm-18/) - Shares pkgdb curated category or tags: cli, compiler, developer-tools, llvm.
- [dafny](https://pkg.so/fr/brew/dafny/) - Local package facts share a topical domain. Shared terms: cli, developer, developer-tools, formal, formal-methods.
- [spirv-llvm-translator](https://pkg.so/fr/brew/spirv-llvm-translator/) - Local package facts share a topical domain. Shared terms: cli, compiler, developer, developer-tools, llvm.
- [clang-uml](https://pkg.so/fr/brew/clang-uml/) - Local package facts share a topical domain. Shared terms: automatic, cli, developer, developer-tools, llvm.

## Combined YAML source

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


## Sources

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