diff mbox series

[FFmpeg-devel,2/2] avcodec/av1dec: Check tile_cols

Message ID 20220201185239.13450-2-michael@niedermayer.cc
State Accepted
Commit 4fdfe430c12225e819f68993474bd2f473c7e8b1
Headers show
Series [FFmpeg-devel,1/2] avformat/utils: keep chapter monotonicity on chapter updates | expand

Checks

Context Check Description
andriy/make_aarch64_jetson success Make finished
andriy/make_fate_aarch64_jetson success Make fate finished
andriy/make_armv7_RPi4 success Make finished
andriy/make_fate_armv7_RPi4 success Make fate finished

Commit Message

Michael Niedermayer Feb. 1, 2022, 6:52 p.m. UTC
Fixes: division by zero
Fixes: 43769/clusterfuzz-testcase-minimized-ffmpeg_AV_CODEC_ID_AV1_fuzzer-5392562205097984

Found-by: continuous fuzzing process https://github.com/google/oss-fuzz/tree/master/projects/ffmpeg
Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
---
 libavcodec/av1dec.c | 3 +++
 1 file changed, 3 insertions(+)

Comments

Michael Niedermayer March 21, 2022, 8:52 p.m. UTC | #1
On Tue, Feb 01, 2022 at 07:52:39PM +0100, Michael Niedermayer wrote:
> Fixes: division by zero
> Fixes: 43769/clusterfuzz-testcase-minimized-ffmpeg_AV_CODEC_ID_AV1_fuzzer-5392562205097984
> 
> Found-by: continuous fuzzing process https://github.com/google/oss-fuzz/tree/master/projects/ffmpeg
> Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
> ---
>  libavcodec/av1dec.c | 3 +++
>  1 file changed, 3 insertions(+)

will apply

[...]
James Almer March 21, 2022, 9:03 p.m. UTC | #2
On 2/1/2022 3:52 PM, Michael Niedermayer wrote:
> Fixes: division by zero
> Fixes: 43769/clusterfuzz-testcase-minimized-ffmpeg_AV_CODEC_ID_AV1_fuzzer-5392562205097984
> 
> Found-by: continuous fuzzing process https://github.com/google/oss-fuzz/tree/master/projects/ffmpeg
> Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
> ---
>   libavcodec/av1dec.c | 3 +++
>   1 file changed, 3 insertions(+)
> 
> diff --git a/libavcodec/av1dec.c b/libavcodec/av1dec.c
> index 62d459cded..581f22a849 100644
> --- a/libavcodec/av1dec.c
> +++ b/libavcodec/av1dec.c
> @@ -394,6 +394,9 @@ static int get_tiles_info(AVCodecContext *avctx, const AV1RawTileGroup *tile_gro
>       s->tg_start = tile_group->tg_start;
>       s->tg_end = tile_group->tg_end;
>   
> +    if (s->raw_frame_header->tile_cols == 0)

This should not happen. CBS should have returned an error instead or 
setting tile_cols to 0.
The bug should probably be fixed there.

> +        return AVERROR_INVALIDDATA;
> +
>       for (tile_num = tile_group->tg_start; tile_num <= tile_group->tg_end; tile_num++) {
>           tile_row = tile_num / s->raw_frame_header->tile_cols;
>           tile_col = tile_num % s->raw_frame_header->tile_cols;
Michael Niedermayer March 22, 2022, 1:36 p.m. UTC | #3
On Mon, Mar 21, 2022 at 06:03:12PM -0300, James Almer wrote:
> On 2/1/2022 3:52 PM, Michael Niedermayer wrote:
> > Fixes: division by zero
> > Fixes: 43769/clusterfuzz-testcase-minimized-ffmpeg_AV_CODEC_ID_AV1_fuzzer-5392562205097984
> > 
> > Found-by: continuous fuzzing process https://github.com/google/oss-fuzz/tree/master/projects/ffmpeg
> > Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
> > ---
> >   libavcodec/av1dec.c | 3 +++
> >   1 file changed, 3 insertions(+)
> > 
> > diff --git a/libavcodec/av1dec.c b/libavcodec/av1dec.c
> > index 62d459cded..581f22a849 100644
> > --- a/libavcodec/av1dec.c
> > +++ b/libavcodec/av1dec.c
> > @@ -394,6 +394,9 @@ static int get_tiles_info(AVCodecContext *avctx, const AV1RawTileGroup *tile_gro
> >       s->tg_start = tile_group->tg_start;
> >       s->tg_end = tile_group->tg_end;
> > +    if (s->raw_frame_header->tile_cols == 0)
> 
> This should not happen. CBS should have returned an error instead or setting
> tile_cols to 0.
> The bug should probably be fixed there.

I didnt see your mail in time :(
If you want, i can revert it?

The issue seems that cbs av1 and av1dec disagree on how they handle
redundant frames.
I can "fix" it by 
--- a/libavcodec/av1dec.c
+++ b/libavcodec/av1dec.c
@@ -1066,8 +1066,8 @@ static int av1_decode_frame(AVCodecContext *avctx, void *frame,
             }
             break;
         case AV1_OBU_REDUNDANT_FRAME_HEADER:
-            if (s->raw_frame_header)
-                break;
+            // Unsupported
+            break;
         // fall-through
         case AV1_OBU_FRAME:
         case AV1_OBU_FRAME_HEADER:
         
cbs leaves tile_cols untouched (and 0) for the redundant frame
         
I didnt really look further, this probably should be looked at by someone
who knows the av1dec/cbs code better. I can provide the sample file
if someone wants to or also test any suggested fixes
         
I think this split logic where cbs and the decoder have to be kept in
sync is a bit fragile. Or at least it looks fragile

Thx

[...]
diff mbox series

Patch

diff --git a/libavcodec/av1dec.c b/libavcodec/av1dec.c
index 62d459cded..581f22a849 100644
--- a/libavcodec/av1dec.c
+++ b/libavcodec/av1dec.c
@@ -394,6 +394,9 @@  static int get_tiles_info(AVCodecContext *avctx, const AV1RawTileGroup *tile_gro
     s->tg_start = tile_group->tg_start;
     s->tg_end = tile_group->tg_end;
 
+    if (s->raw_frame_header->tile_cols == 0)
+        return AVERROR_INVALIDDATA;
+
     for (tile_num = tile_group->tg_start; tile_num <= tile_group->tg_end; tile_num++) {
         tile_row = tile_num / s->raw_frame_header->tile_cols;
         tile_col = tile_num % s->raw_frame_header->tile_cols;