Coverity-Scan-Config-and-Run.md

Coverity Scan Config & Run

Download the Coverity Scan Self-build 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