# civl をインストール

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

## インストール

```sh
sudo av install brew:civl
```

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

### macOS

- Homebrew (100%):

```sh
brew install civl
```

  証拠: local Homebrew formula metadata

## パッケージ情報

- **パッケージキー:** brew:civl
- **パッケージマネージャ:** Homebrew
- **パッケージマネージャページ:** <https://formulae.brew.sh/formula/civl>
- **バージョン:** 1.22-5854
- **ソース概要:** Concurrency Intermediate Verification Language
- **ホームページ:** <https://vsl.cis.udel.edu/civl/>
- **上流ドキュメント:** <https://vsl.cis.udel.edu/civl/>
- **ライセンス:** GPL-3.0-or-later AND LGPL-3.0-or-later AND BSD-3-Clause
- **ソースアーカイブ:** <https://vsl.cis.udel.edu/lib/sw/civl/1.22/r5854/release/CIVL-1.22_5854.tgz>
- **更新:** 2026-02-19T14:35:27+01:00
- **生成ソース:** 2026-05-26T17:25:59+00:00

## 実行可能ファイル

- civl (cli)
- civl (エイリアス)

## 依存関係

- openjdk
- z3

## インストール挙動

- post-install フック: 未定義
- Bottle: 利用可能 対象 all

## 鮮度

- ページ生成日: 2026-05-26
- マネージャ版: 1.22-5854
- マネージャ更新日: 2026-02-19
- ローカルデータ: ok
- 上流リポジトリ: https://vsl.cis.udel.edu/civl/
- info: Release/tag comparison is only available for GitHub repositories.

## セキュリティノート

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

- **Geiger リスク:** blue / medium
- broad file, network, media, or database tool signal

## 関連リンク

- [openjdk](https://www.automicvault.com/pkg/brew/openjdk/) - Runtime dependency declared by Homebrew.
- [z3](https://www.automicvault.com/pkg/brew/z3/) - Runtime 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