Coverity static checking script coverity
authorPeter D. Barnes, Jr. <barnes26@llnl.gov>
Wed, 22 May 2013 17:48:15 -0700
branchcoverity
changeset 9801 d1dc77afbd27
parent 9799 86decd4038b5
child 9802 5dea58a3b261
child 9803 ae64317c7772
Coverity static checking script
.hgignore
utils/coverity-report.sh
--- a/.hgignore	Wed May 22 10:11:39 2013 -0700
+++ b/.hgignore	Wed May 22 17:48:15 2013 -0700
@@ -36,4 +36,6 @@
 \.diff$
 \.tr$
 \#[^\#/]+\#$
+^coverity
 syntax: glob
+TAGS
\ No newline at end of file
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/utils/coverity-report.sh	Wed May 22 17:48:15 2013 -0700
@@ -0,0 +1,84 @@
+#!/bin/bash
+
+
+# Copyright (c) 2013 Lawrence Livermore National Laboratory
+#
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License version 2 as
+# published by the Free Software Foundation;
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
+#
+# Author: Peter D. Barnes, Jr. <pdbarnes@llnl.gov>
+
+#
+#  Do a coverity build and submit report
+#
+
+me=`basename $0`
+
+# echo commands and output to a log file
+
+logf=coverity/coverity-build.log
+echo | tee $logf
+
+function say ()
+{
+    echo "$me:" $* | tee -a $logf
+}
+blank ()
+{
+    echo | tee -a $logf
+}
+function doo ()
+{
+    say "$"$*
+    $* 2>&1 | tee -a $logf
+}
+
+
+
+
+say $(date)
+blank
+
+doo ./waf clean
+blank
+
+doo ./waf configure $NS3CONFIG
+blank
+
+cov=coverity/cov-int
+doo cov-build --dir $cov ./waf build
+blank
+
+tarf=coverity/ns-3.tgz
+doo tar cvzf $tarf -C coverity cov-int
+blank
+
+useremail=$(hg showconfig ui.username | \
+    egrep -o "\b[a-zA-Z0-9.-]+@[a-zA-Z0-9.-]+\.[a-zA-Z0-9.-]+\b")
+
+repoversion="$(basename $(dirname $PWD))@$(hg id -i)"
+
+description="Coverity mods"
+    
+doo curl \
+     --form file=@$tarf \
+     --form project=ns-3 \
+     --form password=4jk2BVX9 \
+     --form email="$useremail" \
+     --form version="$repoversion" \
+     --form description="$description" \
+     http://scan5.coverity.com/cgi-bin/upload.py
+blank
+
+say $(date)
+blank