summaryrefslogtreecommitdiffstats
path: root/scripts/coverity-scan
Commit message (Expand)AuthorAgeFilesLines
* 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