Coverity scan has "model file" , basically mock C code that explains to Coverity what certain functions really return. You should be able to see our current one here: https://scan.coverity.com/projects/mariadb/model_file
Add model file to the repository in order to get the contributions.