You've already forked FFmpeg
							
							
				mirror of
				https://github.com/FFmpeg/FFmpeg.git
				synced 2025-10-30 23:18:11 +02:00 
			
		
		
		
	avcodec/mpc: Fix multiple numerical overflows in ff_mpc_dequantize_and_synth()
Fixes: -2.4187e+09 is outside the range of representable values of type 'int'
Fixes: signed integer overflow: -14512205 + -2147483648 cannot be represented in type 'int'
Fixes: 20492/clusterfuzz-testcase-minimized-ffmpeg_AV_CODEC_ID_MPC7_fuzzer-5747263166480384
Fixes: 23528/clusterfuzz-testcase-minimized-ffmpeg_AV_CODEC_ID_MPC7_fuzzer-5747263166480384
Found-by: continuous fuzzing process https://github.com/google/oss-fuzz/tree/master/projects/ffmpeg
Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
(cherry picked from commit 2b9f39689a)
Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
			
			
This commit is contained in:
		| @@ -75,17 +75,17 @@ void ff_mpc_dequantize_and_synth(MPCContext * c, int maxband, int16_t **out, | ||||
|                 j = 0; | ||||
|                 mul = (mpc_CC+1)[bands[i].res[ch]] * mpc_SCF[bands[i].scf_idx[ch][0] & 0xFF]; | ||||
|                 for(; j < 12; j++) | ||||
|                     c->sb_samples[ch][j][i] = mul * c->Q[ch][j + off]; | ||||
|                     c->sb_samples[ch][j][i] = av_clipf(mul * c->Q[ch][j + off], INT32_MIN, INT32_MAX); | ||||
|                 mul = (mpc_CC+1)[bands[i].res[ch]] * mpc_SCF[bands[i].scf_idx[ch][1] & 0xFF]; | ||||
|                 for(; j < 24; j++) | ||||
|                     c->sb_samples[ch][j][i] = mul * c->Q[ch][j + off]; | ||||
|                     c->sb_samples[ch][j][i] = av_clipf(mul * c->Q[ch][j + off], INT32_MIN, INT32_MAX); | ||||
|                 mul = (mpc_CC+1)[bands[i].res[ch]] * mpc_SCF[bands[i].scf_idx[ch][2] & 0xFF]; | ||||
|                 for(; j < 36; j++) | ||||
|                     c->sb_samples[ch][j][i] = mul * c->Q[ch][j + off]; | ||||
|                     c->sb_samples[ch][j][i] = av_clipf(mul * c->Q[ch][j + off], INT32_MIN, INT32_MAX); | ||||
|             } | ||||
|         } | ||||
|         if(bands[i].msf){ | ||||
|             int t1, t2; | ||||
|             unsigned t1, t2; | ||||
|             for(j = 0; j < SAMPLES_PER_BAND; j++){ | ||||
|                 t1 = c->sb_samples[0][j][i]; | ||||
|                 t2 = c->sb_samples[1][j][i]; | ||||
|   | ||||
		Reference in New Issue
	
	Block a user