macOS
Homebrewvérifié · 100%
brew install splintlocal Homebrew formula metadata
MacPortsvérifié · 94%
sudo port install splintMacPorts ports tree · devel/splint/Portfile · Source: api.github.com
brew
Installer splint avec Homebrew, apt, MacPorts, Nix, pacman, zypper
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de splint pour les workflows d'agents IA.
installation
Commandes d'installation supplémentaires
Linux
Debian aptvérifié · 92%
sudo apt install splintDebian stable package indexes · splint · Source: deb.debian.org
Nixvérifié · 92%
nix profile install nixpkgs#splintnixpkgs package indexes · splint · Source: raw.githubusercontent.com
Arch Linux pacmanvérifié · 92%
sudo pacman -S splintArch Linux sync databases · splint · Source: geo.mirror.pkgbuild.com
openSUSE zyppervérifié · 92%
sudo zypper install splintopenSUSE Tumbleweed package metadata · splint · Source: download.opensuse.org
aperçu
Résumé du paquet
Secure Programming Lint
Liens du projet
Commandes et alias
- splint
historique
Historique du projet et usages
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.
Historique du projet
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.
Historique d'adoption
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.
Modes d'utilisation
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.
Pourquoi les passionnés de paquets s'y intéressent
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.
Chronologie
- 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.
Sources
posture de sécurité
Aucune couverture d'outil protégé trouvée pour le moment
Aucun manifest local de gestion des secrets correspondant n'a été trouvé pour splint. Les métadonnées de paquet Nucleus restent publiées ici afin que la couverture future dispose d'une URL stable.
Comportement d'installation
- Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
- Les métadonnées de bottle Homebrew sont disponibles pour 13 plateformes.
Revue recommandée
Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.
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
exécutables
Exécutables installés
| Commande | Type | Exposition | Note |
|---|---|---|---|
splint | cli | exécutable global |
fraîcheur
Version et fraîcheur
Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.
page générée2026-07-25
version du gestionnaire3.1.2
gestionnaire mis à jour2026-06-22
données localesOK
amontnot checked
dernière version détectéenon détecté
- infoRelease/tag comparison is only available for GitHub repositories.https://splint.org/confiance none
métadonnées d'installation
Métadonnées du paquet
| Clé du paquet | brew:splint |
|---|---|
| Version | 3.1.2 |
| Gestionnaire de paquets | Homebrew |
| Page du gestionnaire de paquets | https://formulae.brew.sh/formula/splint |
| Page d'accueil | https://splint.org/ |
| Dépôt | https://github.com/splintchecker/splint |
| Docs amont | https://splint.org/downloads/manual.pdf |
| Licence | GPL-2.0-or-later |
| Archive source | https://splint.org/downloads/splint-3.1.2.src.tgz |
| Dernière mise à jour | 2026-06-22T14:06:21-07:00 |
| Pulse | updated |
| Bibliothèques fournies par macOS | flex |
| Bouteille | disponible (sur arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura, x86_64_linux) |
| post-install Homebrew | non défini |
| Service | aucun déclaré |
faits du registre
Détails de la base source
| 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 |
|
correspondances dans les bases sources
Autres enregistrements de gestionnaires de paquets
Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.
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 Dépendances
- 1 dépendances optionnelles
- normalized package name match
- Correspondance par : 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
- Correspondance par : 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 dépendances optionnelles
- normalized package name match
- Correspondance par : Splint
Nix95%
splint
nix profile install nixpkgs#splint- normalized package name match
- Correspondance par : 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 Dépendances
- 1 dépendances optionnelles
- normalized package name match
- Correspondance par : 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
- Correspondance par : 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 dépendances optionnelles
- normalized package name match
- Correspondance par : 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 Dépendances
- normalized package name match
- Correspondance par : 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 Dépendances
- 1 fournit
- normalized package name match
- Correspondance par : Splint
MacPorts95%
splint
sudo port install splint- normalized package name match
- Correspondance par : Splint
piste source
Généré depuis les données du dépôt
Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Sources utilisées
- 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