aboutsummaryrefslogtreecommitdiff
path: root/scripts/coverity-scan
AgeCommit message (Expand)AuthorFilesLines
2020-06-12Merge remote-tracking branch 'remotes/bonzini/tags/for-upstream' into stagingPeter Maydell2-54/+88
2020-06-10run-coverity-scan: support --update-tools-only --dockerPaolo Bonzini1-16/+23
2020-06-10run-coverity-scan: download tools outside the containerPaolo Bonzini2-21/+24
2020-06-10run-coverity-scan: use --no-update-tools in docker runPaolo Bonzini1-6/+5
2020-06-10run-coverity-scan: add --no-update-tools optionPaolo Bonzini1-14/+23
2020-06-10run-coverity-scan: use docker.pyPaolo Bonzini2-12/+22
2020-06-10run-coverity-scan: get Coverity token and email from special git config sectionPaolo Bonzini1-9/+15
2020-06-08scripts/coverity-scan: Remove flex/bison packagesPhilippe Mathieu-Daudé1-2/+0
2020-04-14scripts/coverity-scan: Add Docker supportPeter Maydell2-0/+221
2020-04-14scripts/run-coverity-scan: Script to run Coverity Scan buildPeter Maydell1-0/+311