インストール

追加のインストールコマンド

macOS

Homebrew確認済み · 100%

brew install coccinelle

local Homebrew formula metadata

MacPorts確認済み · 94%

sudo port install coccinelle

MacPorts ports tree · devel/coccinelle/Portfile · ソース: api.github.com

Linux

Alpine Linux apk確認済み · 92%

sudo apk add coccinelle

Alpine Linux edge package indexes · coccinelle · ソース: dl-cdn.alpinelinux.org

Debian apt確認済み · 92%

sudo apt install coccinelle

Debian stable package indexes · coccinelle · ソース: deb.debian.org

Fedora dnf確認済み · 92%

sudo dnf install coccinelle

Fedora Rawhide package metadata · coccinelle · ソース: dl.fedoraproject.org

Nix確認済み · 92%

nix profile install nixpkgs#coccinelle

nixpkgs package indexes · coccinelle · ソース: raw.githubusercontent.com

openSUSE zypper確認済み · 92%

sudo zypper install coccinelle

openSUSE Tumbleweed package metadata · coccinelle · ソース: download.opensuse.org

概要

パッケージ概要

Program matching and transformation engine for C code

プロジェクトリンク

コマンドとエイリアス

spatch
spgen

履歴

プロジェクトの歴史と使われ方

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.

プロジェクトの歴史

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.

採用の歴史

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.

使われ方

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.

パッケージ好きにとっての重要性

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.

タイムライン

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.

ソース

セキュリティ状態

リスクレベル: グリーン

narrow executable package without higher-risk signals.

リスク分類器

リスクグリーン · 信頼度低 · appliance

理由

narrow executable package without higher-risk signals

信号

metadata:no-higher-risk-signals

インストール挙動

formula メタデータに Homebrew post-install フックは記録されていません。
Homebrew bottle メタデータは 6 個のプラットフォームターゲットで利用できます。
ビルドメタデータには 5 件のビルド依存関係があります。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

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

実行可能ファイル

インストールされる実行可能ファイル

コマンド	種類	公開範囲	メモ
`spatch`	cli	グローバル実行可能ファイル
`spgen`	cli	グローバル実行可能ファイル

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-07-08

マネージャ版1.3.1

マネージャ更新日

ローカルデータOK

上流not checked

情報No package-manager update timestamp was available.信頼度低
情報Release/tag comparison is only available for GitHub repositories.https://coccinelle.gitlabpages.inria.fr/website/信頼度 none

インストールメタデータ

パッケージメタデータ

パッケージキー	brew:coccinelle
バージョン	1.3.1
パッケージマネージャ	Homebrew
パッケージマネージャページ	https://formulae.brew.sh/formula/coccinelle
ホームページ	https://coccinelle.gitlabpages.inria.fr/website/
リポジトリ	https://gitlab.inria.fr/coccinelle/coccinelle
上流ドキュメント	https://coccinelle.gitlabpages.inria.fr/website
ライセンス	GPL-2.0-only
ソースアーカイブ	https://coccinelle.gitlabpages.inria.fr/website/distrib/coccinelle-1.3.1.tar.gz
ビルド依存関係	autoconf, automake, menhir, ocaml, ocaml-findlib
Bottle	利用可能 (対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	未定義
サービス	宣言なし

レジストリ情報

ソースデータベース詳細

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

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。

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 依存関係
2 任意依存関係
normalized package name match
一致条件: 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
一致条件: 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 依存関係
2 任意依存関係
normalized package name match
一致条件: 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
一致条件: 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 依存関係
1 提供
normalized package name match
一致条件: 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
一致条件: 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
一致条件: 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 依存関係
4 提供
normalized package name match
一致条件: 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 依存関係
1 提供
normalized package name match
一致条件: 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 依存関係
1 提供
normalized package name match
一致条件: 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 依存関係
1 提供
normalized package name match
一致条件: 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 依存関係
3 提供
normalized package name match
一致条件: 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
一致条件: 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

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

Combined YAML source

View the package source record on GitHub.

combined/coccinelle.yml

使用ソース

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 を Homebrew, apk, apt, dnf, MacPorts, Nix, zypper でインストール

追加のインストールコマンド

macOS

Linux

パッケージ概要

プロジェクトリンク

コマンドとエイリアス

プロジェクトの歴史と使われ方

プロジェクトの歴史

採用の歴史

使われ方

パッケージ好きにとっての重要性

タイムライン

Related projects

ソース

リスクレベル: グリーン

リスク分類器

理由

信号

インストール挙動

推奨レビュー

Configuration and credential file locations

Configuration files

インストールされる実行可能ファイル

バージョンと鮮度

パッケージメタデータ

ソースデータベース詳細

他のパッケージマネージャ記録

内部パッケージリンク

トピック別ハブ

関連ツール

同じワークフロー

エージェント安全ガイド

リポジトリデータから生成

Combined YAML source

使用ソース