<!---\r
The coverity dataset is about 4G of size and about 1G in compressed state so it is a problem to upload it to the coverity server\r
[![Coverity Scan Build Status](https://scan.coverity.com/projects/4445/badge.svg)](https://scan.coverity.com/projects/4445)\r
<!---\r
The coverity dataset is about 4G of size and about 1G in compressed state so it is a problem to upload it to the coverity server\r
[![Coverity Scan Build Status](https://scan.coverity.com/projects/4445/badge.svg)](https://scan.coverity.com/projects/4445)\r