macOS
Homebrew確認済み · 100%
brew install splintlocal Homebrew formula metadata
MacPorts確認済み · 94%
sudo port install splintMacPorts ports tree · devel/splint/Portfile · ソース: api.github.com
brew
splint を Homebrew, apt, MacPorts, Nix, pacman, zypper でインストール
splint のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
追加のインストールコマンド
Linux
Debian apt確認済み · 92%
sudo apt install splintDebian stable package indexes · splint · ソース: deb.debian.org
Nix確認済み · 92%
nix profile install nixpkgs#splintnixpkgs package indexes · splint · ソース: raw.githubusercontent.com
Arch Linux pacman確認済み · 92%
sudo pacman -S splintArch Linux sync databases · splint · ソース: geo.mirror.pkgbuild.com
openSUSE zypper確認済み · 92%
sudo zypper install splintopenSUSE Tumbleweed package metadata · splint · ソース: download.opensuse.org
概要
パッケージ概要
Secure Programming Lint
プロジェクトリンク
コマンドとエイリアス
- splint
履歴
プロジェクトの歴史と使われ方
Splint, short for Secure Programming Lint, is an annotation-assisted static checker for C programs that extends the traditional Unix lint idea into security and stronger interface checking.
プロジェクトの歴史
Splint came from the University of Virginia Inexpensive Program Analysis Group and the earlier LCLint research line. The official publications page traces LCLint work back through a 1994 FSE paper and a 1996-2000 LCLint user's guide, while the Splint release notes describe Splint 3.0.1 in January 2002 as the successor to LCLint 2.5q.
The project framed itself as lightweight rather than heavyweight formal verification: with little setup it could act as a better lint, and with source annotations it could check stronger assumptions about nullness, memory ownership, buffer sizes, and interfaces. Version 3.1.2 was released in July 2007, and the official homepage now points to a GitHub source repository plus historical source distributions.
採用の歴史
Splint's package-manager presence in the supplied input spans Homebrew, Debian, Ubuntu, MacPorts, Nix, Arch, and openSUSE-family packaging. Its adoption is mostly historical and educational now, but it remains packaged because it is a recognizable classic in C static analysis and secure-programming coursework.
使われ方
Users run `splint` against C source files and adjust checking with command-line flags, annotations in stylized comments, and `.splintrc` files. The manual documents loading `~/.splintrc` and then a working-directory `.splintrc`, with command-line flags overriding both.
パッケージ好きにとっての重要性
Splint matters to package nerds because it is a fossil record of the path from Unix `lint` to annotation-assisted security checking. It is small, old, GPL-licensed, and still installable, which makes it useful for archaeology, examples, and comparing modern static analyzers against earlier C tooling.
タイムライン
- 1994: LCLint is presented at FSE as a tool for using specifications to check code.
- 1996-2000: The LCLint user's guide covers the predecessor tool later superseded by the Splint manual.
- 2002: Splint 3.0.1 is released as the successor to LCLint 2.5q.
- 2003: Splint manual version 3.1.1-1 is published.
- 2007: Splint 3.1.2 is released.
Related projects
- LCLint is the direct predecessor documented by the official Splint publications and release pages.
- Traditional Unix lint is the cultural baseline: Splint's homepage explicitly presents it as usable as a better lint with minimal effort.
ソース
セキュリティ状態
保護ツール対応はまだ見つかっていません
splint に一致するローカルシークレット処理マニフェストは見つかりませんでした。将来の対応で安定したパッケージ URL を使えるよう、Nucleus パッケージメタデータはここに公開されています。
インストール挙動
- formula メタデータに Homebrew post-install フックは記録されていません。
- Homebrew bottle メタデータは 13 個のプラットフォームターゲットで利用できます。
推奨レビュー
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
local files
Configuration and credential file locations
These source-backed paths show where this package keeps local settings or durable credentials. Automic Vault can use them as review targets for secret scanning, migration, and command approval.
Configuration files
Config paths the tool may read or write during local use.
- Unix
.splintrc~/.splintrc
実行可能ファイル
インストールされる実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
splint | cli | グローバル実行可能ファイル |
鮮度
バージョンと鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
ページ生成日2026-07-25
マネージャ版3.1.2
マネージャ更新日2026-06-22
ローカルデータOK
上流not checked
検出された最新未検出
- 情報Release/tag comparison is only available for GitHub repositories.https://splint.org/信頼度 none
インストールメタデータ
パッケージメタデータ
| パッケージキー | brew:splint |
|---|---|
| バージョン | 3.1.2 |
| パッケージマネージャ | Homebrew |
| パッケージマネージャページ | https://formulae.brew.sh/formula/splint |
| ホームページ | https://splint.org/ |
| リポジトリ | https://github.com/splintchecker/splint |
| 上流ドキュメント | https://splint.org/downloads/manual.pdf |
| ライセンス | GPL-2.0-or-later |
| ソースアーカイブ | https://splint.org/downloads/splint-3.1.2.src.tgz |
| 最終更新 | 2026-06-22T14:06:21-07:00 |
| Pulse | updated |
| macOS 提供ライブラリ | flex |
| Bottle | 利用可能 (対象 arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura, x86_64_linux) |
| Homebrew post-install | 未定義 |
| サービス | 宣言なし |
レジストリ情報
ソースデータベース詳細
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | splint |
| Version Scheme | 0 |
| Revision | 0 |
| Head Version | HEAD |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
ソースデータベース一致
他のパッケージマネージャ記録
一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。
Debian apt95%
splint 1:3.1.2+dfsg-5
tool for statically checking C programs for bugs
sudo apt install splint- Section: devel
- Architecture: amd64
- 3 依存関係
- 1 任意依存関係
- normalized package name match
- 一致条件: Splint
Debian apt95%
splint-data 1:3.1.2+dfsg-5
tool for statically checking C programs for bugs - data files
sudo apt install splint-data- Section: devel
- Architecture: all
- Source Package: splint
- normalized package name match
- 一致条件: Splint
Debian apt95%
splint-doc-html 1:3.1.2+dfsg-5
tool for statically checking C programs for bugs - HTML documentation
sudo apt install splint-doc-html- Section: doc
- Architecture: all
- Source Package: splint
- 1 任意依存関係
- normalized package name match
- 一致条件: Splint
Nix95%
splint
nix profile install nixpkgs#splint- normalized package name match
- 一致条件: Splint
Ubuntu apt95%
splint 1:3.1.2+dfsg-5
tool for statically checking C programs for bugs
sudo apt install splint- Section: universe/devel
- Architecture: amd64
- 3 依存関係
- 1 任意依存関係
- normalized package name match
- 一致条件: Splint
Ubuntu apt95%
splint-data 1:3.1.2+dfsg-5
tool for statically checking C programs for bugs - data files
sudo apt install splint-data- Section: universe/devel
- Architecture: all
- Source Package: splint
- normalized package name match
- 一致条件: Splint
Ubuntu apt95%
splint-doc-html 1:3.1.2+dfsg-5
tool for statically checking C programs for bugs - HTML documentation
sudo apt install splint-doc-html- Section: universe/doc
- Architecture: all
- Source Package: splint
- 1 任意依存関係
- normalized package name match
- 一致条件: Splint
pacman95%
splint 3.1.2.git20180129-3
A tool for statically checking C programs for security vulnerabilities and coding mistakes
https://repo.or.cz/splint-patched.git
sudo pacman -S splint- License: GPL
- Architecture: x86_64
- 1 依存関係
- normalized package name match
- 一致条件: Splint
zypper95%
splint 3.1.2-104.2
A tool for statically checking C programs
sudo zypper install splint- License: GPL-2.0-or-later
- Category: Development/Languages/C and C++
- Architecture: x86_64
- Source Package: splint
- 2 依存関係
- 1 提供
- normalized package name match
- 一致条件: Splint
MacPorts95%
splint
sudo port install splint- normalized package name match
- 一致条件: Splint
ソース経路
リポジトリデータから生成
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
Combined YAML source
View the package source record on GitHub.
使用ソース
- Nucleus package database
- av.db category and tag curation
- cross-ecosystem install command graph
- curated configuration and credential file locations
- curated package history
- external package-manager database matches
- package relationship graph
- package version freshness
- package-page enrichment