Sascha Wildner has been using a new-to-me tool called coccinelle (no, not that) to scan for a number of problems.  Patches for this tool may be useful for anyone else using coccinelle for bug-finding in other software.