proxmark3/.coverity.conf.sample

COVLOGIN=myemail@corp.com
COVTOKEN=aAbBcCdDeEfFgGhHiIjJkK
# Toolchain available at https://scan.coverity.com/download
COVBINDIR="/opt/cov-analysis-linux64-2020.09/bin"
# Nickname included in scan description:
NICKNAME=myself
HOSTCC=gcc-10
HOSTCXX=g++-10
HOSTLD=g++-10

# Do not change it:
COVDIR=cov-int

# Depending if your kernel > 4.8.x, you might need to activate this to run Coverity executables
# (but latest tools with kernel 5.2 run fine)
#sysctl vsyscall=emulate

export PATH="$PATH:$COVBINDIR"

function pre_build_hook() {
    # tmp dir will be /tmp/cov-$username/
    # It's the good place if you need to redirect to elsewhere with a symlink
    return 0
}

function post_build_hook() {
    return 0
}

function pre_submit_hook() {
    return 0
}

function post_submit_hook() {
    # Clean up build folders?
    rm -rf "$COVDIR"
    echo "Coverity build cleaned"
    return 0
}