1#! /bin/sh 2 3# check if we use the correct directory 4ls src/civetweb.c 5if [ "$?" = "0" ]; then 6 echo "Building files for coverity check ..." 7else 8 echo "Run this script from the root directory of project!" 1>&2 9 echo "username@hostname:/somewhere/civetweb$ ./resources/coverity_check.sh" 1>&2 10 exit 1 11fi 12 13# remove last build 14rm -rf cov_build/ 15 16# copy files to build folder 17mkdir cov_build 18mkdir cov_build/src 19mkdir cov_build/include 20mkdir cov_build/resources 21 22cp Makefile cov_build/ 23cp src/civetweb.c cov_build/src/ 24cp src/main.c cov_build/src/ 25cp src/md5.inl cov_build/src/ 26cp src/sha1.inl cov_build/src/ 27cp src/response.inl cov_build/src/ 28cp src/timer.inl cov_build/src/ 29cp src/handle_form.inl cov_build/src/ 30cp src/openssl_dl.inl cov_build/src/ 31cp include/civetweb.h cov_build/include/ 32cp resources/Makefile.in-os cov_build/resources/ 33 34cd cov_build 35 36# new scan build 37~/cov-analysis-linux64-2019.03/bin/cov-build --dir cov-int make WITH_IPV6=1 WITH_WEBSOCKET=1 WITH_SERVER_STATS=1 WITH_EXPERIMENTAL=1 38 39 40# pack build results for upload 41tar czvf civetweb_coverity_check.tgz cov-int 42 43cd .. 44 45# check if the build was successful 46echo 47ls -la cov_build/civetweb_coverity_check.tgz 48 49if [ "$?" = "0" ]; then 50 echo "... done" 51 echo 52 echo "submit to https://scan.coverity.com/projects/bel2125-civetweb" 53 echo 54 echo "last commit was" 55 git log -n 1 56 echo 57 echo 58else 59 echo "No civetweb_coverity_check.tgz file" 1>&2 60 echo 61 exit 1 62fi 63 64# return "ok" 65exit 0 66 67