Ferramenta de patch semântico Coccinelle-git
