> I note that you said you did this using the Coccinelle software. Is > the semantic patch something you're trying to get upstream at part of > coccicheck? Not yet. It might become more interesting to achieve wider applications of similar source code analyses and transformations. Several SmPL script variants were published which are also still waiting on constructive review for coccicheck extensions. Regards, Markus