[FFmpeg-cvslog] avcodec/jpeg2000htdec: Check for invalid magref length.

[caleb]

ffmpeg | branch: master | caleb <etemesicaleb at gmail.com> | Wed Jun  7 10:34:34 2023 +0300| [043a9d09cbcd34c5afdb4c2ff92c06ed8c5d8054] | committer: Michael Niedermayer

avcodec/jpeg2000htdec: Check for invalid magref length.

Fixes: shift exponent -8 is negative
Fixes: 58328/clusterfuzz-testcase-minimized-ffmpeg_AV_CODEC_ID_JPEG2000_fuzzer-6007789196804096

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=043a9d09cbcd34c5afdb4c2ff92c06ed8c5d8054
---

 libavcodec/jpeg2000htdec.c | 18 +++++++++++++-----
 1 file changed, 13 insertions(+), 5 deletions(-)

diff --git a/libavcodec/jpeg2000htdec.c b/libavcodec/jpeg2000htdec.c
index 51cd96e0f1..4c4e54710d 100644
--- a/libavcodec/jpeg2000htdec.c
+++ b/libavcodec/jpeg2000htdec.c
@@ -1101,8 +1101,9 @@ static void jpeg2000_decode_sigprop_segment(Jpeg2000Cblk *cblk, uint16_t width,
  * See procedure decodeSigPropMag at Rec. ITU-T T.814, 7.5.
 */
 static int
-jpeg2000_decode_magref_segment(Jpeg2000Cblk *cblk, uint16_t width, uint16_t block_height, uint8_t *magref_segment,
-                       uint32_t magref_length, uint8_t pLSB, int32_t *sample_buf, uint8_t *block_states)
+jpeg2000_decode_magref_segment( uint16_t width, uint16_t block_height,
+                                uint8_t *magref_segment,uint32_t magref_length,
+                                uint8_t pLSB, int32_t *sample_buf, uint8_t *block_states)
 {
 
     StateVars mag_ref           = { 0 };
@@ -1260,10 +1261,17 @@ ff_jpeg2000_decode_htj2k(const Jpeg2000DecoderContext *s, Jpeg2000CodingStyle *c
         jpeg2000_decode_sigprop_segment(cblk, width, height, Dref, Lref,
                                 pLSB - 1, sample_buf, block_states);
 
-    if (cblk->npasses > 2)
-        if ((ret = jpeg2000_decode_magref_segment(cblk, width, height, Dref, Lref,
-                                          pLSB - 1, sample_buf, block_states)) < 0)
+    if (cblk->npasses > 2) {
+
+        if (Lref < 2){
+            av_log(s->avctx,AV_LOG_ERROR,"Invalid magnitude refinement length\n");
+            ret = AVERROR_INVALIDDATA;
+            goto free;
+        }
+        if ((ret = jpeg2000_decode_magref_segment(width, height, Dref, Lref,
+                                                  pLSB - 1, sample_buf, block_states)) < 0)
             goto free;
+    }
 
     pLSB = 31 - M_b;