smatch, something like the Stanford Checker

[Michael Stefaniuc]

Hello,

i always dreamed to have something like the Stanford Checker for Wine
and some days ago i've seen on freshmeat smatch
http://smatch.sourceforge.net/ . It's a project from KernelJanitors and
it seems usefull, at least it's worth an entry on Dimi's janitorial
page.
A short description:
Smatch is basicaly a patch to gcc-3.1.1 that makes the gcc dump out it's
internal represantation of the code and a set of perl modules/scripts to
ease the parsing of the dumped code. Most of the perl scripts are for
the Linux Kernel but writing new scripts seems to be easy. I wrote
(well, mostly adapted an existing script for the kernel) one script
http://people.redhat.com/mstefani/wine/smatch/enter_leave.pl
(if we decide to adopt smatch it should probably go to $wine/tools/smatch/)
to find code path with missing LeaveCriticalSection's. Scripts to find
some other usefull things like fd, DC, GDI obejects leaks should be easy
to write.

Comments?
bye
	michael
-- 
Michael Stefaniuc               Tel.: +49-711-96437-199
System Administration           Fax.: +49-711-96437-111
Red Hat GmbH                    Email: mstefani at redhat.com
Hauptstaetterstr. 58            http://www.redhat.de/
D-70178 Stuttgart
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 232 bytes
Desc: not available
Url : http://www.winehq.org/pipermail/wine-devel/attachments/20030210/7cac48eb/attachment.pgp