Spinfer est un outil d'analyse de code source permettant la génération de correctifs sémantiques à partir de paires de fichiers source avant et après modification. Il utilise Coccinelle comme sous-module et requiert des dépendances spécifiques telles que des paquets OCaml et Python.