# splint を Homebrew, apt, MacPorts, Nix, pacman, zypper でインストール
splint のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
## インストール
```sh
sudo av install brew:splint
```
追加のインストールコマンド:
### macOS
- Homebrew (100%):
```sh
brew install splint
```
証拠: local Homebrew formula metadata
- MacPorts (94%):
```sh
sudo port install splint
```
証拠: MacPorts ports tree: devel/splint/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1
### Linux
- Debian apt (92%):
```sh
sudo apt install splint
```
証拠: Debian stable package indexes: splint from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
- Nix (92%):
```sh
nix profile install nixpkgs#splint
```
証拠: nixpkgs package indexes: splint from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix
- pacman (92%):
```sh
sudo pacman -S splint
```
証拠: Arch Linux sync databases: splint from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz
- zypper (92%):
```sh
sudo zypper install splint
```
証拠: openSUSE Tumbleweed package metadata: splint from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst
## パッケージ情報
- **パッケージキー:** brew:splint
- **パッケージマネージャ:** Homebrew
- **バージョン:** 3.1.2
- **ソース概要:** Secure Programming Lint
- **ホームページ:**
- **リポジトリ:**
- **最終更新:** 2026-06-22T14:06:21-07:00
- **生成日時:** 2026-08-03T19:37:03+00:00
## 実行可能ファイル
- splint (エイリアス)
## インストール挙動
- Bottle: 利用不可
## バージョンと鮮度
- ページ生成日: 2026-08-03
- マネージャ版: 3.1.2
## プロジェクトの歴史と使われ方
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.
### ソース
-
-
-
-
- source_facts.package-manager
## セキュリティノート
splint に一致するローカルシークレット処理マニフェストは見つかりませんでした。将来の対応で安定したパッケージ URL を使えるよう、Nucleus パッケージメタデータはここに公開されています。
## 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
- Unix: .splintrc, ~/.splintrc
## 他のパッケージマネージャ記録
- Debian apt - splint - 1:3.1.2+dfsg-5: normalized package name match | Debian stable package indexes: splint from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | tool for statically checking C programs for bugs | http://www.splint.org/
- Debian apt - splint-data - 1:3.1.2+dfsg-5: normalized package name match | Debian stable package indexes: splint-data from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | tool for statically checking C programs for bugs - data files | http://www.splint.org/
- Debian apt - splint-doc-html - 1:3.1.2+dfsg-5: normalized package name match | Debian stable package indexes: splint-doc-html from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | tool for statically checking C programs for bugs - HTML documentation | http://www.splint.org/
- Nix - splint: normalized package name match | nixpkgs package indexes: splint from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix
- Ubuntu apt - splint - 1:3.1.2+dfsg-5: normalized package name match | Ubuntu 24.04 LTS package indexes: splint from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | tool for statically checking C programs for bugs | http://www.splint.org/
- Ubuntu apt - splint-data - 1:3.1.2+dfsg-5: normalized package name match | Ubuntu 24.04 LTS package indexes: splint-data from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | tool for statically checking C programs for bugs - data files | http://www.splint.org/
- Ubuntu apt - splint-doc-html - 1:3.1.2+dfsg-5: normalized package name match | Ubuntu 24.04 LTS package indexes: splint-doc-html from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | tool for statically checking C programs for bugs - HTML documentation | http://www.splint.org/
- pacman - splint - 3.1.2.git20180129-3: normalized package name match | Arch Linux sync databases: splint from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz | A tool for statically checking C programs for security vulnerabilities and coding mistakes | https://repo.or.cz/splint-patched.git
- zypper - splint - 3.1.2-104.4: normalized package name match | openSUSE Tumbleweed package metadata: splint from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst | A tool for statically checking C programs | http://www.splint.org/
- MacPorts - splint: normalized package name match | MacPorts ports tree: devel/splint/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1
## Combined YAML source
View the package source record on GitHub. [combined/splint.yml](https://github.com/mxcl/pkgdb/blob/main/combined/splint.yml)
## ソース
- pkg.so package database
- curated configuration and credential file locations
- curated package history
- pkgdb category and tag curation
- external package-manager database matches
- cross-ecosystem install command graph