aboutsummaryrefslogtreecommitdiff
path: root/scripts/coverity-scan/model.c
AgeCommit message (Expand)AuthorFilesLines
2023-11-24coverity: physmem: use simple assertions instead of modellingVladimir Sementsov-Ogievskiy1-88/+0
2022-04-05coverity: update model for latest toolsPaolo Bonzini1-1/+2
2021-07-30coverity-model: write models fully for non-array allocation functionsPaolo Bonzini1-6/+51
2021-07-30coverity-model: constrain g_malloc/g_malloc0/g_realloc as never returning NULLPaolo Bonzini1-0/+9
2021-07-30coverity-model: clean up the models for array allocation functionsPaolo Bonzini1-10/+3
2021-07-30coverity-model: remove model for more allocation functionsPaolo Bonzini1-104/+1
2021-07-30coverity-model: make g_free a synonym of freePaolo Bonzini1-9/+8
2021-07-30coverity-model: update address_space_read/write modelsPaolo Bonzini1-3/+45
2021-05-12coverity-scan: list components, move model to scripts/coverity-scanPaolo Bonzini1-0/+386