[MDBF-533] Coverity scan: Add model file to repository Created: 2023-02-01 Updated: 2023-02-21 |
|
| Status: | Open |
| Project: | MariaDB Foundation Development |
| Component/s: | None |
| Affects Version/s: | None |
| Fix Version/s: | None |
| Type: | Bug | Priority: | Major |
| Reporter: | Anel Husakovic | Assignee: | Andrew Hutchings |
| Resolution: | Unresolved | Votes: | 0 |
| Labels: | Papercut, coverity | ||
| Remaining Estimate: | Not Specified | ||
| Time Spent: | Not Specified | ||
| Original Estimate: | Not Specified | ||
| Issue Links: |
|
||||||||
| Description |
|
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 |