Skip to content

Commit aafc8ac

Browse files
committed
coverity tooling: use 2020.09 and fix tests
1 parent 0f80c6d commit aafc8ac

File tree

4 files changed

+16
-12
lines changed

4 files changed

+16
-12
lines changed

.coverity.conf.sample

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,12 @@
11
22
COVTOKEN=aAbBcCdDeEfFgGhHiIjJkK
33
# Toolchain available at https://scan.coverity.com/download
4-
COVBINDIR="/opt/cov-analysis-linux64-2019.03/bin"
4+
COVBINDIR="/opt/cov-analysis-linux64-2020.09/bin"
55
# Nickname included in scan description:
66
NICKNAME=myself
7-
# cov can't read gcov from gcc > 7
8-
HOSTCC=gcc-7
9-
HOSTCXX=g++-7
10-
HOSTLD=g++-7
7+
HOSTCC=gcc-10
8+
HOSTCXX=g++-10
9+
HOSTLD=g++-10
1110

1211
# Do not change it:
1312
COVDIR=cov-int

covbuild.sh

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,7 @@ cov-build --dir "$COVDIR" --c-coverage=gcov --no-network-coverage --no-generate-
1717
#########################################
1818
# Build ARM, no test coverage #
1919
#########################################
20-
cov-build --dir "$COVDIR" --no-generate-build-id --force make bootrom
21-
cov-build --dir "$COVDIR" --no-generate-build-id --force make fullimage
20+
cov-build --dir "$COVDIR" --no-generate-build-id --force make recovery
2221

2322
#########################################
2423
# Build client #
@@ -27,6 +26,7 @@ cov-build --dir "$COVDIR" --no-generate-build-id --force make fullimage
2726
# and we want the client-side of the common/ analysis
2827
cov-build --dir "$COVDIR" --c-coverage=gcov --no-network-coverage --no-generate-build-id --force make CC=$HOSTCC CXX=$HOSTCXX LD=$HOSTLD mfkey
2928
cov-build --dir "$COVDIR" --c-coverage=gcov --no-network-coverage --no-generate-build-id --force make CC=$HOSTCC CXX=$HOSTCXX LD=$HOSTLD nonce2key
29+
cov-build --dir "$COVDIR" --c-coverage=gcov --no-network-coverage --no-generate-build-id --force make CC=$HOSTCC CXX=$HOSTCXX LD=$HOSTLD mf_nonce_brute
3030
cov-build --dir "$COVDIR" --c-coverage=gcov --no-network-coverage --no-generate-build-id --force make CC=$HOSTCC CXX=$HOSTCXX LD=$HOSTLD client
3131

3232
#########################################

covconfig.sh

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,5 +5,4 @@ set -e
55

66
# cov-configure --list-configured-compilers text
77
cov-configure --template --compiler arm-none-eabi-gcc --comptype gcc
8-
# cov can't read gcov from gcc > 7
98
cov-configure --template --compiler $HOSTCC --comptype gcc

doc/md/Development/Coverity-Scan-Config-and-Run.md

Lines changed: 10 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,21 @@
11

22
## Coverity Scan Config & Run
3-
Download the Coverity Scan Self-build and install it.
3+
Download the Coverity Scan Self-build from https://scan.coverity.com/download/ and untar it.
4+
45
You will need to configure ARM-NON-EABI- Compiler for it to use:
56

6-
Configure
7+
Configure
8+
9+
```sh
10+
cov-configure --template --compiler arm-none-eabi-gcc --comptype gcc
11+
```
12+
If it's in a unusual location:
713

814
```sh
9-
cov-configure --comptype gcc --compiler /opt/devkitpro/devkitARM/bin/arm-none-eabi-gcc
15+
cov-configure --comptype gcc --compiler /opt/devkitpro/devkitARM/bin/arm-none-eabi-gcc
1016
```
1117

12-
Run it (I'm running on Ubuntu)
18+
Run it
1319

1420
```sh
1521
cov-build --dir cov-int make all

0 commit comments

Comments
 (0)