# klee をインストール

klee のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

## インストール

```sh
sudo av install brew:klee
```

追加のインストールコマンド:

### macOS

- Homebrew (100%):

```sh
brew install klee
```

  証拠: local Homebrew formula metadata

### Linux

- Nix (92%):

```sh
nix profile install nixpkgs#klee
```

  証拠: nixpkgs package indexes: pkgs/by-name/kl/klee/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

- zypper (92%):

```sh
sudo zypper install klee
```

  証拠: openSUSE Tumbleweed package metadata: klee from https://download.opensuse.org/tumbleweed/repo/oss/repodata/155b97171d05e27afd950b6fe0d55513ff38f4597110664535bceedc680bbe6fd459f0733718dcc21dcf0efc7c8250fd1390c73d4790b42e62fb2c16a87242e5-primary.xml.zst

## パッケージ情報

- **パッケージキー:** brew:klee
- **パッケージマネージャ:** Homebrew
- **パッケージマネージャページ:** <https://formulae.brew.sh/formula/klee>
- **バージョン:** 3.2
- **ソース概要:** Symbolic Execution Engine
- **ホームページ:** <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
- **生成ソース:** 2026-05-26T22:45:13+00:00

## 実行可能ファイル

- kleaver (cli)
- klee (cli)
- klee-exec-tree (cli)
- klee-replay (cli)
- klee-stats (cli)
- klee-zesti (cli)
- ktest-gen (cli)
- ktest-randgen (cli)
- ktest-tool (cli)
- kleaver (エイリアス)
- klee (エイリアス)
- klee-exec-tree (エイリアス)
- klee-replay (エイリアス)
- klee-stats (エイリアス)
- klee-zesti (エイリアス)
- ktest-gen (エイリアス)
- ktest-randgen (エイリアス)
- ktest-tool (エイリアス)

## 依存関係

- cryptominisat
- gmp
- gperftools
- llvm@16
- minisat
- python@3.14
- sqlite
- stp
- wllvm
- z3

## ビルド依存関係

- cmake

## インストール挙動

- post-install フック: 未定義
- Bottle: 利用可能 対象 arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## 鮮度

- ページ生成日: 2026-05-26
- マネージャ版: 3.2
- マネージャ更新日: 2026-04-04
- ローカルデータ: ok
- 上流リポジトリ: https://github.com/klee/klee
- 検出された最新: v3.2 (current)

## セキュリティノート

generalized runtime or code generation signal.

- **Geiger リスク:** yellow / medium
- generalized runtime or code generation signal

## 関連リンク

- [sqlite](https://www.automicvault.com/pkg/brew/sqlite/) - Runtime dependency declared by Homebrew.
- [python@3.14](https://www.automicvault.com/pkg/brew/python-3-14/) - Runtime dependency declared by Homebrew.
- [gmp](https://www.automicvault.com/pkg/brew/gmp/) - Runtime dependency declared by Homebrew.
- [z3](https://www.automicvault.com/pkg/brew/z3/) - Runtime dependency declared by Homebrew.
- [llvm@16](https://www.automicvault.com/pkg/brew/llvm-16/) - Runtime dependency declared by Homebrew.
- [gperftools](https://www.automicvault.com/pkg/brew/gperftools/) - Runtime dependency declared by Homebrew.
- [cryptominisat](https://www.automicvault.com/pkg/brew/cryptominisat/) - Runtime dependency declared by Homebrew.
- [stp](https://www.automicvault.com/pkg/brew/stp/) - Runtime dependency declared by Homebrew.
- [cmake](https://www.automicvault.com/pkg/brew/cmake/) - 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