Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%

brew install coccinelle

local Homebrew formula metadata

MacPortsverifiziert · 94%

sudo port install coccinelle

MacPorts ports tree · devel/coccinelle/Portfile · Quelle: api.github.com

Linux

Alpine Linux apkverifiziert · 92%

sudo apk add coccinelle

Alpine Linux edge package indexes · coccinelle · Quelle: dl-cdn.alpinelinux.org

Debian aptverifiziert · 92%

sudo apt install coccinelle

Debian stable package indexes · coccinelle · Quelle: deb.debian.org

Fedora dnfverifiziert · 92%

sudo dnf install coccinelle

Fedora Rawhide package metadata · coccinelle · Quelle: dl.fedoraproject.org

Nixverifiziert · 92%

nix profile install nixpkgs#coccinelle

nixpkgs package indexes · coccinelle · Quelle: raw.githubusercontent.com

openSUSE zypperverifiziert · 92%

sudo zypper install coccinelle

openSUSE Tumbleweed package metadata · coccinelle · Quelle: download.opensuse.org

Überblick

Paketzusammenfassung

Program matching and transformation engine for C code

Projektlinks

Befehle und Aliase

spatch
spgen

Verlauf

Projektgeschichte und Nutzung

Coccinelle is a program matching and transformation engine for C code, centered on SmPL, the Semantic Patch Language. In package-manager culture it is best known as the `spatch` tool used for large C tree transformations, especially in Linux kernel development.

Projektgeschichte

The official INRIA site describes Coccinelle as a tool originally targeted at collateral evolutions in Linux: source-code updates required when library APIs change. It broadened from that origin into finding and fixing bugs in systems code.

The project has long had a research and systems-programming identity. The official site links papers, workshops, Linux impact pages, and SmPL grammar documentation, while the current GitLab project is hosted under INRIA.

Adoptionsgeschichte

Coccinelle's strongest adoption signal is Linux itself. The upstream Linux documentation has a dedicated Coccinelle page, describes the `make coccicheck` target, and says the semantic patches in the kernel require Coccinelle 1.0.0-rc11 or newer.

The Linux documentation also lists distribution availability through Debian, Fedora, Ubuntu, OpenSUSE, Arch Linux, Gentoo, NetBSD, and FreeBSD, while the input adds Homebrew, MacPorts, Nix, apk, dnf, and zypper.

Wie es verwendet wird

The main executable is `spatch`. Users write semantic patches in SmPL and run them over a file, directory, or source tree to report matches or propose transformations.

In the Linux kernel workflow, `make coccicheck MODE=report` reports matches and `MODE=patch` proposes fixes. The kernel script wires Coccinelle into the build tree through `scripts/coccicheck` and `scripts/coccinelle`.

Coccinelle supports `.cocciconfig` files in the user's home directory, the current directory, and the directory passed with `--dir`, letting users set preferred `spatch` options.

Warum Paket-Nerds sich dafür interessieren

Coccinelle is one of the more historically interesting developer-tool packages because it turns program transformation research into a packaged Unix CLI used by real infrastructure projects.

For package maintainers, it is a cross-distribution systems-code tool with an OCaml heritage, a Linux-kernel integration point, and a command (`spatch`) whose usefulness depends on both the executable and a corpus of semantic patches.

Zeitleiste

2005: Official site HTML carries an early creation marker.
2009: Official site lists the first Coccinelle Users Day.
2010: Linux kernel Coccinelle documentation and coccicheck script carry 2010 copyright notices.
2010: Official site links Coccinelle at the 2010 kernel summit.
2020: Current INRIA GitLab project created.
2021: SmPL grammar documentation lists version 1.1.0 and date June 21, 2021.

Related projects

Linux kernel `coccicheck` is the most visible related integration.
SmPL is the project-specific semantic patch language.
The Rust-for-Linux Coccinelle-for-Rust work is linked from the official site as a related direction.

Quellen

Sicherheitslage

Risikostufe: grün

narrow executable package without higher-risk signals.

Risikoklassifikator

grün Risiko · niedrig Konfidenz · appliance

