C Tools coccigrep: Semantic grep for the C language based on coccinelle Articles Improving and Fixing C Code