proxmark3/doc/md/Development/Coverity-Scan-Config-and-Run.md
2020-10-06 20:45:13 +02:00

427 B

Coverity Scan Config & Run

Download the Coverity Scan Self-buld and install it. You will need to configure ARM-NON-EABI- Compiler for it to use:

Configure

cov-configure --comptype gcc --compiler  /opt/devkitpro/devkitARM/bin/arm-none-eabi-gcc

Run it (I'm running on Ubuntu)

cov-build --dir cov-int make all

Make a tarball

tar czvf proxmark3.tgz cov-int

Upload it to scan.coverity.com