pkg.soopen package index

brew / 順位 5871

spin を Homebrew, apt, MacPorts, Nix, pacman でインストール

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

インストールコマンドセキュリティノート

インストール

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

macOS

Homebrew確認済み · 100%
brew install spin

local Homebrew formula metadata

MacPorts確認済み · 94%
sudo port install spin

MacPorts ports tree · devel/spin/Portfile · ソース: api.github.com

概要

パッケージ概要

Efficient verification tool of multi-threaded software

コマンドとエイリアス

  • spin

履歴

プロジェクトの歴史と使われ方

Spin is a widely used open-source formal verification tool for multi-threaded software, best known in CLI culture for model checking Promela models from the command line.

プロジェクトの歴史

The official Spin page says the tool was developed at Bell Labs in the Unix group of the Computing Sciences Research Center starting in 1980 and has been freely available since 1991.

採用の歴史

Spin crossed from research software into standard Unix packaging: the official page notes Debian and Ubuntu availability, and the input facts also list Homebrew, MacPorts, Nix, Arch, Debian, and Ubuntu packages.

使われ方

Users write models in Promela and run Spin to check concurrency properties. The official page's small Peterson mutual-exclusion example shows `spin -run peterson.pml` as a command-line analysis workflow.

パッケージ好きにとっての重要性

For package nerds, Spin is a canonical example of research-grade tooling that belongs in ordinary package indexes: old, portable, scriptable, academically important, and still useful for checking concurrent systems.

タイムライン

  • 1980: Development began at Bell Labs, according to the official page.
  • 1991: Spin became freely available.
  • 2002: Spin received the ACM System Software Award.
  • 2016: Version 6.4.5 moved Spin sources to the BSD 3-Clause license.
  • 2019: Official source page says the most recent source and binary distribution moved to GitHub maintenance.
  • 2020: Current Spin version 6.5.1 was released in July.

Related projects

  • Promela
  • Cobra
  • Modex
  • Swarm verification front-end
  • ltl2ba

セキュリティ状態

リスクレベル: グリーン

narrow executable package without higher-risk signals.

リスク分類器

リスク グリーン · 信頼度 低 · appliance

理由

  • narrow executable package without higher-risk signals

信号

  • metadata:no-higher-risk-signals

インストール挙動

  • Homebrew bottle メタデータは記録されていません。

推奨レビュー

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

実行可能ファイル

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

コマンド種類公開範囲メモ
spin実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。

鮮度

バージョンと鮮度

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

ページ生成日2026-08-03
マネージャ版6.5.2
マネージャ更新日2026-06-14
ローカルデータ不明
上流利用不可
検出された最新未検出
  • OK鮮度警告は生成されていません。

インストールメタデータ

パッケージメタデータ

パッケージキーbrew:spin
バージョン6.5.2
パッケージマネージャHomebrew
ホームページhttps://spinroot.com/spin/whatispin.html
リポジトリhttps://github.com/nimble-code/Spin
最終更新2026-06-14T15:13:50+02:00
Pulseupdated
Bottle未記録
サービス宣言なし

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。

Debian apt95%

spin 6.5.2+dfsg-2

formal software verification tool

https://spinroot.com/spin/whatispin.html

sudo apt install spin
  • Section: devel
  • Architecture: amd64
  • 1 依存関係
  • normalized package name match
  • 一致条件: Spin
Debian stable package indexes · deb.debian.org · Debian stable package indexes: spin from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Nix95%

spin

nix profile install nixpkgs#spin
  • normalized package name match
  • 一致条件: Spin
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/sp/spin/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
Ubuntu apt95%

spin 6.5.2+dfsg-1

formal software verification tool

http://spinroot.com

sudo apt install spin
  • Section: universe/devel
  • Architecture: amd64
  • 1 依存関係
  • normalized package name match
  • 一致条件: Spin
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: spin from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
pacman95%

spin 6.5.2-5

Tool for the formal verification of distributed software systems

https://spinroot.com/

sudo pacman -S spin
  • License: custom:BSD3
  • Architecture: x86_64
  • 1 依存関係
  • 3 任意依存関係
  • normalized package name match
  • 一致条件: Spin
Arch Linux sync databases · geo.mirror.pkgbuild.com · Arch Linux sync databases: spin from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz
MacPorts95%

spin

sudo port install spin
  • normalized package name match
  • 一致条件: Spin
MacPorts ports tree · api.github.com · MacPorts ports tree: devel/spin/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

エージェント安全ガイド

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

使用ソース

  • Geiger risk classifier
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • pkg.so package database
  • pkgdb category and tag curation