Run Clang global static analysis on Travis.

This uses a single .cc file containing almost all the code in the
repository to perform whole program analysis.

7 files changed, 110 insertions, 76 deletions

diff --git a/other/analysis/gen-file.sh b/other/analysis/gen-file.sh
index 710e20d7..89144eff 100644
--- a/other/analysis/gen-file.sh
+++ b/other/analysis/gen-file.sh
@@ -1,48 +1,80 @@
-CPPFLAGS="-DMIN_LOGGER_LEVEL=LOG_TRACE -Iauto_tests -Itoxcore -Itoxav -Itoxencryptsave `pkg-config --cflags libsodium opus vpx`"
+#!/bin/sh
+
+CPPFLAGS="$CPPFLAGS -DMIN_LOGGER_LEVEL=LOGGER_LEVEL_TRACE"
+CPPFLAGS="$CPPFLAGS -isystem /usr/include/opus"
+CPPFLAGS="$CPPFLAGS -Iauto_tests"
+CPPFLAGS="$CPPFLAGS -Iother"
+CPPFLAGS="$CPPFLAGS -Iother/bootstrap_daemon/src"
+CPPFLAGS="$CPPFLAGS -Iother/fun"
+CPPFLAGS="$CPPFLAGS -Itesting"
+CPPFLAGS="$CPPFLAGS -Itoxcore"
+CPPFLAGS="$CPPFLAGS -Itoxav"
+CPPFLAGS="$CPPFLAGS -Itoxencryptsave"
+
+LDFLAGS="$LDFLAGS -lopus -lsodium -lvpx -lpthread -lconfig"
 
 put() {
   if [ "$SKIP_LINES" = "" ]; then
-    echo "#line 1 \"$1\"" >> test.c
+    echo "#line 1 \"$1\"" >> amalgamation.cc
+  fi
+  cat $1 >> amalgamation.cc
+}
+
+putmain() {
+  echo "namespace $(echo $1 | sed -e 's/[^a-zA-Z0-9_]/_/g') {" >> amalgamation.cc
+  if [ "$SKIP_LINES" = "" ]; then
+    echo "#line 1 \"$1\"" >> amalgamation.cc
   fi
-  cat $1 >> test.c
+  sed -e 's/^int main(/static &/' $1 >> amalgamation.cc
+  echo "} //  namespace $(echo $1 | sed -e 's/[^a-zA-Z0-9_]/_/g')" >> amalgamation.cc
+}
+
+callmain() {
+  echo "  call($(echo $1 | sed -e 's/[^a-zA-Z0-9_]/_/g')::main, argc, argv);" >> amalgamation.cc
 }
 
-:> test.c
-
-put toxcore/tox.c
-
-put toxcore/DHT.c
-put toxcore/LAN_discovery.c
-put toxcore/Messenger.c
-put toxcore/TCP_client.c
-put toxcore/TCP_connection.c
-put toxcore/TCP_server.c
-put toxcore/crypto_core.c
-put toxcore/crypto_core_mem.c
-put toxcore/friend_connection.c
-put toxcore/friend_requests.c
-put toxcore/group.c
-put toxcore/list.c
-put toxcore/logger.c
-put toxcore/network.c
-put toxcore/net_crypto.c
-put toxcore/onion.c
-put toxcore/onion_announce.c
-put toxcore/onion_client.c
-put toxcore/ping.c
-put toxcore/ping_array.c
-put toxcore/tox_api.c
-put toxcore/util.c
-
-# Not included yet, since there are too many issues with this code.
-#put toxav/audio.c
-#put toxav/bwcontroller.c
-#put toxav/groupav.c
-#put toxav/msi.c
-#put toxav/ring_buffer.c
-#put toxav/rtp.c
-#put toxav/toxav.c
-#put toxav/toxav_old.c
-#put toxav/video.c
-
-put toxencryptsave/toxencryptsave.c
+:> amalgamation.cc
+
+echo "#include <algorithm>" >> amalgamation.cc
+echo "#include <cstdio>" >> amalgamation.cc
+echo "#include <memory>" >> amalgamation.cc
+echo "#include <random>" >> amalgamation.cc
+
+echo "#define TOX_DEFINED" >> amalgamation.cc
+echo "typedef struct Messenger Tox;" >> amalgamation.cc
+
+put auto_tests/check_compat.h
+
+FIND_QUERY="find . '-(' -name '*.cc' -or -name '*.c' '-)'"
+FIND_QUERY="$FIND_QUERY -and -not -wholename './super_donators/*'"
+FIND_QUERY="$FIND_QUERY -and -not -wholename './toxav/*.cc'"
+FIND_QUERY="$FIND_QUERY -and -not -wholename './toxcore/*.cc'"
+FIND_QUERY="$FIND_QUERY -and -not -wholename './toxencryptsave/*.cc'"
+FIND_QUERY="$FIND_QUERY -and -not -name amalgamation.cc"
+FIND_QUERY="$FIND_QUERY -and -not -name av_test.c"
+FIND_QUERY="$FIND_QUERY -and -not -name dht_test.c"
+FIND_QUERY="$FIND_QUERY -and -not -name version_test.c"
+
+for i in $(eval $FIND_QUERY); do
+  if ! grep -q '^int main(' $i; then
+    put $i
+  fi
+done
+
+for i in $(eval $FIND_QUERY); do
+  if grep -q '^int main(' $i; then
+    putmain $i
+  fi
+done
+
+echo "static void call(int m(), int argc, char **argv) { m(); }" >> amalgamation.cc
+echo "static void call(int m(int, char **), int argc, char **argv) { m(argc, argv); }" >> amalgamation.cc
+
+echo "int main(int argc, char **argv) {" >> amalgamation.cc
+for i in $(eval $FIND_QUERY); do
+  if grep -q '^int main(' $i; then
+    callmain $i
+  fi
+done
+echo "  return 0;" >> amalgamation.cc
+echo "}" >> amalgamation.cc
diff --git a/other/analysis/run-clang b/other/analysis/run-clang
index 1c8da7ea..60e59eab 100755
--- a/other/analysis/run-clang
+++ b/other/analysis/run-clang
@@ -2,6 +2,22 @@
 
 . other/analysis/gen-file.sh
 
