maria-developers team mailing list archive

Thread
Date

Re: Coverity scanning

To: Daniel Black <daniel.black@xxxxxxxxxxxxx>, MariaDB Developers <maria-developers@xxxxxxxxxxxxxxxxxxx>
From: Elena Stepanova <elenst@xxxxxxxxxxxxxxxx>
Date: Wed, 22 Apr 2015 02:46:34 +0300
In-reply-to: <1795948115.224540.1429659404957.JavaMail.zimbra@openquery.com>
User-agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.6.0

Hi Daniel,

On 22.04.2015 2:36, Daniel Black wrote:

Hi,

Seems MariaDB has an active Coverity project https://scan.coverity.com/projects/284 ...
but it hasn't been looked at for a while.

It's one of many things on the list:https://mariadb.atlassian.net/browse/MDEV-6262 .


Regards,
Elena


 From my list of bugs I suspect it would of found issues like:
* MDEV-7977
* MDEV-7864
* MDEV-4980

In correcting these before release it would of benefited MariaDB by:
* Not having SEGV / assertions faults occurring on user machines (even if they where test machines)
* hours of time by Elena and me to get a test cases produced for obvious logic bugs

References

Coverity scanning
From: Daniel Black, 2015-04-21