coccinelle

Coccinelle est un moteur d'analyse et de transformation de code source C, utilisant le langage SmPL (Semantic Patch Language) pour spécifier les correspondances et transformations souhaitées.

Dépôt de code

https://gitlab.inria.fr/coccinelle/coccinelle (nouvelle fenêtre)

Cas d'utilisation métiers

Automatisation de la correction de bugs dans du code C : rechercher des initiatives proches
Mise en conformité de code C avec des normes spécifiques : rechercher des initiatives proches
Standardisation de code C selon des règles prédéfinies : rechercher des initiatives proches

Organisation

Administration centrale
- Gouvernement (Premier ministre et ministères)
  - Ministère de l’Économie, des Finances et de la Souveraineté industrielle, énergétique et numérique
    - Organismes rattachés - Ministère chargé de l'Économie et des Finances et de la Souveraineté industrielle et énergétique
      - Institut national de recherche en informatique et en automatique (organisation rattachée)

Description générée le dimanche 17 mars 2024 à 19:37:03

D'autres initiatives de la même organisation

Insee
insee.fr
Inria
inria.fr
Coq
github.com/coq/coq
Catala
github.com/CatalaLang/catala