Mike Hearn wrote:
I'm not really convinced a static analysis can catch things that we "know" cannot happen (eg it'd be a violation of the X protocol or something) and so rely on them without explicit checks.
To be secure, I think we have to handle X protocol violations, too. - Dan
-- Wine for Windows ISVs: http://kegel.com/wine/isv