The part coccinelle does is the part GPT is good at, the problem is neither of them actually reason about the code