インストール

Automic Vault でインストール

Automic Vault

AV をダウンロード

sudo av install brew:klee

macOS

Homebrew 確認済み · 100%

brew install klee

local Homebrew formula metadata

Linux

Nix 確認済み · 92%

nix profile install nixpkgs#klee

nixpkgs package indexes · pkgs/by-name/kl/klee/package.nix · ソース: api.github.com

openSUSE zypper 確認済み · 92%

sudo zypper install klee

openSUSE Tumbleweed package metadata · klee · ソース: download.opensuse.org

パッケージマネージャソース

https://formulae.brew.sh/formula/klee

プラットフォームノート

パッケージ固有のプラットフォームノートはありません。

概要

パッケージ概要

Automic Vault は、klee のパッケージ固有のインストール経路、実行可能ファイル情報、セキュリティメタデータをローカルパッケージデータから公開します。

ホームページ

https://klee-se.org

コマンドとエイリアス

kleaver
klee
klee-exec-tree
klee-replay
klee-stats
klee-zesti
ktest-gen
ktest-randgen
ktest-tool

ソース概要

Symbolic Execution Engine

セキュリティ状態

リスクレベル: yellow

generalized runtime or code generation signal.

リスク分類器

yellow リスク · medium 信頼度 · runtime

理由

generalized runtime or code generation signal

信号

text:repl

インストール挙動

No Homebrew post-install hook is recorded in formula metadata.
Homebrew bottle metadata is available for 5 platform targets.
10 件の実行時依存関係とともにインストールされます。
ビルドメタデータには 1 件のビルド依存関係があります。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド	種類	公開範囲
`kleaver`	cli	global executable
`klee`	cli	global executable
`klee-exec-tree`	cli	global executable
`klee-replay`	cli	global executable
`klee-stats`	cli	global executable
`klee-zesti`	cli	global executable
`ktest-gen`	cli	global executable
`ktest-randgen`	cli	global executable
`ktest-tool`	cli	global executable

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-05-26

マネージャ版3.2

マネージャ更新日2026-04-04

ローカルデータok

上流current

検出された最新v3.2

https://github.com/klee/klee

ok鮮度警告は生成されていません。

インストールメタデータ

パッケージメタデータ

パッケージキー	brew:klee
バージョン	3.2
パッケージマネージャ	Homebrew
パッケージマネージャページ	https://formulae.brew.sh/formula/klee
ホームページ	https://klee-se.org
リポジトリ	https://github.com/klee/klee
上流ドキュメント	https://klee-se.org
ライセンス	NCSA
ソースアーカイブ	https://github.com/klee/klee/archive/refs/tags/v3.2.tar.gz
更新	2026-04-04T01:04:25Z
Pulse	updated
依存関係	cryptominisat, gmp, gperftools, llvm@16, minisat, python@3.14, sqlite, stp, wllvm, z3
ビルド依存関係	cmake
Bottle	利用可能 (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

klee をインストール