summaryrefslogtreecommitdiff
path: root/ci/coverity.sh
blob: c68b6f8ccb66df3b78cfafe46d205a15629c26aa (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
#!/bin/bash -e

if test -z "$COVERITY_TOKEN"
then
    echo "Need to set a coverity token"
    exit 1
fi

case $(uname -m) in
    i?86)
        BITS=32;;
    amd64|x86_64)
        BITS=64;;
    *)
        echo "Unsupported arch '$(uname -m)'"
        exit 1;;
esac

SCAN_TOOL=https://scan.coverity.com/download/cxx/linux${BITS}
SOURCE_DIR=$(realpath "$(dirname "${BASH_SOURCE[0]}")"/..)
BUILD_DIR=${SOURCE_DIR}/coverity-build
TOOL_DIR=${BUILD_DIR}/coverity-tools

# Install coverity tools
if ! test -d "$TOOL_DIR"
then
    mkdir -p "$TOOL_DIR"
    curl --silent --show-error --location --data "project=libgit2&token=$COVERITY_TOKEN" "$SCAN_TOOL" |
        tar -xzC "$TOOL_DIR"
    ln -s "$(find "$TOOL_DIR" -type d -name 'cov-analysis*')" "$TOOL_DIR"/cov-analysis
fi

cp "${SOURCE_DIR}/script/user_nodefs.h" "$TOOL_DIR"/cov-analysis/config/

# Build libgit2 with Coverity
mkdir -p "$BUILD_DIR"
cd "$BUILD_DIR"
cmake "$SOURCE_DIR"
COVERITY_UNSUPPORTED=1 \
    "$TOOL_DIR/cov-analysis/bin/cov-build" --dir cov-int \
    cmake --build .

# Upload results
tar -czf libgit2.tgz cov-int
REVISION=$(cd ${SOURCE_DIR} && git rev-parse --short HEAD)
HTML="$(curl \
    --silent --show-error \
    --write-out "\n%{http_code}" \
    --form token="$COVERITY_TOKEN" \
    --form email=libgit2@gmail.com \
    --form file=@libgit2.tgz \
    --form version="$REVISION" \
    --form description="libgit2 build" \
    https://scan.coverity.com/builds?project=libgit2)"

# Status code is the last line
STATUS_CODE="$(echo "$HTML" | tail -n1)"
if test "${STATUS_CODE}" != 200 && test "${STATUS_CODE}" != 201
then
    echo "Received error code ${STATUS_CODE} from Coverity"
    exit 1
fi