Semantic grep for the C language based on coccinelle