arne
/
cryptopp
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add Coverity modeling file

pull/326/head
Jeffrey Walton 2016-09-29 13:09:10 -04:00
parent 6a13f4f308
commit f61b9eda2e
No known key found for this signature in database
GPG Key ID: B36AB348921B1838
3 changed files with 34 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
TestScripts/coverity-linux.txt
View File

@ -1,8 +1,12 @@
The following are copy/paste instructions for invoking cov-build, building the library and submitting the artifacts for a scan. # coverity-linux.txt - Scan build submission instructions for Unix and Linux.
# Written and placed in public domain by Jeffrey Walton and Uri Blumenthal.
# Copyright assigned to Crypto++ project.
#
# The following are copy/paste instructions for invoking cov-build, building the library and submitting the artifacts for a scan.
#
# For more information see http://cryptopp.com/wiki/Coverity_Scan.
For more information see http://cryptopp.com/wiki/Coverity_Scan. ##################################################################
################################################################
reset reset
@ -16,8 +20,11 @@ CXXFLAGS="-DNDEBUG -g2 -O3 -march=i686 -msse -msse2 -msse3 -mssse3 -mno-aes" cov
tar czvf cryptopp.tgz cov-int tar czvf cryptopp.tgz cov-int
set CRYPTOPP_COVERITY_TOKEN=XXXXXXXXXXXXXXXX
COVERITY_SCAN_NAME="Rijndael-AliasedTable-SSE2-Linux-i686" COVERITY_SCAN_NAME="Rijndael-AliasedTable-SSE2-Linux-i686"
curl --form token="$CRYPTOPP_COVERITY_TOKEN" \
curl
--form token="$CRYPTOPP_COVERITY_TOKEN" \
--form email=webmaster@cryptopp.com \ --form email=webmaster@cryptopp.com \
--form file=@cryptopp.tgz \ --form file=@cryptopp.tgz \
--form version="$COVERITY_SCAN_NAME" \ --form version="$COVERITY_SCAN_NAME" \

14
TestScripts/coverity-windows.txt
View File

@ -1,8 +1,12 @@
The following are copy/paste instructions for invoking cov-build, building the library and submitting the artifacts for a scan. # coverity-windows.txt - Scan build submission instructions for Unix and Linux.
# Written and placed in public domain by Jeffrey Walton and Uri Blumenthal.
# Copyright assigned to Crypto++ project.
#
# The following are copy/paste instructions for invoking cov-build, building the library and submitting the artifacts for a scan.
#
# For more information see http://cryptopp.com/wiki/Coverity_Scan.
For more information see http://cryptopp.com/wiki/Coverity_Scan. ##################################################################
################################################################
cls cls
@ -22,4 +26,4 @@ curl.exe ^
--form file=@cryptopp.zip ^ --form file=@cryptopp.zip ^
--form version="%COVERITY_SCAN_NAME%" ^ --form version="%COVERITY_SCAN_NAME%" ^
--form description="%COVERITY_SCAN_NAME%" ^ --form description="%COVERITY_SCAN_NAME%" ^
https://scan.coverity.com/builds?project=Cryptopp https://scan.coverity.com/builds?project=Cryptopp

13
TestScripts/cryptest-coverity.cpp Normal file
View File

@ -0,0 +1,13 @@
// cryptest-coverity.cpp - Coverity modeling file.
// Written and placed in public domain by Jeffrey Walton and Uri Blumenthal.
// Copyright assigned to Crypto++ project.
//
// For more information see http://cryptopp.com/wiki/Coverity_Scan.
//
// Also see https://scan.coverity.com/tune#what-is-model
///////////////////////////////////////////////////////////////////
void special_abort(const char* msg) {
__coverity_panic__();
}