[cairo] Cairo is at Coverity Rung 0
behdad at cs.toronto.edu
Mon Jul 30 13:18:28 PDT 2007
On Mon, 2007-07-30 at 16:25 -0400, Christof Petig wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
> Carl Worth schrieb:
> > In the meantime, there are a lot of static-analysis things that I'd
> > love to see happening for cairo that I know that Coverity doesn't do,
> > and that I know would be quite easy to add to a tool like sparse. For
> > example, I'd like a tool that told us whenever we mixed fixed-point
> > with non-fixed-point integer arithmetic, or whenever we mixed values
> > from two different coordinate systems in the same arithmetic
> > expression.
> > If anybody would like to help improve sparse, (or just teach us how to
> > start using it), to do those kinds of things, that would be great!
> > But do be careful about what agreements you make first.
> There is also the opportunity to abuse C++ as a type safety enforcing
> parser by defining fixed point types as classes with a minimum of
> defined conversion operators. This has proven to be very efficient (and
> sometimes overzealous) at my work (maintaining fixed point code).
Yes, I have said that many times in the past. Never got to implementing
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1.4.6 (GNU/Linux)
> Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
> -----END PGP SIGNATURE-----
> cairo mailing list
> cairo at cairographics.org
"Commandment Three says Do Not Kill, Amendment Two says Blood Will Spill"
-- Dan Bern, "New American Language"
More information about the cairo