# 使用 Homebrew, Nix 安装 alive2

查看 alive2 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

## 安装

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

其他安装命令:

### macOS

- Homebrew (100%):

```sh
brew install alive2
```

  证据: local Homebrew formula metadata

### Linux

- Nix (92%):

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

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

## 软件包事实

- **软件包键:** brew:alive2
- **软件包管理器:** Homebrew
- **版本:** 21.0
- **来源摘要:** Automatic verification of LLVM optimizations
- **主页:** <https://github.com/AliveToolkit/alive2>
- **仓库:** <https://github.com/AliveToolkit/alive2>
- **最后更新:** 2026-07-10T11:09:14-04:00
- **已生成:** 2026-08-03T19:37:03+00:00

## 可执行文件

- alive (别名)
- alive-exec (别名)
- alive-jobserver (别名)
- alive-tv (别名)
- quick-fuzz (别名)

## 安装行为

- Bottle: 不可用

## 版本和新鲜度

- 页面生成时间: 2026-08-03
- 管理器版本: 21.0
## 项目历史与用法

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

### 项目历史

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.

### 采用历史

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.

### 使用方式

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.

### 为什么软件包爱好者会关心

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.

### 时间线

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

### 来源

- 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


## 安全说明

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

- **Geiger 风险:** blue / 中
- broad file, network, media, or database tool signal

## 其他软件包管理器记录

- 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


## Combined YAML source

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


## 来源

- 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