什么是Coccinelle？
Coccinelle是一个程序匹配和转换引擎提供用于指定C代码中所需的匹配和转换。Coccinelle是最初目标是执行附带演变在Linux中。这样演进包含中客户机代码中所需的更改对库API中演进的响应，可能包括修改例如重命名函数，添加值为以某种方式依赖于上下文，并重新组织数据结构。超越间接进化，Coccinelle被成功使用（由我们和其他）用于查找和修复系统代码中的错误。发起人
Coccinelle的开发过去得到了Agence的支持根据合同ANR-09-BLAN-0158-01，Nationale de la Recherche（法国）和ANR-05-BLAN-0383，丹麦技术和科学研究委员会生产科学和INRIA通过合作研究计划ARC验证+.
新闻
Coccinelle语义补丁位于Linux。语义补丁示例库位于http://coccinellery.org.
我们要感谢Linux操作系统基础,科拉博拉、和谷歌代码夏令营对于支持有助于提高科奇内尔和相关基础设施。
上次修改时间：2024年3月12日-
访问次数：
查看统计信息
