Smatch is a C source checker like the
Stanford checker but it's free available.
It is a project of the KernelJanitors and therefor it is targeting the Linux kernel.
This page/project is trying to make smatch usefull for Wine.
Smatch is basicaly a patch to gcc and a series of perl modules/scripts.
Smatch & Wine
I am checking regularly (min: once a week, normaly more often) Wine with Smatch and post the results under Smatch on Wine Results.
For the impatient here is the link to the table with all issues found by Smatch in Wine: