<<< Date Index >>>     <<< Thread Index >>>

Re: [patch] fix a few little buglets in mutt HEAD



[ I hope it's okay If i'm taking this back to mutt-dev@ ]

Hi,

* Erik Hovland wrote:
I have access to a static analysis tool.

What tool?

Coverity prevent:
http://coverity.com/

What's the license?

My employer has a big license that they let me use
on free software as long as it doesn't interfere with my regular work.

Are there usage restrictions for the
results?

Yes, I cannot share the results. Only the patches. But you can probably
request that coverity add mutt to scan.coverity.com

I think all 4 present committers decided against the signing into
covertity for NDA reasons, I'm not sure what to do about the
patches. But as said, even gcc finds some of those you found.

It could be really nice if you could make that a mercurial patch series
so invidivual changes can be committed invidually to help bisecting in
case they cause trouble some time later on.

Any advice on how to do this would be appreciated. I am very new to hg.

Please see:

        http://dev.mutt.org/hg/mutt/file/f6f74a034ab7/doc/devel-notes.txt#l144

Rocco