Automic Vault

brew 软件包情报

安装 alive2

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

安装

使用 Automic Vault 安装

Automic Vault
下载 AV
sudo av install brew:alive2

macOS

Homebrew 已验证 · 100%
brew install alive2

local Homebrew formula metadata

Linux

Nix 已验证 · 92%
nix profile install nixpkgs#alive2

nixpkgs package indexes · pkgs/by-name/al/alive2/package.nix · 来源: api.github.com

平台说明

  • 没有特定于此软件包的平台说明。

概览

软件包摘要

Automic Vault 根据本地软件包数据发布 alive2 的安装路径、可执行文件事实和安全元数据。

命令和别名

  • alive
  • alive-exec
  • alive-jobserver
  • alive-tv
  • quick-fuzz

来源摘要

Automatic verification of LLVM optimizations

安全态势

风险级别:blue

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

风险分类器

blue 风险 · medium 置信度 · tool

原因

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

信号

  • text:server

安装行为

  • No Homebrew post-install hook is recorded in formula metadata.
  • Homebrew bottle metadata is available for 6 platform targets.
  • 安装时包含 4 个运行时依赖。
  • 构建元数据列出 2 个构建依赖。

建议审查

在无人值守的代理使用前,请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。

可执行文件

已安装的可执行文件

命令类型暴露范围备注
alivecliglobal executable
alive-execcliglobal executable
alive-jobservercliglobal executable
alive-tvcliglobal executable
quick-fuzzcliglobal executable

新鲜度

版本和新鲜度

这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时,才会提示版本落后。

页面生成时间2026-05-26
管理器版本21.0
管理器更新时间2026-02-27
本地数据ok
上游not checked
检测到的最新版本未检测到

https://github.com/AliveToolkit/alive2

安装元数据

软件包元数据

软件包键brew:alive2
版本21.0
软件包管理器Homebrew
软件包管理器页面https://formulae.brew.sh/formula/alive2
主页https://github.com/AliveToolkit/alive2
仓库https://github.com/AliveToolkit/alive2
许可证MIT
源码归档https://github.com/AliveToolkit/alive2.git
更新2026-02-27T23:28:01Z
Pulseupdated
依赖hiredis, llvm, z3, zstd
构建依赖cmake, re2c
Bottle可用 (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install未定义
服务未声明

来源线索

由仓库数据生成

此页面由 scripts/generate-pkg-pages.py 写入。如果 www/pkg/ 相对于本地软件包数据已过期,部署会拒绝发布。

使用的来源

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