summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJeffrey Walton <noloader@gmail.com>2016-09-29 13:09:10 -0400
committerJeffrey Walton <noloader@gmail.com>2016-09-29 13:09:10 -0400
commitf61b9eda2e9704dd6a49cdfb26c8d38e5469d300 (patch)
tree1469a360a6c7032e0443ad1e3f0d7b5df952b067
parent6a13f4f308cd742c4c338122c5dcddcc5385b7d8 (diff)
downloadcryptopp-git-f61b9eda2e9704dd6a49cdfb26c8d38e5469d300.tar.gz
Add Coverity modeling file
-rw-r--r--TestScripts/coverity-linux.txt17
-rw-r--r--TestScripts/coverity-windows.txt14
-rw-r--r--TestScripts/cryptest-coverity.cpp13
3 files changed, 34 insertions, 10 deletions
diff --git a/TestScripts/coverity-linux.txt b/TestScripts/coverity-linux.txt
index 9d5d6103..df373ee1 100644
--- a/TestScripts/coverity-linux.txt
+++ b/TestScripts/coverity-linux.txt
@@ -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
@@ -16,8 +20,11 @@ CXXFLAGS="-DNDEBUG -g2 -O3 -march=i686 -msse -msse2 -msse3 -mssse3 -mno-aes" cov
tar czvf cryptopp.tgz cov-int
+set CRYPTOPP_COVERITY_TOKEN=XXXXXXXXXXXXXXXX
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 file=@cryptopp.tgz \
--form version="$COVERITY_SCAN_NAME" \
diff --git a/TestScripts/coverity-windows.txt b/TestScripts/coverity-windows.txt
index 9d3d7e2f..6fab35b0 100644
--- a/TestScripts/coverity-windows.txt
+++ b/TestScripts/coverity-windows.txt
@@ -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
@@ -22,4 +26,4 @@ curl.exe ^
--form file=@cryptopp.zip ^
--form version="%COVERITY_SCAN_NAME%" ^
--form description="%COVERITY_SCAN_NAME%" ^
-https://scan.coverity.com/builds?project=Cryptopp
+ https://scan.coverity.com/builds?project=Cryptopp
diff --git a/TestScripts/cryptest-coverity.cpp b/TestScripts/cryptest-coverity.cpp
new file mode 100644
index 00000000..dbbade72
--- /dev/null
+++ b/TestScripts/cryptest-coverity.cpp
@@ -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__();
+}