Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
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 |