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