Warum

narrow executable package without higher-risk signals

Signale

metadata:no-higher-risk-signals

Installationsverhalten

In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
Homebrew-Bottle-Metadaten sind für 6 Plattformziele verfügbar.
Build-Metadaten listen 5 Build-Abhängigkeiten.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

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: ~/.cocciconfig./.cocciconfig<dir passed with --dir>/.cocciconfig

Executables

Installierte Executables

Befehl	Art	Sichtbarkeit	Hinweis
`spatch`	cli	globales Executable
`spgen`	cli	globales Executable

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-07-08

Manager-Version1.3.1

Manager aktualisiert

lokale DatenOK

Upstreamnot checked

neueste erkannte Versionnicht erkannt

https://coccinelle.gitlabpages.inria.fr/website/

InfoNo package-manager update timestamp was available.niedrig Konfidenz
InfoRelease/tag comparison is only available for GitHub repositories.https://coccinelle.gitlabpages.inria.fr/website/none Konfidenz

Installationsmetadaten

Paketmetadaten

Paketschlüssel	brew:coccinelle
Version	1.3.1
Paketmanager	Homebrew
Paketmanager-Seite	https://formulae.brew.sh/formula/coccinelle
Homepage	https://coccinelle.gitlabpages.inria.fr/website/
Repository	https://gitlab.inria.fr/coccinelle/coccinelle
Upstream-Dokumentation	https://coccinelle.gitlabpages.inria.fr/website
Lizenz	GPL-2.0-only
Quellarchiv	https://coccinelle.gitlabpages.inria.fr/website/distrib/coccinelle-1.3.1.tar.gz
Build-Abhängigkeiten	autoconf, automake, menhir, ocaml, ocaml-findlib
Bottle	verfügbar (auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	nicht definiert
Dienst	keiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	coccinelle
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	head stable

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

Debian apt95%

coccinelle 1.3.0.deb-1+b2

semantic patching tool for C

http://coccinelle.lip6.fr

sudo apt install coccinelle

Section: devel
Architecture: amd64
Source Package: coccinelle
7 Abhängigkeiten
2 optionale Abhängigkeiten
normalized package name match
Abgeglichen nach: Coccinelle

Debian stable package indexes · deb.debian.org · Debian stable package indexes: coccinelle from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

Nix95%

coccinelle

nix profile install nixpkgs#coccinelle

normalized package name match
Abgeglichen nach: Coccinelle

nixpkgs package indexes · raw.githubusercontent.com · nixpkgs package indexes: coccinelle from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix

Ubuntu apt95%

coccinelle 1.1.1.deb-5build1

semantic patching tool for C

http://coccinelle.lip6.fr

sudo apt install coccinelle

Section: universe/devel
Architecture: amd64
6 Abhängigkeiten
2 optionale Abhängigkeiten
normalized package name match
Abgeglichen nach: Coccinelle

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: coccinelle from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

Ubuntu apt95%

coccinelle-doc 1.1.1.deb-5build1

documentation for coccinelle

http://coccinelle.lip6.fr

sudo apt install coccinelle-doc

Section: universe/doc
Architecture: all
Source Package: coccinelle
normalized package name match
Abgeglichen nach: Coccinelle

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: coccinelle-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

apk95%

coccinelle 1.1.1-r2

provides the spatch matching and transformation engine implementing semantic patch language

https://coccinelle.gitlabpages.inria.fr/website/

sudo apk add coccinelle

License: GPL-2.0-only
Architecture: x86_64
Source Package: coccinelle
1 Abhängigkeiten
1 stellt bereit
normalized package name match
Abgeglichen nach: Coccinelle

Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: coccinelle from https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz

apk95%

coccinelle-bash-completion 1.1.1-r2

Bash completions for coccinelle

https://coccinelle.gitlabpages.inria.fr/website/

sudo apk add coccinelle-bash-completion

License: GPL-2.0-only
Architecture: x86_64
Source Package: coccinelle
normalized package name match
Abgeglichen nach: Coccinelle

Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: coccinelle-bash-completion from https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz

apk95%

coccinelle-doc 1.1.1-r2

provides the spatch matching and transformation engine implementing semantic patch language (documentation)

https://coccinelle.gitlabpages.inria.fr/website/

sudo apk add coccinelle-doc

License: GPL-2.0-only
Architecture: x86_64
Source Package: coccinelle
normalized package name match
Abgeglichen nach: Coccinelle

Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: coccinelle-doc from https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz

dnf95%

coccinelle 1.3.1-7.fc45

Semantic patching for Linux (spatch)

https://coccinelle.lip6.fr/

sudo dnf install coccinelle

License: GPL-2.0-only
Category: Unspecified
Architecture: x86_64
Source Package: coccinelle
12 Abhängigkeiten
4 stellt bereit
normalized package name match
Abgeglichen nach: Coccinelle

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: coccinelle from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

dnf95%

coccinelle-bash-completion 1.3.1-7.fc45

Bash tab-completion for coccinelle

https://coccinelle.lip6.fr/

sudo dnf install coccinelle-bash-completion

License: GPL-2.0-only
Category: Unspecified
Architecture: noarch
Source Package: coccinelle
2 Abhängigkeiten
1 stellt bereit
normalized package name match
Abgeglichen nach: Coccinelle

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: coccinelle-bash-completion from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

dnf95%

coccinelle-doc 1.3.1-7.fc45

Documentation for coccinelle

https://coccinelle.lip6.fr/

sudo dnf install coccinelle-doc

License: GFDL-1.3-no-invariants-only
Category: Unspecified
Architecture: noarch
Source Package: coccinelle
1 Abhängigkeiten
1 stellt bereit
normalized package name match
Abgeglichen nach: Coccinelle

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: coccinelle-doc from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

dnf95%

coccinelle-examples 1.3.1-7.fc45

Examples for coccinelle

https://coccinelle.lip6.fr/

sudo dnf install coccinelle-examples

License: GPL-2.0-only
Category: Unspecified
Architecture: noarch
Source Package: coccinelle
1 Abhängigkeiten
1 stellt bereit
normalized package name match
Abgeglichen nach: Coccinelle

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: coccinelle-examples from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

zypper95%

coccinelle 1.3.1-2.3

Semantic patch utility

http://coccinelle.lip6.fr/

sudo zypper install coccinelle

License: GPL-2.0-only
Category: Productivity/Text/Utilities
Architecture: x86_64
Source Package: coccinelle
10 Abhängigkeiten
3 stellt bereit
normalized package name match
Abgeglichen nach: Coccinelle

openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: coccinelle from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst

MacPorts95%

coccinelle

sudo port install coccinelle

normalized package name match
Abgeglichen nach: Coccinelle

MacPorts ports tree · api.github.com · MacPorts ports tree: devel/coccinelle/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

Paketgraph

Links stammen aus dem lokalen Paketbeziehungsgraph, Ergänzungen, Abhängigkeitskanten, Ecosystem-Matches und Paket-Hub-Mitgliedschaft.

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Combined YAML source

View the package source record on GitHub.

combined/coccinelle.yml

Verwendete Quellen

Geiger risk classifier
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

coccinelle mit Homebrew, apk, apt, dnf, MacPorts, Nix, zypper installieren

Weitere Installationsbefehle

macOS

Linux

Paketzusammenfassung

Projektlinks

Befehle und Aliase

Projektgeschichte und Nutzung

Projektgeschichte

Adoptionsgeschichte

Wie es verwendet wird

Warum Paket-Nerds sich dafür interessieren

Zeitleiste

Related projects

Quellen

Risikostufe: grün

Risikoklassifikator

Warum

Signale

Installationsverhalten

Empfohlene Prüfung

Configuration and credential file locations

Configuration files

Installierte Executables

Version und Aktualität

Paketmetadaten

Details aus der Quelldatenbank

Andere Paketmanager-Einträge

Interne Paketlinks

Themen-Hubs

Verwandte Tools

Gleicher Workflow

Agent-Sicherheitsleitfäden

Aus Repository-Daten generiert

Combined YAML source

Verwendete Quellen