Smatch
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: