Coccinelle

Julia Lawall

Coccinelle, un outil de bug finding. Coccinelle permet de rechercher et corriger des bugs dans le code. Il a été utilisé très fréquemment sur le code du kernel et pour automatiser des évolutions du code source.