Message ID | 20201104000649.14740-6-michael@niedermayer.cc |
---|---|
State | New |
Headers | show |
Series | [FFmpeg-devel,1/7] avformat/mpc8: correct 32bit timestamp truncation | expand |
Context | Check | Description |
---|---|---|
andriy/x86_make | success | Make finished |
andriy/x86_make_fate | success | Make fate finished |
Quoting Michael Niedermayer (2020-11-04 01:06:48) > Fixes: signed integer overflow: 131203586 * 28 cannot be represented in type 'int' > Fixes: 26817/clusterfuzz-testcase-minimized-ffmpeg_dem_MSF_fuzzer-6296902548848640 > > Found-by: continuous fuzzing process https://github.com/google/oss-fuzz/tree/master/projects/ffmpeg > Signed-off-by: Michael Niedermayer <michael@niedermayer.cc> > --- > libavcodec/utils.c | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/libavcodec/utils.c b/libavcodec/utils.c > index 110496cc44..82506ea69c 100644 > --- a/libavcodec/utils.c > +++ b/libavcodec/utils.c > @@ -1687,7 +1687,7 @@ static int get_audio_frame_duration(enum AVCodecID id, int sr, int ch, int ba, > return frame_bytes / (9 * ch) * 16; > case AV_CODEC_ID_ADPCM_PSX: > case AV_CODEC_ID_ADPCM_DTK: > - return frame_bytes / (16 * ch) * 28; > + return frame_bytes / ((int64_t)16 * ch) * 28; This assumes int is strictly smaller than int64. Why not just test whether 16 * ch fits in an int and return zero if it does not?
On Sat, Nov 14, 2020 at 11:17:52AM +0100, Anton Khirnov wrote: > Quoting Michael Niedermayer (2020-11-04 01:06:48) > > Fixes: signed integer overflow: 131203586 * 28 cannot be represented in type 'int' > > Fixes: 26817/clusterfuzz-testcase-minimized-ffmpeg_dem_MSF_fuzzer-6296902548848640 > > > > Found-by: continuous fuzzing process https://github.com/google/oss-fuzz/tree/master/projects/ffmpeg > > Signed-off-by: Michael Niedermayer <michael@niedermayer.cc> > > --- > > libavcodec/utils.c | 2 +- > > 1 file changed, 1 insertion(+), 1 deletion(-) > > > > diff --git a/libavcodec/utils.c b/libavcodec/utils.c > > index 110496cc44..82506ea69c 100644 > > --- a/libavcodec/utils.c > > +++ b/libavcodec/utils.c > > @@ -1687,7 +1687,7 @@ static int get_audio_frame_duration(enum AVCodecID id, int sr, int ch, int ba, > > return frame_bytes / (9 * ch) * 16; > > case AV_CODEC_ID_ADPCM_PSX: > > case AV_CODEC_ID_ADPCM_DTK: > > - return frame_bytes / (16 * ch) * 28; > > + return frame_bytes / ((int64_t)16 * ch) * 28; > > This assumes int is strictly smaller than int64. Why not just test > whether 16 * ch fits in an int and return zero if it does not? ill apply something that shouldnt depend on int sizeof thx
diff --git a/libavcodec/utils.c b/libavcodec/utils.c index 110496cc44..82506ea69c 100644 --- a/libavcodec/utils.c +++ b/libavcodec/utils.c @@ -1687,7 +1687,7 @@ static int get_audio_frame_duration(enum AVCodecID id, int sr, int ch, int ba, return frame_bytes / (9 * ch) * 16; case AV_CODEC_ID_ADPCM_PSX: case AV_CODEC_ID_ADPCM_DTK: - return frame_bytes / (16 * ch) * 28; + return frame_bytes / ((int64_t)16 * ch) * 28; case AV_CODEC_ID_ADPCM_4XM: case AV_CODEC_ID_ADPCM_IMA_DAT4: case AV_CODEC_ID_ADPCM_IMA_ISS:
Fixes: signed integer overflow: 131203586 * 28 cannot be represented in type 'int' Fixes: 26817/clusterfuzz-testcase-minimized-ffmpeg_dem_MSF_fuzzer-6296902548848640 Found-by: continuous fuzzing process https://github.com/google/oss-fuzz/tree/master/projects/ffmpeg Signed-off-by: Michael Niedermayer <michael@niedermayer.cc> --- libavcodec/utils.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)