Sascha Wildner has made it easier to use alternative syntax checking systems as a “lint” make target in DragonFly.  His usage of coccinelle, as one of these alternatives, has already found many bugs – just today, for instance.

Is “alternative syntax checking systems” the right phrase for this?  I don’t know.  “Correctness checker”?  My phrases all sound like something you’d read on a government form.