The OpenBSD team runs coverity on their LibreSSL fork and continues to improve the codebase constantly. More distributions are switching to LibreSSL too.