IRILL. Coccinelle. Info | Kill bugs before they hatch. Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code. Coccinelle was initially targeted towards performing in Linux. Le langage Caml: Accueil. LE LANGAGE CAML. MANUEL DE REF´ ERENCE ´DU LANGAGE CAML.