Hi,

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

>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



-- 
-- 
Daniel Black, Engineer @ Open Query (http://openquery.com.au)
Remote expertise & maintenance for MySQL/MariaDB server environments.