github/RRG-Proxmark3
1
0
Fork 0
mirror of https://github.com/RfidResearchGroup/proxmark3.git synced 2025-08-21 13:53:55 -07:00
Code Issues Projects Releases Packages Wiki Activity Actions

new coverity scripts

Browse source
This commit is contained in:
Philippe Teuwen 2019-10-09 15:29:42 +02:00
commit 89dd574f53
4 changed files with 84 additions and 41 deletions
Download patch file Download diff file Expand all files Collapse all files

13
covconfig.sh
View file

@ -1,13 +1,6 @@
#!/bin/bash
## 20160116, iceman
## remove old
rm /home/user/cov-analysis-linux-2017.07/config/coverity_config.xml
rm -rf /home/user/cov-analysis-linux-2017.07/config/gcc-config-?
rm -rf /home/user/cov-analysis-linux-2017.07/config/g++-config-?
## Configure ARM , make sure you have the arm gcc in your $PATH variable.
#/home/user/cov-analysis-linux-2017.07/bin/cov-configure -co arm-none-eabi-gcc -- -mthumb-interwork
/home/user/cov-analysis-linux-2017.07/bin/cov-configure -co arm-none-eabi-gcc -- -std=c99 -mthumb -mthumb-interwork
set -e
. .coverity.conf || exit 1
echo "Done."
cov-configure --template --compiler arm-none-eabi-gcc --comptype gcc