[FFmpeg-cvslog] avformat/dxa: check bpc

[Michael Niedermayer]

ffmpeg | branch: release/4.3 | Michael Niedermayer <michael at niedermayer.cc> | Sat Oct 19 01:15:53 2024 +0200| [3ce439f5fe7978b8288703b973815ae5810907fa] | committer: Michael Niedermayer

avformat/dxa: check bpc

Fixes: integer overflow: -2147483648 - 1 cannot be represented in type 'int'
Fixes: 373971762/clusterfuzz-testcase-minimized-ffmpeg_dem_DXA_fuzzer-4880491112103936

Found-by: continuous fuzzing process https://github.com/google/oss-fuzz/tree/master/projects/ffmpeg
Signed-off-by: Michael Niedermayer <michael at niedermayer.cc>
(cherry picked from commit 7e020f21413269418180eea7933a94ecb6bf2ef8)
Signed-off-by: Michael Niedermayer <michael at niedermayer.cc>

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

 libavformat/dxa.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/libavformat/dxa.c b/libavformat/dxa.c
index e815f8a540..831ba7a501 100644
--- a/libavformat/dxa.c
+++ b/libavformat/dxa.c
@@ -119,6 +119,8 @@ static int dxa_read_header(AVFormatContext *s)
             avio_skip(pb, fsize);
         }
         c->bpc = (fsize + (int64_t)c->frames - 1) / c->frames;
+        if (c->bpc < 0)
+            return AVERROR_INVALIDDATA;
         if(ast->codecpar->block_align) {
             if (c->bpc > INT_MAX - ast->codecpar->block_align + 1)
                 return AVERROR_INVALIDDATA;