# 安装 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
- **软件包管理器页面:** <https://formulae.brew.sh/formula/alive2>
- **版本:** 21.0
- **来源摘要:** Automatic verification of LLVM optimizations
- **主页:** <https://github.com/AliveToolkit/alive2>
- **仓库:** <https://github.com/AliveToolkit/alive2>
- **许可证:** MIT
- **源码归档:** <https://github.com/AliveToolkit/alive2.git>
- **更新:** 2026-02-27T23:28:01Z
- **生成来源:** 2026-05-26T17:25:59+00:00

## 可执行文件

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

## 依赖

- hiredis
- llvm
- z3
- zstd

## 构建依赖

- cmake
- re2c

## 安装行为

- post-install 钩子: 未定义
- Bottle: 可用 于 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## 新鲜度

- 页面生成时间: 2026-05-26
- 管理器版本: 21.0
- 管理器更新时间: 2026-02-27
- 本地数据: ok
- 上游仓库: https://github.com/AliveToolkit/alive2
- info: No cached GitHub release or tag data was available.

## 安全说明

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

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

## 相关链接

- [zstd](https://www.automicvault.com/pkg/brew/zstd/) - Runtime dependency declared by Homebrew.
- [llvm](https://www.automicvault.com/pkg/brew/llvm/) - Runtime dependency declared by Homebrew.
- [z3](https://www.automicvault.com/pkg/brew/z3/) - Runtime dependency declared by Homebrew.
- [hiredis](https://www.automicvault.com/pkg/brew/hiredis/) - Runtime dependency declared by Homebrew.
- [cmake](https://www.automicvault.com/pkg/brew/cmake/) - Build dependency declared by Homebrew.
- [re2c](https://www.automicvault.com/pkg/brew/re2c/) - Build dependency declared by Homebrew.
- [Secret-risk packages](https://www.automicvault.com/pkg/secret-risk-packages/)

## 来源

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- package version freshness
- package relationship graph
- cross-ecosystem install command graph