Searched full:coverity (Results 1 – 25 of 131) sorted by relevance
123456
6 …CT_NAME and COVERITY_SCAN_TOKEN are available on Project Settings page on scan.coverity.com\033[0m"15 TOOL_URL=https://scan.coverity.com/download/cxx/${PLATFORM}16 TOOL_BASE=/tmp/coverity-scan-analysis17 UPLOAD_URL="https://scan.coverity.com/builds"18 SCAN_URL="https://scan.coverity.com"20 # Verify Coverity Scan run condition32 echo -e "\033[33;1mINFO: Skipping Coverity Analysis: branch is a pull request.\033[0m"62 # Download Coverity Scan Analysis Tool64 echo -e "\033[33;1mDownloading Coverity Scan Analysis Tool...\033[0m"68 # Extract Coverity Scan Analysis Tool[all …]
50 # https://scan.coverity.com/projects/<project_id>/submit_build?tab=travis_ci52 # Coverity run condition (avoid matrix multiple runs), need customized55 # Coverity script test mode (if true no uploading, avoid reaching the quota)73 …: https://raw.githubusercontent.com/$TRAVIS_REPO_SLUG/$TRAVIS_BRANCH/.travis-coverity-scan-build.sh107 - if [ "$COVERITY_SCAN_BRANCH" = 1 ]; then echo "Coverity build - nothing more to do"; exit 0; fi
21 echo "Running non-coverity build"32 echo "Running coverity build"34 # Do coverity steps42 if [ ! -f "$(pwd)/coverity-analysis/bin/cov-build" ]; then43 …wget https://scan.coverity.com/download/linux64 --quiet --post-data "token=$COVERITY_SCAN_TOKEN&pr…44 …wget https://scan.coverity.com/download/linux64 --quiet --post-data "token=$COVERITY_SCAN_TOKEN&pr…56 /bin/bash -c '/workspace/tpm2-tss/.ci/coverity.run'61 echo "Submitting data to Coverity"68 https://scan.coverity.com/builds?project=tpm2-software%2Ftpm2.0-tss
9 echo "Coverity scan branch detected, not running with clang...exiting!"14 echo "coverity.run invoked for non-coverity branch $TRAVIS_BRANCH...exiting!"18 echo "Performing build with Coverity Scan"23 echo "Collecting Coverity data for submission"
536 * src/racoon/proposal.c: Fix memory leak (Coverity 3438 and 3437)539 it's signed (Coverity 1251)571 avoid reusing free'd pointer (Coverity 2613)573 * src/racoon/isakmp_inf.c: Check for NULL pointer (COverity 4175)575 * src/racoon/isakmp_ident.c: Remove dead code (Coverity 3451)577 * src/racoon/algorithm.c: Fix array overrun (Coverity 4172)579 * src/racoon/admin.c: Fix memory leak (Coverity 2002)582 (Coverity 2001), refactor the code to use port get/set functions584 * src/racoon/admin.c: Avoid reusing free'd pointer (Coverity 4200)586 * src/racoon/oakley.c: Don't use NULL pointer (Coverity 3443),[all …]
1 /* Coverity Scan model3 * This is a modeling file for Coverity Scan. Modeling helps to avoid false14 * Coverity Scan doesn't pick up modifications automatically. The model file16 * http://scan.coverity.com/projects/20077 * Coverity considers argv, environ, read() data etc as tained.114 /* Coverity doesn't understand that fdopendir() may take ownership of fd. */127 * Coverity thinks that the input values for these function come from a
2 Coverity has a static analysis tool (Prevent) which is similar to Klocwork.6 http://scan.coverity.com/
22 README.coverity Information about running Coverity's Prevent on Python
1 name: coverity-scan11 - name: Download Coverity Build Tool13 …wget -q https://scan.coverity.com/download/cxx/linux64 --post-data "token=$TOKEN&project=capstone-…29 - name: Submit the result to Coverity Scan39 https://scan.coverity.com/builds?project=capstone-next
4 [](http…
3 [](https://scan.coverity.…
477 # coverity480 kmod-coverity-%.tar.xz:487 coverity-tar: kmod-coverity-$(shell git describe 2>/dev/null).tar.xz489 coverity-sync: kmod-coverity-$(shell git describe 2>/dev/null).tar.xz490 @echo "uploading coverity tarball"496 https://scan.coverity.com/builds?project=kmod498 coverity-clean:499 rm -rf kmod-coverity-*.tar.xz cov-int
2 [](https://scan.co…
2 * Coverity Scan model4 * This is a modeling file for Coverity Scan. Modeling helps to avoid false15 * Coverity Scan doesn't pick up modifications automatically. The model file
5 [](https://scan.cov…
22 # We have to do this by hand rather than use the coverity addon because of31 echo "Skipping coverity scan."41 curl -s "https://scan.coverity.com/scripts/travisci_build_coverity_scan.sh" | bash || :
5 [](https://scan.coverity.com/…
12 * Coverage [](https://scan.cov…
9 [](https://scan.cov…
13 `Coverity <https://scan.coverity.com/projects/mesa>`__
2 Klocwork has a static analysis tool (K7) which is similar to Coverity.12 This is after Coverity had been making their results available.
180 # coverity scan183 - TEST="Coverity Scan"195 …- echo -n | openssl s_client -connect scan.coverity.com:443 | sed -ne '/-BEGIN CERTIFICATE-/,/-END…