More static analysis of the X code
Alan Coopersmith
alan.coopersmith at oracle.com
Fri Jun 4 17:56:00 PDT 2010
Alan Coopersmith wrote:
> Since our labs team just released (internally only unfortunately) a
> new version of the parfait source code analyzer, I tried running it
> on my current clone of git master to see if it would find it - it
> doesn't appear to have caught that, but did find some other issues
> people may want to sort through:
>
> http://people.freedesktop.org/~alanc/parfait/xserver/
>
> Since I ran it on OpenSolaris x86, it only checks code for that
> platform - I could try running in my Fedora VirtualBox if there's
> interest in seeing Linux platform differences.
I've run it across all the modules I build regularly from git now and
posted the results to
http://people.freedesktop.org/~alanc/parfait/xorg/
libXt is apparently so shockingly bad at checking for XtMalloc failures
that it's a huge portion of the issues found.
parfait is still a lab project under development, so it's known to miss
some errors, and give false positives for others, but hopefully there's
a few useful ones in there.
--
-Alan Coopersmith- alan.coopersmith at oracle.com
Oracle Solaris Platform Engineering: X Window System
More information about the xorg-devel
mailing list