installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%

brew install coccinelle

local Homebrew formula metadata

MacPortsvérifié · 94%

sudo port install coccinelle

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

Linux

Alpine Linux apkvérifié · 92%

sudo apk add coccinelle

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

Debian aptvérifié · 92%

sudo apt install coccinelle

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

Fedora dnfvérifié · 92%

sudo dnf install coccinelle

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

Nixvérifié · 92%

nix profile install nixpkgs#coccinelle

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

openSUSE zyppervérifié · 92%

sudo zypper install coccinelle

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

aperçu

Résumé du paquet

Program matching and transformation engine for C code

Liens du projet

Commandes et alias

spatch
spgen

historique

Historique du projet et usages

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.

Historique du projet

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.

Historique d'adoption

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.

Modes d'utilisation

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.

Pourquoi les passionnés de paquets s'y intéressent

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.

Chronologie

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.

Sources

posture de sécurité

Niveau de risque : vert

narrow executable package without higher-risk signals.

Classificateur de risque

risque vert · confiance faible · appliance

Pourquoi

narrow executable package without higher-risk signals

Signaux

metadata:no-higher-risk-signals

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 6 plateformes.
Les métadonnées de compilation listent 5 dépendances de compilation.

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

exécutables

Exécutables installés

Commande	Type	Exposition	Note
`spatch`	cli	exécutable global
`spgen`	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-08

version du gestionnaire1.3.1

gestionnaire mis à jour

données localesOK

amontnot checked

dernière version détectéenon détecté

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

infoNo package-manager update timestamp was available.confiance faible
infoRelease/tag comparison is only available for GitHub repositories.https://coccinelle.gitlabpages.inria.fr/website/confiance none

métadonnées d'installation

Métadonnées du paquet

Clé du paquet	brew:coccinelle
Version	1.3.1
Gestionnaire de paquets	Homebrew
Page du gestionnaire de paquets	https://formulae.brew.sh/formula/coccinelle
Page d'accueil	https://coccinelle.gitlabpages.inria.fr/website/
Dépôt	https://gitlab.inria.fr/coccinelle/coccinelle
Docs amont	https://coccinelle.gitlabpages.inria.fr/website
Licence	GPL-2.0-only
Archive source	https://coccinelle.gitlabpages.inria.fr/website/distrib/coccinelle-1.3.1.tar.gz
Dépendances de compilation	autoconf, automake, menhir, ocaml, ocaml-findlib
Bouteille	disponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, 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	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

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%

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 Dépendances
2 dépendances optionnelles
normalized package name match
Correspondance par : 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
Correspondance par : 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 Dépendances
2 dépendances optionnelles
normalized package name match
Correspondance par : 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
Correspondance par : 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 Dépendances
1 fournit
normalized package name match
Correspondance par : 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
Correspondance par : 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
Correspondance par : 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 Dépendances
4 fournit
normalized package name match
Correspondance par : 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 Dépendances
1 fournit
normalized package name match
Correspondance par : 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 Dépendances
1 fournit
normalized package name match
Correspondance par : 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 Dépendances
1 fournit
normalized package name match
Correspondance par : 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 Dépendances
3 fournit
normalized package name match
Correspondance par : 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
Correspondance par : 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

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

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.

combined/coccinelle.yml

Sources utilisées

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

Installer coccinelle avec Homebrew, apk, apt, dnf, MacPorts, Nix, zypper

Commandes d'installation supplémentaires

macOS

Linux

Résumé du paquet

Liens du projet

Commandes et alias

Historique du projet et usages

Historique du projet

Historique d'adoption

Modes d'utilisation

Pourquoi les passionnés de paquets s'y intéressent

Chronologie

Related projects

Sources

Niveau de risque : vert

Classificateur de risque

Pourquoi

Signaux

Comportement d'installation

Revue recommandée

Configuration and credential file locations

Configuration files

Exécutables installés

Version et fraîcheur

Métadonnées du paquet

Détails de la base source

Autres enregistrements de gestionnaires de paquets

Liens internes de paquets

Hubs thématiques

Outils liés

Même workflow

Guides de sécurité des agents

Généré depuis les données du dépôt

Combined YAML source

Sources utilisées