[cairo] Cairo is at Coverity Rung 0

Behdad Esfahbod 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
it though.


behdad

>   Christof
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1.4.6 (GNU/Linux)
> Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
> 
> iD8DBQFGrklKng+R+0ucfO0RAoE+AKCjGUYwdoS7hHA3BwAMI4efl0dFxACfSlIh
> OO0PS4oP7WHm1g25XCwBylg=
> =8Ax/
> -----END PGP SIGNATURE-----
> _______________________________________________
> cairo mailing list
> cairo at cairographics.org
> http://lists.cairographics.org/mailman/listinfo/cairo
-- 
behdad
http://behdad.org/

"Commandment Three says Do Not Kill, Amendment Two says Blood Will Spill"
        -- Dan Bern, "New American Language"



More information about the cairo mailing list