-put auto_tests/lan_discovery_test.c
-
-clang --analyze test.c $CPPFLAGS
+echo "Running Clang compiler"
+clang++ -o /dev/null amalgamation.cc            \
+        $CPPFLAGS                               \
+        $LDFLAGS                                \
+        -std=c++11                              \
+        -Weverything                            \
+        -Wno-c++98-compat-pedantic              \
+        -Wno-c99-extensions                     \
+        -Wno-cast-align                         \
+        -Wno-conversion                         \
+        -Wno-covered-switch-default             \
+        -Wno-documentation-deprecated-sync      \
+        -Wno-missing-field-initializers         \
+        -Wno-old-style-cast                     \
+        -Wno-padded                             \
+        -Wno-sign-compare                       \
+        -Wno-unreachable-code-return            \
+        -Wno-unused-parameter                   \
+        -Wno-used-but-marked-unused             \
diff --git a/other/analysis/run-clang-analyze b/other/analysis/run-clang-analyze
new file mode 100755
index 00000000..0e6d9af0
--- /dev/null
+++ b/other/analysis/run-clang-analyze
@@ -0,0 +1,8 @@
+#!/bin/sh
+
+. other/analysis/gen-file.sh
+
+echo "Running Clang static analyzer"
+clang++ --analyze amalgamation.cc               \
+        $CPPFLAGS                               \
+        -std=c++11
diff --git a/other/analysis/run-cppcheck b/other/analysis/run-cppcheck
index 9e928c9a..dc369840 100755
--- a/other/analysis/run-cppcheck
+++ b/other/analysis/run-cppcheck
@@ -2,6 +2,4 @@
 
 . other/analysis/gen-file.sh
 
-put auto_tests/lan_discovery_test.c
-
-cppcheck test.c $CPPFLAGS
+cppcheck amalgamation.cc $CPPFLAGS
diff --git a/other/analysis/run-gcc b/other/analysis/run-gcc
index ffd42f4e..3ea32782 100755
--- a/other/analysis/run-gcc
+++ b/other/analysis/run-gcc
@@ -2,12 +2,14 @@
 
 . other/analysis/gen-file.sh
 
-put auto_tests/lan_discovery_test.c
-
+echo "Running GCC"
 # TODO(iphydf): Get rid of all VLAs, then enable -fstack-protector -Wstack-protector
-gcc -O3 -c -o /dev/null test.c $CPPFLAGS        \
-        -std=c99                                \
+g++ -O3 -o /dev/null amalgamation.cc            \
+        $CPPFLAGS                               \
+        $LDFLAGS                                \
+        -std=c++11                              \
         -pedantic                               \
+        -fdiagnostics-color=always              \
         -Wall                                   \
         -Wextra                                 \
         -Wno-aggregate-return                   \
@@ -22,18 +24,9 @@ gcc -O3 -c -o /dev/null test.c $CPPFLAGS	\
         -Wno-unused-parameter                   \
         -Wstrict-aliasing=0                     \
         -Wstrict-overflow=1                     \
-                                                \
-        -Wbad-function-cast                     \
+                                                \
         -Wmissing-declarations                  \
-        -Wmissing-parameter-type                \
-        -Wmissing-prototypes                    \
-        -Wnested-externs                        \
-        -Wold-style-declaration                 \
-        -Wold-style-definition                  \
-        -Wstrict-prototypes                     \
         -Wbool-compare                          \
-        -Wc99-c11-compat                        \
-        -Wc++-compat                            \
         -Wcast-align                            \
         -Wcast-qual                             \
         -Wchar-subscripts                       \
@@ -45,10 +38,8 @@ gcc -O3 -c -o /dev/null test.c $CPPFLAGS	\
         -Wformat=2                              \
         -Wframe-address                         \
         -Wframe-larger-than=133168              \
-        -Wjump-misses-init                      \
         -Wignored-qualifiers                    \
         -Wignored-attributes                    \
-        -Wincompatible-pointer-types            \
         -Winit-self                             \
         -Winline                                \
         -Wlarger-than=133120                    \
diff --git a/other/analysis/run-infer b/other/analysis/run-infer
index 942d0cfd..2a897227 100755
--- a/other/analysis/run-infer
+++ b/other/analysis/run-infer
@@ -5,6 +5,4 @@ SKIP_LINES=1
 
 . other/analysis/gen-file.sh
 
-put auto_tests/lan_discovery_test.c
-
-infer -- clang -fsyntax-only test.c $CPPFLAGS
+infer -- clang++ -fsyntax-only amalgamation.cc $CPPFLAGS
diff --git a/other/analysis/run-sparse b/other/analysis/run-sparse
deleted file mode 100755
index b4d0f736..00000000
--- a/other/analysis/run-sparse
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/sh
-
-. other/analysis/gen-file.sh
-
-put auto_tests/lan_discovery_test.c
-
-sparse test.c $CPPFLAGS                         \
-        -Wsparse-all                            \
-        -Wno-declaration-after-statement