Age | Commit message (Expand) | Author |
---|---|---|
2023-11-24 | coverity: physmem: use simple assertions instead of modelling | Vladimir Sementsov-Ogievskiy |
2022-04-05 | coverity: update model for latest tools | Paolo Bonzini |
2021-07-30 | coverity-model: write models fully for non-array allocation functions | Paolo Bonzini |
2021-07-30 | coverity-model: constrain g_malloc/g_malloc0/g_realloc as never returning NULL | Paolo Bonzini |
2021-07-30 | coverity-model: clean up the models for array allocation functions | Paolo Bonzini |
2021-07-30 | coverity-model: remove model for more allocation functions | Paolo Bonzini |
2021-07-30 | coverity-model: make g_free a synonym of free | Paolo Bonzini |
2021-07-30 | coverity-model: update address_space_read/write models | Paolo Bonzini |
2021-05-12 | coverity-scan: list components, move model to scripts/coverity-scan | Paolo Bonzini |