Coccinelle es una utilidad de código abierto para hacer coincidir y transformar el código fuente de los programas escritos en el lenguaje de programación C.

El motor de comparación y transformación de programas que proporciona el lenguaje SmPL (lenguaje de parches semánticos) para especificar las coincidencias y transformaciones en el código C.

DESCARGA DE COCCINELLE

Historia de Coccinelle

Coccinelle se usó inicialmente para ayudar a la evolución del kernel de Linux, brindando soporte para cambios en las interfaces de programación de aplicaciones (API) de la biblioteca.

Algunos ejemplos son: Cambiar el nombre de una función, agregar un argumento de función cuyo valor depende de alguna manera del contexto y reorganizar una estructura de datos.

También se puede utilizar para encontrar patrones de programación defectuosos en el código (es decir, fragmentos de código que son erróneos con alta probabilidad, como una posible desreferencia de puntero NULL) sin transformarlos.

Entonces , el papel de Coccinelle es cercano al de las herramientas de análisis estático.

Ejemplos de dicho uso son las aplicaciones de la herramienta herodotos que realiza un seguimiento de las advertencias generadas por coccinelle.

Actualmente, IRILL proporciona soporte para Coccinelle. La financiación para el desarrollo ha sido proporcionada por la Agence Nationale de la Recherche (Francia), el Danish Research Council for Technology and Production Sciences e INRIA.

El código fuente de Coccinelle está licenciado según los términos de la versión 2 de la Licencia Pública General GNU (GPL).