[FFmpeg-cvslog] avcodec/sonic: Use unsigned for predictor_k to avoid undefined behavior

Michael Niedermayer git at videolan.org
Fri Mar 18 20:57:57 EET 2022


ffmpeg | branch: master | Michael Niedermayer <michael at niedermayer.cc> | Tue Feb  8 00:43:56 2022 +0100| [28008bf95ed9b2ab5945ae6658358ad7c7f1df35] | committer: Michael Niedermayer

avcodec/sonic: Use unsigned for predictor_k to avoid undefined behavior

Fixes: signed integer overflow: -1094995529 * 24 cannot be represented in type 'int'
Fixes: 44436/clusterfuzz-testcase-minimized-ffmpeg_AV_CODEC_ID_SONIC_fuzzer-4874459459223552

Found-by: continuous fuzzing process https://github.com/google/oss-fuzz/tree/master/projects/ffmpeg
Signed-off-by: Michael Niedermayer <michael at niedermayer.cc>

> http://git.videolan.org/gitweb.cgi/ffmpeg.git/?a=commit;h=28008bf95ed9b2ab5945ae6658358ad7c7f1df35
---

 libavcodec/sonic.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libavcodec/sonic.c b/libavcodec/sonic.c
index e4d44ea4d2..bd956aebd1 100644
--- a/libavcodec/sonic.c
+++ b/libavcodec/sonic.c
@@ -1009,7 +1009,7 @@ static int sonic_decode_frame(AVCodecContext *avctx,
 
     // dequantize
     for (i = 0; i < s->num_taps; i++)
-        s->predictor_k[i] *= s->tap_quant[i];
+        s->predictor_k[i] *= (unsigned) s->tap_quant[i];
 
     if (s->lossless)
         quant = 1;



More information about the ffmpeg-cvslog mailing list