# splint mit Homebrew, apt, MacPorts, Nix, pacman, zypper installieren Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für splint in AI-Agent-Workflows. ## Installation ```sh sudo av install brew:splint ``` Weitere Installationsbefehle: ### macOS - Homebrew (100%): ```sh brew install splint ``` Evidenz: local Homebrew formula metadata - MacPorts (94%): ```sh sudo port install splint ``` Evidenz: 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 ``` Evidenz: 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 ``` Evidenz: 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 ``` Evidenz: 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 ``` Evidenz: openSUSE Tumbleweed package metadata: splint from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst ## Paketfakten - **Paketschlüssel:** brew:splint - **Paketmanager:** Homebrew - **Paketmanager-Seite:** - **Version:** 3.1.2 - **Quellzusammenfassung:** Secure Programming Lint - **Homepage:** - **Repository:** - **Upstream-Dokumentation:** - **Lizenz:** GPL-2.0-or-later - **Quellarchiv:** - **Zuletzt aktualisiert:** 2026-06-22T14:06:21-07:00 - **Generiert:** 2026-07-25T07:20:51+00:00 ## Executables - splint (cli) - splint (Alias) ## Von macOS bereitgestellte Bibliotheken - flex ## Installationsverhalten - Post-install-Hook: nicht definiert - Bottle: verfügbar auf arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura ## Version und Aktualität - Seite generiert: 2026-07-25 - Manager-Version: 3.1.2 - Manager aktualisiert: 2026-06-22 - lokale Daten: OK - Upstream-Repository: https://splint.org/ - Info: Release/tag comparison is only available for GitHub repositories. ## Projektgeschichte und Nutzung 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. ### Projektgeschichte 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. ### Adoptionsgeschichte 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. ### Wie es verwendet wird 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. ### Warum Paket-Nerds sich dafür interessieren 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. ### Zeitleiste - 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. ### Quellen - - - - - source_facts.package-manager ## Sicherheitshinweise Für splint wurde kein passendes lokales Secret-Handling-Manifest gefunden. Nucleus-Paketmetadaten bleiben hier veröffentlicht, damit künftige Abdeckung eine stabile Paket-URL hat. ## 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 ## Details aus der Quelldatenbank - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** splint - **Version Scheme:** 0 - **Revision:** 0 - **Head Version:** HEAD - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** head, stable ## Andere Paketmanager-Einträge - 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.2: normalized package name match | openSUSE Tumbleweed package metadata: splint from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-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 ## Verwandte Links - [Terminal utility packages](https://www.automicvault.com/de/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Text processing packages](https://www.automicvault.com/de/pkg/text-processing-tools/) - Matched text, document, or structured-data processing metadata. - [Developer build packages](https://www.automicvault.com/de/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [Networking and protocol packages](https://www.automicvault.com/de/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata. - [cflow](https://www.automicvault.com/de/pkg/brew/cflow/) - Shares av.db curated category or tags: c, cli, developer-tools, static-analysis. - [coccinelle](https://www.automicvault.com/de/pkg/brew/coccinelle/) - Shares av.db curated category or tags: c, cli, developer-tools, static-analysis. - [cppcheck](https://www.automicvault.com/de/pkg/brew/cppcheck/) - Shares av.db curated category or tags: c, cli, developer-tools, static-analysis. - [datadog-static-analyzer](https://www.automicvault.com/de/pkg/brew/datadog-static-analyzer/) - Shares av.db curated category or tags: cli, developer-tools, security, static-analysis. - [esbmc](https://www.automicvault.com/de/pkg/brew/esbmc/) - Shares av.db curated category or tags: c, cli, developer-tools, static-analysis. - [kube-score](https://www.automicvault.com/de/pkg/brew/kube-score/) - Shares av.db curated category or tags: cli, developer-tools, security, static-analysis. - [scalastyle](https://www.automicvault.com/de/pkg/brew/scalastyle/) - Shares av.db curated category or tags: cli, developer-tools, lint, static-analysis. - [semgrep](https://www.automicvault.com/de/pkg/brew/semgrep/) - Shares av.db curated category or tags: cli, developer-tools, security, static-analysis. ## Combined YAML source View the package source record on GitHub. [combined/splint.yml](https://github.com/automic-vault/db/blob/main/combined/splint.yml) ## Quellen - Nucleus package database - package-page enrichment - curated configuration and credential file locations - curated package history - package version freshness - av.db category and tag curation - package relationship graph - external package-manager database matches - cross-ecosystem install command graph