Merge pull request #1613 from matt335672/cppcheck-2-1

Cppcheck 2.1

.travis.yml

@@ -12,7 +12,7 @@ addons:
 # This is required to use a version of cppcheck other than that
 # suplied with the operating system
 cppcheck_defs: &cppcheck_defs
-  - CPPCHECK_VER=1.90
+  - CPPCHECK_VER=2.1
   - CPPCHECK_REPO=https://github.com/danmar/cppcheck.git
 
 min_amd64_deps: &min_amd64_deps
@@ -92,10 +92,11 @@ cppcheck_conf: &cppcheck_conf
   env:
     - *cppcheck_defs
 
-#  addons:
-#    apt:
-#      packages:
-#        - cppcheck
+  addons:
+    apt:
+      packages:
+        - libz3-dev
+        - z3
 
   script:
     - ./bootstrap

common/log.c

@@ -569,6 +569,7 @@ log_message(const enum logLevels lvl, const char *msg, ...)
     if (len > LOG_BUFFER_SIZE)
     {
         log_message(LOG_LEVEL_WARNING, "next message will be truncated");
+        len = LOG_BUFFER_SIZE;
     }
 
     /* forcing the end of message string */

common/os_calls.c

@@ -2896,6 +2896,12 @@ g_strtrim(char *str, int trim_flags)
 
     text = (wchar_t *)malloc(len * sizeof(wchar_t) + 8);
     text1 = (wchar_t *)malloc(len * sizeof(wchar_t) + 8);
+    if (text == NULL || text1 == NULL)
+    {
+        free(text);
+        free(text1);
+        return 1;
+    }
     text1_index = 0;
     mbstowcs(text, str, len + 1);
 

common/pixman-region.c

@@ -83,6 +83,12 @@
 #define GOOD_RECT(rect) ((rect)->x1 < (rect)->x2 && (rect)->y1 < (rect)->y2)
 #define BAD_RECT(rect) ((rect)->x1 > (rect)->x2 || (rect)->y1 > (rect)->y2)
 
+/* This file is included by pixman-region16.c which defines PREFIX(x).
+ * This check allows cppcheck 2.x to scan this file separately */
+#ifndef PREFIX
+#define PREFIX(x) pixman_region##x
+#endif
+
 #ifdef XRDP_DEBUG
 
 #define GOOD(reg)                                                       \

scripts/install_cppcheck.sh

@@ -48,6 +48,45 @@ call_make()
     return $status
 }
 
+
+# ----------------------------------------------------------------------------
+# C R E A T E   Z 3   V E R S I O N   H
+#
+# Older versions of libz3-dev do not come packaged with z3_version.h. This
+# function uses the z3 command to create a copy of this file in the
+# cppcheck i#externalsi# directory.
+# ----------------------------------------------------------------------------
+create_z3_version_h()
+{
+    set -- `z3 --version`
+    if [ $# != 3 -o "$1/$2" != Z3/version ]; then
+        echo "** Unexpected output from z3 command '$*'" >&2
+        false
+    else
+        z3ver=$3 ; # e.g. 4.4.3
+        set -- `echo $z3ver | tr '.' ' '`
+        if [ $# != 3 ]; then
+            echo "** Unable to determine Z3 version from '$z3ver'" >&2
+            false
+        else
+            {
+                echo "#ifndef Z3_MAJOR_VERSION"
+                echo "#define Z3_MAJOR_VERSION $1"
+                echo "#endif"
+                echo
+                echo "#ifndef Z3_MINOR_VERSION"
+                echo "#define Z3_MINOR_VERSION $2"
+                echo "#endif"
+                echo
+                echo "#ifndef Z3_BUILD_NUMBER"
+                echo "#define Z3_BUILD_NUMBER $3"
+                echo "#endif"
+            } >externals/z3_version.h
+            echo "  - Created z3_version.h for $1.$2.$3"
+        fi
+    fi
+}
+
 # ----------------------------------------------------------------------------
 # M A I N
 # ----------------------------------------------------------------------------
@@ -78,14 +117,23 @@ fi
     # Put everything in this directory
     FILESDIR=$INSTALL_ROOT/$CPPCHECK_VER
 
-    # CFGDIR is needed for cppcheck before 1.86
-    make_args="FILESDIR=$FILESDIR PREFIX=$FILESDIR CFGDIR=$FILESDIR"
-
     # See https://stackoverflow.com/questions/
     #     791959/download-a-specific-tag-with-git
     git clone -b $CPPCHECK_VER --depth 1 $REPO_URL $workdir
 
     cd $workdir
+
+    case "$CPPCHECK_VER" in
+        1.*)
+            # CFGDIR is needed for cppcheck before 1.86
+            make_args="FILESDIR=$FILESDIR PREFIX=$FILESDIR CFGDIR=$FILESDIR"
+            ;;
+        *)  make_args="FILESDIR=$FILESDIR PREFIX=$FILESDIR USE_Z3=yes"
+            if [ ! -f /usr/include/z3_version.h ]; then
+                create_z3_version_h
+            fi
+    esac
+
     echo "Making cppcheck..."
     # CFGDIR is needed for cppcheck before 1.86
     call_make $make_args