Automic VaultAutomic Vault

brew

使用 Homebrew, apk, apt, dnf, MacPorts, Nix, zypper 安装 coccinelle

查看 coccinelle 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

安装命令安全说明

安装

其他安装命令

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

可执行文件

已安装的可执行文件

命令类型暴露范围备注
spatchcli全局可执行文件
spgencli全局可执行文件

新鲜度

版本和新鲜度

这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。

页面生成时间2026-07-08
管理器版本1.3.1
管理器更新时间
本地数据OK
上游not checked
检测到的最新版本未检测到

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

安装元数据

软件包元数据

软件包键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 DatabaseHomebrew formula API
Taphomebrew/core
Full Namecoccinelle
Version Scheme0
Revision0
Head VersionHEAD
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
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

软件包图谱

链接来自本地软件包关系图、补充数据、依赖边、生态匹配和软件包 hub 归属。

相关工具

  • autoconfBuild dependency declared by Homebrew.
  • automakeBuild dependency declared by Homebrew.
  • menhirBuild dependency declared by Homebrew.
  • ocamlBuild dependency declared by Homebrew.

相同工作流

  • darkluaShares av.db curated category or tags: cli, code-transformation, developer-tools.
  • cbmcShares av.db curated category or tags: c, cli, developer-tools, static-analysis.
  • ccheckShares av.db curated category or tags: c, cli, developer-tools, static-analysis.
  • cflowShares av.db curated category or tags: c, cli, developer-tools, static-analysis.
  • combyShares av.db curated category or tags: cli, code-transformation, developer-tools.
  • cppcheckShares av.db curated category or tags: c, cli, developer-tools, static-analysis.

来源线索

由仓库数据生成

此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

使用的来源

  • 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