Lines Matching full:coverity

3 # Upload a created tarball to Coverity Scan, as per
4 # https://scan.coverity.com/projects/qemu/builds/new
14 # run the (closed-source) coverity build tools, so don't
19 # build. (This is necessary so that the filenames that the Coverity
23 # installed as possible, for maximum coverity coverage.
25 # To do an upload you need to be a maintainer in the Coverity online
26 # service, and you will need to know the "Coverity token", which is a
38 #   --tokenfile : file to read Coverity token from
48 #  COVERITY_TOKEN -- Coverity token (default: looks at your
49 #                    coverity.token config)
51 #                    looks at your git coverity.email or user.email config)
54 #  COVERITY_TOOL_BASE -- set to directory to put coverity tools
55 #                        (default: /tmp/coverity-tools)
70 …if ! up_perm="$(wget https://scan.coverity.com/api/upload_permitted --post-data "token=$COVERITY_T…
71         echo "Coverity Scan API access denied: bad token?"
86             echo "Coverity Scan upload check: unexpected result $up_perm"
101         echo "Coverity Scan: upload permitted"
104             echo "Coverity Scan: upload quota reached, continuing dry run"
106             echo "Coverity Scan: upload quota reached; stopping here"
115     # build docker container including the coverity-scan tools
121                    -t coverity-scanner -f scripts/coverity-scan/coverity-scan.docker \
122                    --extra-files scripts/coverity-scan/run-coverity-scan \
127     # Check for whether we need to download the Coverity tools
134     echo "Checking for new version of coverity build tools..."
135 …wget https://scan.coverity.com/download/cxx/linux64 --post-data "token=$COVERITY_TOKEN&project=$PR…
140         echo "Downloading coverity build tools..."
142 …wget https://scan.coverity.com/download/cxx/linux64 --post-data "token=$COVERITY_TOKEN&project=$PR…
150             echo "Unpacking coverity build tools..."
268     COVERITY_TOKEN="$(git config coverity.token)"
287     echo "COVERITY_TOOL_BASE: using default /tmp/coverity-tools"
288     COVERITY_TOOL_BASE=/tmp/coverity-tools
338     COVERITY_EMAIL="$(git config coverity.email)"
354     # Put the Coverity token into a temporary file that only
385            -v "$SECRETDIR:/work" coverity-scanner \
386            ./run-coverity-scan --version "$VERSION" \
400     echo "Couldn't find cov-build in the coverity build-tool directory??"
456      https://scan.coverity.com/builds?project="$PROJNAME"