Fix for integer overflow in NetEq.

webrtc/modules/audio_coding/neteq/expand.cc

 /*
  *  Copyright (c) 2012 The WebRTC project authors. All Rights Reserved.
  *
  *  Use of this source code is governed by a BSD-style license
  *  that can be found in the LICENSE file in the root of the source
  *  tree. An additional intellectual property rights grant can be found
  *  in the file PATENTS.  All contributing project authors may
  *  be found in the AUTHORS file in the root of the source tree.
  */
 
@@ skipping 657 matching lines @@
            &(audio_history[signal_length - kUnvoicedLpcOrder]),
            sizeof(int16_t) * kUnvoicedLpcOrder);
     memcpy(unvoiced_vector - kUnvoicedLpcOrder,
            &(audio_history[signal_length - 128 - kUnvoicedLpcOrder]),
            sizeof(int16_t) * kUnvoicedLpcOrder);
     WebRtcSpl_FilterMAFastQ12(&audio_history[signal_length - 128],
                               unvoiced_vector,
                               parameters.ar_filter,
                               kUnvoicedLpcOrder + 1,
                               128);
-    int16_t unvoiced_prescale;
-    if (WebRtcSpl_MaxAbsValueW16(unvoiced_vector, 128) > 4000) {
-      unvoiced_prescale = 4;
-    } else {
-      unvoiced_prescale = 0;
-    }
+    int16_t unvoiced_max_abs = WebRtcSpl_MaxAbsValueW16(unvoiced_vector, 128);

[kwiberg-webrtc, 2016/12/15 14:11:16]

const?

Also, won't the calculation break if the abs-max element is -2^15? IIRC
WebRtcSpl_MaxAbsValueW16 returns 2^15 - 1 in that case. I think I handle that
case in the CL I linked to earlier.

[ivoc, 2016/12/15 15:12:20]

Wow, good catch. I added an if-statement to increase the prescale by one when
unvoiced_max_abs is equal to 2^15-1, which should prevent this from happening.

+    // The maximum value of the dot product is 2^7 * 2^(2*n) = 2^(2*n + 7), so

[kwiberg-webrtc, 2016/12/15 14:11:16]

"is less than", since unvoiced_max_abs < 2^n.

Also, you never define n. Maybe say that "Pick the smallest n such that 2^n >
unvoiced_max_abs; then the maximum value of the dot product is less than 2^7 *
2^(2*n) = 2^(2*n + 7) [...]"

[ivoc, 2016/12/15 15:12:20]

Done.

+    // to prevent overflows we want 2n + 7 <= 31, which means we should shift by
+    // 2n + 7 - 31 bits, if this value is greater than zero.
+    int16_t unvoiced_prescale =

[kwiberg-webrtc, 2016/12/15 14:11:16]

const int?

[ivoc, 2016/12/15 15:12:20]

Due to the newly added if statement, this can no longer be a const.

+        std::max(0, 2 * WebRtcSpl_GetSizeInBits(unvoiced_max_abs) - 24);
+
     int32_t unvoiced_energy = WebRtcSpl_DotProductWithScale(unvoiced_vector,
                                                             unvoiced_vector,
                                                             128,
                                                             unvoiced_prescale);
 
     // Normalize |unvoiced_energy| to 28 or 29 bits to preserve sqrt() accuracy.
     int16_t unvoiced_scale = WebRtcSpl_NormW32(unvoiced_energy) - 3;
     // Make sure we do an odd number of shifts since we already have 7 shifts
     // from dividing with 128 earlier. This will make the total scale factor
     // even, which is suitable for the sqrt.
@@ skipping 267 matching lines @@
   const size_t kMaxRandSamples = RandomVector::kRandomTableSize;
   while (samples_generated < length) {
     size_t rand_length = std::min(length - samples_generated, kMaxRandSamples);
     random_vector_->IncreaseSeedIncrement(seed_increment);
     random_vector_->Generate(rand_length, &random_vector[samples_generated]);
     samples_generated += rand_length;
   }
 }
 
 }  // namespace webrtc