aboutsummaryrefslogtreecommitdiff
path: root/scripts/coverity-scan/model.c
AgeCommit message (Expand)Author
2023-11-24coverity: physmem: use simple assertions instead of modellingVladimir Sementsov-Ogievskiy
2022-04-05coverity: update model for latest toolsPaolo Bonzini
2021-07-30coverity-model: write models fully for non-array allocation functionsPaolo Bonzini
2021-07-30coverity-model: constrain g_malloc/g_malloc0/g_realloc as never returning NULLPaolo Bonzini
2021-07-30coverity-model: clean up the models for array allocation functionsPaolo Bonzini
2021-07-30coverity-model: remove model for more allocation functionsPaolo Bonzini
2021-07-30coverity-model: make g_free a synonym of freePaolo Bonzini
2021-07-30coverity-model: update address_space_read/write modelsPaolo Bonzini
2021-05-12coverity-scan: list components, move model to scripts/coverity-scanPaolo Bonzini