Software per fer un refactoring de codi C. Molt útil per canviar el format en què es llancen les funcions, substituir una funció per una altra, afegir una variable a les crides, etc.
Per fer-ne ús només cal crear un fitxer molt similar a un diff i executar l’eina.
Exemple d’script test.cocci
@@
expression E;
identifier ptr;
@@
-ptr = alloca(E);
+ptr = malloc(E);
+if (ptr == NULL)
+ return 1;
Per executar-lo cal fer:
$ spatch -sp_file test.cocci test.c