summaryrefslogtreecommitdiffstats
path: root/scripts/coverity-scan
Commit message (Expand)AuthorAgeFilesLines
* coverity-model: write models fully for non-array allocation functionsPaolo Bonzini2021-07-301-6/+51
* coverity-model: constrain g_malloc/g_malloc0/g_realloc as never returning NULLPaolo Bonzini2021-07-301-0/+9
* coverity-model: clean up the models for array allocation functionsPaolo Bonzini2021-07-301-10/+3Star
* coverity-model: remove model for more allocation functionsPaolo Bonzini2021-07-301-104/+1Star
* coverity-model: make g_free a synonym of freePaolo Bonzini2021-07-301-9/+8Star
* coverity-model: update address_space_read/write modelsPaolo Bonzini2021-07-301-3/+45
* hw/usb/ccid: remove references to NSSDaniel P. Berrangé2021-07-141-1/+0Star
* coverity-scan: switch to vpath buildPaolo Bonzini2021-07-061-3/+5
* coverity-scan: Remove lm32 / unicore32 targetsPhilippe Mathieu-Daudé2021-07-061-6/+0Star
* coverity-scan: list components, move model to scripts/coverity-scanPaolo Bonzini2021-05-122-0/+540
* Remove texinfo dependency from docker and CI configsPeter Maydell2020-09-291-1/+0Star
* Get rid of the libqemustub.a remaindersThomas Huth2020-08-051-3/+0Star
* Merge remote-tracking branch 'remotes/bonzini/tags/for-upstream' into stagingPeter Maydell2020-06-132-54/+88
|\
| * run-coverity-scan: support --update-tools-only --dockerPaolo Bonzini2020-06-101-16/+23
| * run-coverity-scan: download tools outside the containerPaolo Bonzini2020-06-102-21/+24
| * run-coverity-scan: use --no-update-tools in docker runPaolo Bonzini2020-06-101-6/+5Star
| * run-coverity-scan: add --no-update-tools optionPaolo Bonzini2020-06-101-14/+23
| * run-coverity-scan: use docker.pyPaolo Bonzini2020-06-102-12/+22
| * run-coverity-scan: get Coverity token and email from special git config sectionPaolo Bonzini2020-06-101-9/+15
* | scripts/coverity-scan: Remove flex/bison packagesPhilippe Mathieu-Daudé2020-06-081-2/+0Star
|/
* scripts/coverity-scan: Add Docker supportPeter Maydell2020-04-142-0/+221
* scripts/run-coverity-scan: Script to run Coverity Scan buildPeter Maydell2020-04-141-0/+311