← Back to team overview

maria-developers team mailing list archive

Re: Coverity scanning


Hi Daniel,

On 22.04.2015 2:36, Daniel Black wrote:

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 .


 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