Coccinelle (ソフトウェア)

Coccinelle (フランス語でテントウムシ) は、プログラミング言語のC言語で書かれたプログラムのソースコードのマッチング及び(変形)（英語版）を行うためのツールである。Coccinelleは当初Linuxの進化を助けるために使用された。それにおいて、関数の改名、何らかのコンテキストに依存した値の引数の追加、データ構造の再編のような、ライブラリのAPIの変更することを支援している。このツールはオープンソースライセンスの基で自由に使用可能である。

Coccinelle

最新版	1.0.7 / 2018年8月31日 (4年前) (2018-08-31)
リポジトリ	github.com/coccinelle/coccinelle
プログラミング 言語	OCaml, Python
サポート状況	Active
種別	静的コード解析
ライセンス	GNU GPL v2
公式サイト	coccinelle.lip6.fr
(テンプレートを表示)

マッチングや変換されるソースコードは、C言語にとても良く似たパターン(セマンティックパッチ言語)を使用して指定される^[1][2]。

例

@@ expression lock, flags; expression urb; @@ spin_lock_irqsave(lock, flags); <... - usb_submit_urb(urb) + usb_submit_urb(urb, GFP_ATOMIC) ...> spin_unlock_irqrestore(lock, flags); @@ expression urb; @@ - usb_submit_urb(urb) + usb_submit_urb(urb, GFP_KERNEL) 

開発

サポートは(IRILL)（英語版）により提供されており、Coccinelleの開発資金提供は (Agence Nationale de la Recherche)（英語版） (フランス)、Danish Research Council for Technology and Production Sciences及びINRIAにより提供されている。

出典

1. ^ Valerie Henson (2009年1月20日). “Semantic patching with Coccinelle”. (Linux Weekly News). 2011年4月25日閲覧。
2. ^ Wolfram Sang (2010年3月30日). “Evolutionary development of a semantic patch using Coccinelle”. (Linux Weekly News). 2011年4月25日閲覧。

外部リンク

• Official release tracking repository at GitHub
• Articles describing the use of Coccinelle
• Coccinellery: Semantic Patch Gallery