Trim trailing whitespace (PR #1838)

Author: sim642

src/analyses/base.ml

@@ -207,7 +207,7 @@ struct
          | `Top ->
            M.warn ~category:M.Category.Integer.div_by_zero ~tags:[CWE 369] "Second argument of division might be zero";
            Checks.warn Checks.Category.DivisionByZero "Second argument of division might be zero"
-         | `Neq -> 
+         | `Neq ->
            Checks.safe Checks.Category.DivisionByZero);
         ID.div x y
     | Mod ->
@@ -219,7 +219,7 @@ struct
          | `Top ->
            M.warn ~category:M.Category.Integer.div_by_zero ~tags:[CWE 369] "Second argument of modulo might be zero";
            Checks.warn Checks.Category.DivisionByZero "Second argument of modulo might be zero"
-         | `Neq -> 
+         | `Neq ->
            Checks.safe Checks.Category.DivisionByZero);
         ID.rem x y
     | Lt -> ID.lt
@@ -2278,7 +2278,7 @@ struct
       ) else if has_non_heap_var a then (
         AnalysisStateUtil.set_mem_safety_flag InvalidFree;
         M.warn ~category:(Behavior (Undefined InvalidMemoryDeallocation)) ~tags:[CWE 590] "Free of non-dynamically allocated memory in function %s for pointer %a" special_fn.vname d_exp ptr;
-        Checks.warn Checks.Category.InvalidMemoryAccess "Free of non-dynamically allocated memory in function %s for pointer %a" special_fn.vname d_exp ptr 
+        Checks.warn Checks.Category.InvalidMemoryAccess "Free of non-dynamically allocated memory in function %s for pointer %a" special_fn.vname d_exp ptr
       ) else if has_non_zero_offset a then (
         AnalysisStateUtil.set_mem_safety_flag InvalidFree;
         M.warn ~category:(Behavior (Undefined InvalidMemoryDeallocation)) ~tags:[CWE 761] "Free of memory not at start of buffer in function %s for pointer %a" special_fn.vname d_exp ptr;

src/analyses/memOutOfBounds.ml

@@ -305,7 +305,7 @@ struct
                 (set_mem_safety_flag InvalidDeref;
                  M.warn ~category:(Behavior behavior) ~tags:[CWE cwe_number] "Size of lval dereference expression is %a (in bytes). It is offset by %a (in bytes). Memory out-of-bounds access must occur" ID.pretty casted_es ID.pretty casted_offs);
                 Checks.warn Checks.Category.InvalidMemoryAccess "Size of lval dereference expression is %a (in bytes). It is offset by %a (in bytes). Memory out-of-bounds access must occur" ID.pretty casted_es ID.pretty casted_offs
-              | Some false -> 
+              | Some false ->
                 Checks.safe Checks.Category.InvalidMemoryAccess
               | None ->
                 (set_mem_safety_flag InvalidDeref;
@@ -484,7 +484,7 @@ struct
           set_mem_safety_flag InvalidDeref;
           M.warn ~category:(Behavior behavior) ~tags:[CWE cwe_number] "Size of %a in function %s is %a (in bytes) with an address offset of %a (in bytes). Count is %a (in bytes). Memory out-of-bounds access must occur" d_exp ptr fun_name ID.pretty casted_ds ID.pretty casted_ao ID.pretty casted_en;
           Checks.warn Checks.Category.InvalidMemoryAccess "Size of %a in function %s is %a (in bytes) with an address offset of %a (in bytes). Count is %a (in bytes). Memory out-of-bounds access must occur" d_exp ptr fun_name ID.pretty casted_ds ID.pretty casted_ao ID.pretty casted_en
-        | Some false -> 
+        | Some false ->
           Checks.safe Checks.Category.InvalidMemoryAccess
         | None ->
           set_mem_safety_flag InvalidDeref;

src/cdomain/value/cdomains/arrayDomain.ml

@@ -1164,7 +1164,7 @@ struct
         else (
           Checks.safe Checks.Category.NegativeArraySize;
           min_i, None)
-      | None, None -> 
+      | None, None ->
         Checks.safe Checks.Category.NegativeArraySize;
         Z.zero, None
     in
@@ -1265,7 +1265,7 @@ struct
            warn_past_end "Array size is smaller than n bytes; can cause a buffer overflow"
          else if n >. min_size then
            warn_past_end "Array size might be smaller than n bytes; can cause a buffer overflow"
-         else 
+         else
            Checks.safe Checks.Category.InvalidMemoryAccess
        | Some min_size, None ->
          if n >. min_size then