coverity.sh 1.78 KB
Newer Older
Ben Straub committed
1 2 3 4 5 6
#!/bin/bash
set -e

# Environment check
[ -z "$COVERITY_TOKEN" ] && echo "Need to set a coverity token" && exit 1

Ben Straub committed
7 8 9 10 11 12 13
# Only run this on our branches
echo "Pull request: $TRAVIS_PULL_REQUEST  |  Slug: $TRAVIS_REPO_SLUG"
if [ "$TRAVIS_PULL_REQUEST" != "false" -o "$TRAVIS_REPO_SLUG" != "libgit2/libgit2" ];
then
	echo "Only analyzing 'development' on the main repo."
	exit 0
fi
14

Ben Straub committed
15
COV_VERSION=6.6.1
16
case $(uname -m) in
Ben Straub committed
17 18 19 20
	i?86)				BITS=32 ;;
	amd64|x86_64)	BITS=64 ;;
esac
SCAN_TOOL=https://scan.coverity.com/download/linux-${BITS}
21
TOOL_BASE=$(pwd)/_coverity-scan
Ben Straub committed
22 23

# Install coverity tools
24
if [ ! -d "$TOOL_BASE" ]; then
Ben Straub committed
25
	echo "Downloading coverity..."
26 27
	mkdir -p "$TOOL_BASE"
	pushd "$TOOL_BASE"
Ben Straub committed
28 29 30
	wget -O coverity_tool.tgz $SCAN_TOOL \
		--post-data "project=libgit2&token=$COVERITY_TOKEN"
	tar xzf coverity_tool.tgz
31 32 33
	popd
	TOOL_DIR=$(find "$TOOL_BASE" -type d -name 'cov-analysis*')
	ln -s "$TOOL_DIR" "$TOOL_BASE"/cov-analysis
Ben Straub committed
34 35
fi

36 37
cp script/user_nodefs.h "$TOOL_BASE"/cov-analysis/config/user_nodefs.h

Ben Straub committed
38 39 40 41 42 43 44 45 46 47 48 49 50
COV_BUILD="$TOOL_BASE/cov-analysis/bin/cov-build"

# Configure and build
rm -rf _build
mkdir _build
cd _build
cmake .. -DTHREADSAFE=ON
COVERITY_UNSUPPORTED=1 \
	$COV_BUILD --dir cov-int \
	cmake --build .

# Upload results
tar czf libgit2.tgz cov-int
51
SHA=$(git rev-parse --short HEAD)
52 53 54 55

HTML="$(curl \
	--silent \
	--write-out "\n%{http_code}" \
56
	--form token="$COVERITY_TOKEN" \
Ben Straub committed
57 58
	--form email=bs@github.com \
	--form file=@libgit2.tgz \
59
	--form version="$SHA" \
Ben Straub committed
60
	--form description="Travis build" \
61 62 63 64 65 66 67 68 69 70 71 72
	https://scan.coverity.com/builds?project=libgit2)"
# Body is everything up to the last line
BODY="$(echo "$HTML" | head -n-1)"
# Status code is the last line
STATUS_CODE="$(echo "$HTML" | tail -n1)"

echo "${BODY}"

if [ "${STATUS_CODE}" != "201" ]; then
	echo "Received error code ${STATUS_CODE} from Coverity"
	exit 1
fi