]> git.sesse.net Git - ffmpeg/blob - libavcodec/mpc8.c
Check for out of bound bands limit in mpc v8 decoder.
[ffmpeg] / libavcodec / mpc8.c
1 /*
2  * Musepack SV8 decoder
3  * Copyright (c) 2007 Konstantin Shishkov
4  *
5  * This file is part of FFmpeg.
6  *
7  * FFmpeg is free software; you can redistribute it and/or
8  * modify it under the terms of the GNU Lesser General Public
9  * License as published by the Free Software Foundation; either
10  * version 2.1 of the License, or (at your option) any later version.
11  *
12  * FFmpeg is distributed in the hope that it will be useful,
13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
15  * Lesser General Public License for more details.
16  *
17  * You should have received a copy of the GNU Lesser General Public
18  * License along with FFmpeg; if not, write to the Free Software
19  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
20  */
21
22 /**
23  * @file
24  * MPEG Audio Layer 1/2 -like codec with frames of 1152 samples
25  * divided into 32 subbands.
26  */
27
28 #include "libavutil/lfg.h"
29 #include "avcodec.h"
30 #include "get_bits.h"
31 #include "dsputil.h"
32 #include "mpegaudiodsp.h"
33 #include "libavutil/audioconvert.h"
34
35 #include "mpc.h"
36 #include "mpc8data.h"
37 #include "mpc8huff.h"
38
39 static VLC band_vlc, scfi_vlc[2], dscf_vlc[2], res_vlc[2];
40 static VLC q1_vlc, q2_vlc[2], q3_vlc[2], quant_vlc[4][2], q9up_vlc;
41
42 static const int q3_offsets[2] = { MPC8_Q3_OFFSET, MPC8_Q4_OFFSET };
43 static const int quant_offsets[6] = { MPC8_Q5_OFFSET, MPC8_Q6_OFFSET, MPC8_Q7_OFFSET, MPC8_Q8_OFFSET };
44
45 static inline int mpc8_dec_base(GetBitContext *gb, int k, int n)
46 {
47     int len = mpc8_cnk_len[k-1][n-1] - 1;
48     int code = len ? get_bits_long(gb, len) : 0;
49
50     if (code >= mpc8_cnk_lost[k-1][n-1])
51         code = ((code << 1) | get_bits1(gb)) - mpc8_cnk_lost[k-1][n-1];
52
53     return code;
54 }
55
56 static inline int mpc8_dec_enum(GetBitContext *gb, int k, int n)
57 {
58     int bits = 0;
59     const uint32_t * C = mpc8_cnk[k-1];
60     int code = mpc8_dec_base(gb, k, n);
61
62     do {
63         n--;
64         if (code >= C[n]) {
65             bits |= 1 << n;
66             code -= C[n];
67             C -= 32;
68             k--;
69         }
70     } while(k > 0);
71
72     return bits;
73 }
74
75 static inline int mpc8_get_mod_golomb(GetBitContext *gb, int m)
76 {
77     if(mpc8_cnk_len[0][m] < 1) return 0;
78     return mpc8_dec_base(gb, 1, m+1);
79 }
80
81 static int mpc8_get_mask(GetBitContext *gb, int size, int t)
82 {
83     int mask = 0;
84
85     if(t && t != size)
86          mask = mpc8_dec_enum(gb, FFMIN(t, size - t), size);
87     if((t << 1) > size) mask = ~mask;
88
89     return mask;
90 }
91
92 static const uint16_t vlc_offsets[13] = {
93     0, 640, 1184, 1748, 2298, 2426, 2554, 3066, 3578, 4106, 4618, 5196, 5708
94 };
95
96 static av_cold int mpc8_decode_init(AVCodecContext * avctx)
97 {
98     int i;
99     MPCContext *c = avctx->priv_data;
100     GetBitContext gb;
101     static int vlc_initialized = 0;
102     int channels;
103
104     static VLC_TYPE band_table[542][2];
105     static VLC_TYPE q1_table[520][2];
106     static VLC_TYPE q9up_table[524][2];
107     static VLC_TYPE scfi0_table[1 << MPC8_SCFI0_BITS][2];
108     static VLC_TYPE scfi1_table[1 << MPC8_SCFI1_BITS][2];
109     static VLC_TYPE dscf0_table[560][2];
110     static VLC_TYPE dscf1_table[598][2];
111     static VLC_TYPE q3_0_table[512][2];
112     static VLC_TYPE q3_1_table[516][2];
113     static VLC_TYPE codes_table[5708][2];
114
115     if(avctx->extradata_size < 2){
116         av_log(avctx, AV_LOG_ERROR, "Too small extradata size (%i)!\n", avctx->extradata_size);
117         return -1;
118     }
119     memset(c->oldDSCF, 0, sizeof(c->oldDSCF));
120     av_lfg_init(&c->rnd, 0xDEADBEEF);
121     dsputil_init(&c->dsp, avctx);
122     ff_mpadsp_init(&c->mpadsp);
123
124     ff_mpc_init();
125
126     init_get_bits(&gb, avctx->extradata, 16);
127
128     skip_bits(&gb, 3);//sample rate
129     c->maxbands = get_bits(&gb, 5) + 1;
130     if (c->maxbands >= BANDS)
131         return AVERROR_INVALIDDATA;
132     channels = get_bits(&gb, 4) + 1;
133     if (channels > 2) {
134         av_log_missing_feature(avctx, "Multichannel MPC SV8", 1);
135         return -1;
136     }
137     c->MSS = get_bits1(&gb);
138     c->frames = 1 << (get_bits(&gb, 3) * 2);
139
140     avctx->sample_fmt = AV_SAMPLE_FMT_S16;
141     avctx->channel_layout = (avctx->channels==2) ? AV_CH_LAYOUT_STEREO : AV_CH_LAYOUT_MONO;
142
143     if(vlc_initialized) return 0;
144     av_log(avctx, AV_LOG_DEBUG, "Initing VLC\n");
145
146     band_vlc.table = band_table;
147     band_vlc.table_allocated = 542;
148     init_vlc(&band_vlc, MPC8_BANDS_BITS, MPC8_BANDS_SIZE,
149              mpc8_bands_bits,  1, 1,
150              mpc8_bands_codes, 1, 1, INIT_VLC_USE_NEW_STATIC);
151
152     q1_vlc.table = q1_table;
153     q1_vlc.table_allocated = 520;
154     init_vlc(&q1_vlc, MPC8_Q1_BITS, MPC8_Q1_SIZE,
155              mpc8_q1_bits,  1, 1,
156              mpc8_q1_codes, 1, 1, INIT_VLC_USE_NEW_STATIC);
157     q9up_vlc.table = q9up_table;
158     q9up_vlc.table_allocated = 524;
159     init_vlc(&q9up_vlc, MPC8_Q9UP_BITS, MPC8_Q9UP_SIZE,
160              mpc8_q9up_bits,  1, 1,
161              mpc8_q9up_codes, 1, 1, INIT_VLC_USE_NEW_STATIC);
162
163     scfi_vlc[0].table = scfi0_table;
164     scfi_vlc[0].table_allocated = 1 << MPC8_SCFI0_BITS;
165     init_vlc(&scfi_vlc[0], MPC8_SCFI0_BITS, MPC8_SCFI0_SIZE,
166              mpc8_scfi0_bits,  1, 1,
167              mpc8_scfi0_codes, 1, 1, INIT_VLC_USE_NEW_STATIC);
168     scfi_vlc[1].table = scfi1_table;
169     scfi_vlc[1].table_allocated = 1 << MPC8_SCFI1_BITS;
170     init_vlc(&scfi_vlc[1], MPC8_SCFI1_BITS, MPC8_SCFI1_SIZE,
171              mpc8_scfi1_bits,  1, 1,
172              mpc8_scfi1_codes, 1, 1, INIT_VLC_USE_NEW_STATIC);
173
174     dscf_vlc[0].table = dscf0_table;
175     dscf_vlc[0].table_allocated = 560;
176     init_vlc(&dscf_vlc[0], MPC8_DSCF0_BITS, MPC8_DSCF0_SIZE,
177              mpc8_dscf0_bits,  1, 1,
178              mpc8_dscf0_codes, 1, 1, INIT_VLC_USE_NEW_STATIC);
179     dscf_vlc[1].table = dscf1_table;
180     dscf_vlc[1].table_allocated = 598;
181     init_vlc(&dscf_vlc[1], MPC8_DSCF1_BITS, MPC8_DSCF1_SIZE,
182              mpc8_dscf1_bits,  1, 1,
183              mpc8_dscf1_codes, 1, 1, INIT_VLC_USE_NEW_STATIC);
184
185     q3_vlc[0].table = q3_0_table;
186     q3_vlc[0].table_allocated = 512;
187     init_vlc_sparse(&q3_vlc[0], MPC8_Q3_BITS, MPC8_Q3_SIZE,
188              mpc8_q3_bits,  1, 1,
189              mpc8_q3_codes, 1, 1,
190              mpc8_q3_syms,  1, 1, INIT_VLC_USE_NEW_STATIC);
191     q3_vlc[1].table = q3_1_table;
192     q3_vlc[1].table_allocated = 516;
193     init_vlc_sparse(&q3_vlc[1], MPC8_Q4_BITS, MPC8_Q4_SIZE,
194              mpc8_q4_bits,  1, 1,
195              mpc8_q4_codes, 1, 1,
196              mpc8_q4_syms,  1, 1, INIT_VLC_USE_NEW_STATIC);
197
198     for(i = 0; i < 2; i++){
199         res_vlc[i].table = &codes_table[vlc_offsets[0+i]];
200         res_vlc[i].table_allocated = vlc_offsets[1+i] - vlc_offsets[0+i];
201         init_vlc(&res_vlc[i], MPC8_RES_BITS, MPC8_RES_SIZE,
202                  &mpc8_res_bits[i],  1, 1,
203                  &mpc8_res_codes[i], 1, 1, INIT_VLC_USE_NEW_STATIC);
204
205         q2_vlc[i].table = &codes_table[vlc_offsets[2+i]];
206         q2_vlc[i].table_allocated = vlc_offsets[3+i] - vlc_offsets[2+i];
207         init_vlc(&q2_vlc[i], MPC8_Q2_BITS, MPC8_Q2_SIZE,
208                  &mpc8_q2_bits[i],  1, 1,
209                  &mpc8_q2_codes[i], 1, 1, INIT_VLC_USE_NEW_STATIC);
210
211         quant_vlc[0][i].table = &codes_table[vlc_offsets[4+i]];
212         quant_vlc[0][i].table_allocated = vlc_offsets[5+i] - vlc_offsets[4+i];
213         init_vlc(&quant_vlc[0][i], MPC8_Q5_BITS, MPC8_Q5_SIZE,
214                  &mpc8_q5_bits[i],  1, 1,
215                  &mpc8_q5_codes[i], 1, 1, INIT_VLC_USE_NEW_STATIC);
216         quant_vlc[1][i].table = &codes_table[vlc_offsets[6+i]];
217         quant_vlc[1][i].table_allocated = vlc_offsets[7+i] - vlc_offsets[6+i];
218         init_vlc(&quant_vlc[1][i], MPC8_Q6_BITS, MPC8_Q6_SIZE,
219                  &mpc8_q6_bits[i],  1, 1,
220                  &mpc8_q6_codes[i], 1, 1, INIT_VLC_USE_NEW_STATIC);
221         quant_vlc[2][i].table = &codes_table[vlc_offsets[8+i]];
222         quant_vlc[2][i].table_allocated = vlc_offsets[9+i] - vlc_offsets[8+i];
223         init_vlc(&quant_vlc[2][i], MPC8_Q7_BITS, MPC8_Q7_SIZE,
224                  &mpc8_q7_bits[i],  1, 1,
225                  &mpc8_q7_codes[i], 1, 1, INIT_VLC_USE_NEW_STATIC);
226         quant_vlc[3][i].table = &codes_table[vlc_offsets[10+i]];
227         quant_vlc[3][i].table_allocated = vlc_offsets[11+i] - vlc_offsets[10+i];
228         init_vlc(&quant_vlc[3][i], MPC8_Q8_BITS, MPC8_Q8_SIZE,
229                  &mpc8_q8_bits[i],  1, 1,
230                  &mpc8_q8_codes[i], 1, 1, INIT_VLC_USE_NEW_STATIC);
231     }
232     vlc_initialized = 1;
233     return 0;
234 }
235
236 static int mpc8_decode_frame(AVCodecContext * avctx,
237                             void *data, int *data_size,
238                             AVPacket *avpkt)
239 {
240     const uint8_t *buf = avpkt->data;
241     int buf_size = avpkt->size;
242     MPCContext *c = avctx->priv_data;
243     GetBitContext gb2, *gb = &gb2;
244     int i, j, k, ch, cnt, res, t;
245     Band *bands = c->bands;
246     int off;
247     int maxband, keyframe;
248     int last[2];
249
250     keyframe = c->cur_frame == 0;
251
252     if(keyframe){
253         memset(c->Q, 0, sizeof(c->Q));
254         c->last_bits_used = 0;
255     }
256     init_get_bits(gb, buf, buf_size * 8);
257     skip_bits(gb, c->last_bits_used & 7);
258
259     if(keyframe)
260         maxband = mpc8_get_mod_golomb(gb, c->maxbands + 1);
261     else{
262         maxband = c->last_max_band + get_vlc2(gb, band_vlc.table, MPC8_BANDS_BITS, 2);
263         if(maxband > 32) maxband -= 33;
264     }
265     if(maxband > c->maxbands)
266         return AVERROR_INVALIDDATA;
267     c->last_max_band = maxband;
268
269     /* read subband indexes */
270     if(maxband){
271         last[0] = last[1] = 0;
272         for(i = maxband - 1; i >= 0; i--){
273             for(ch = 0; ch < 2; ch++){
274                 last[ch] = get_vlc2(gb, res_vlc[last[ch] > 2].table, MPC8_RES_BITS, 2) + last[ch];
275                 if(last[ch] > 15) last[ch] -= 17;
276                 bands[i].res[ch] = last[ch];
277             }
278         }
279         if(c->MSS){
280             int mask;
281
282             cnt = 0;
283             for(i = 0; i < maxband; i++)
284                 if(bands[i].res[0] || bands[i].res[1])
285                     cnt++;
286             t = mpc8_get_mod_golomb(gb, cnt);
287             mask = mpc8_get_mask(gb, cnt, t);
288             for(i = maxband - 1; i >= 0; i--)
289                 if(bands[i].res[0] || bands[i].res[1]){
290                     bands[i].msf = mask & 1;
291                     mask >>= 1;
292                 }
293         }
294     }
295     for(i = maxband; i < c->maxbands; i++)
296         bands[i].res[0] = bands[i].res[1] = 0;
297
298     if(keyframe){
299         for(i = 0; i < 32; i++)
300             c->oldDSCF[0][i] = c->oldDSCF[1][i] = 1;
301     }
302
303     for(i = 0; i < maxband; i++){
304         if(bands[i].res[0] || bands[i].res[1]){
305             cnt = !!bands[i].res[0] + !!bands[i].res[1] - 1;
306             if(cnt >= 0){
307                 t = get_vlc2(gb, scfi_vlc[cnt].table, scfi_vlc[cnt].bits, 1);
308                 if(bands[i].res[0]) bands[i].scfi[0] = t >> (2 * cnt);
309                 if(bands[i].res[1]) bands[i].scfi[1] = t & 3;
310             }
311         }
312     }
313
314     for(i = 0; i < maxband; i++){
315         for(ch = 0; ch < 2; ch++){
316             if(!bands[i].res[ch]) continue;
317
318             if(c->oldDSCF[ch][i]){
319                 bands[i].scf_idx[ch][0] = get_bits(gb, 7) - 6;
320                 c->oldDSCF[ch][i] = 0;
321             }else{
322                 t = get_vlc2(gb, dscf_vlc[1].table, MPC8_DSCF1_BITS, 2);
323                 if(t == 64)
324                     t += get_bits(gb, 6);
325                 bands[i].scf_idx[ch][0] = ((bands[i].scf_idx[ch][2] + t - 25) & 0x7F) - 6;
326             }
327             for(j = 0; j < 2; j++){
328                 if((bands[i].scfi[ch] << j) & 2)
329                     bands[i].scf_idx[ch][j + 1] = bands[i].scf_idx[ch][j];
330                 else{
331                     t = get_vlc2(gb, dscf_vlc[0].table, MPC8_DSCF0_BITS, 2);
332                     if(t == 31)
333                         t = 64 + get_bits(gb, 6);
334                     bands[i].scf_idx[ch][j + 1] = ((bands[i].scf_idx[ch][j] + t - 25) & 0x7F) - 6;
335                 }
336             }
337         }
338     }
339
340     for(i = 0, off = 0; i < maxband; i++, off += SAMPLES_PER_BAND){
341         for(ch = 0; ch < 2; ch++){
342             res = bands[i].res[ch];
343             switch(res){
344             case -1:
345                 for(j = 0; j < SAMPLES_PER_BAND; j++)
346                     c->Q[ch][off + j] = (av_lfg_get(&c->rnd) & 0x3FC) - 510;
347                 break;
348             case 0:
349                 break;
350             case 1:
351                 for(j = 0; j < SAMPLES_PER_BAND; j += SAMPLES_PER_BAND / 2){
352                     cnt = get_vlc2(gb, q1_vlc.table, MPC8_Q1_BITS, 2);
353                     t = mpc8_get_mask(gb, 18, cnt);
354                     for(k = 0; k < SAMPLES_PER_BAND / 2; k++, t <<= 1)
355                         c->Q[ch][off + j + k] = (t & 0x20000) ? (get_bits1(gb) << 1) - 1 : 0;
356                 }
357                 break;
358             case 2:
359                 cnt = 6;//2*mpc8_thres[res]
360                 for(j = 0; j < SAMPLES_PER_BAND; j += 3){
361                     t = get_vlc2(gb, q2_vlc[cnt > 3].table, MPC8_Q2_BITS, 2);
362                     c->Q[ch][off + j + 0] = mpc8_idx50[t];
363                     c->Q[ch][off + j + 1] = mpc8_idx51[t];
364                     c->Q[ch][off + j + 2] = mpc8_idx52[t];
365                     cnt = (cnt >> 1) + mpc8_huffq2[t];
366                 }
367                 break;
368             case 3:
369             case 4:
370                 for(j = 0; j < SAMPLES_PER_BAND; j += 2){
371                     t = get_vlc2(gb, q3_vlc[res - 3].table, MPC8_Q3_BITS, 2) + q3_offsets[res - 3];
372                     c->Q[ch][off + j + 1] = t >> 4;
373                     c->Q[ch][off + j + 0] = (t & 8) ? (t & 0xF) - 16 : (t & 0xF);
374                 }
375                 break;
376             case 5:
377             case 6:
378             case 7:
379             case 8:
380                 cnt = 2 * mpc8_thres[res];
381                 for(j = 0; j < SAMPLES_PER_BAND; j++){
382                     t = get_vlc2(gb, quant_vlc[res - 5][cnt > mpc8_thres[res]].table, quant_vlc[res - 5][cnt > mpc8_thres[res]].bits, 2) + quant_offsets[res - 5];
383                     c->Q[ch][off + j] = t;
384                     cnt = (cnt >> 1) + FFABS(c->Q[ch][off + j]);
385                 }
386                 break;
387             default:
388                 for(j = 0; j < SAMPLES_PER_BAND; j++){
389                     c->Q[ch][off + j] = get_vlc2(gb, q9up_vlc.table, MPC8_Q9UP_BITS, 2);
390                     if(res != 9){
391                         c->Q[ch][off + j] <<= res - 9;
392                         c->Q[ch][off + j] |= get_bits(gb, res - 9);
393                     }
394                     c->Q[ch][off + j] -= (1 << (res - 2)) - 1;
395                 }
396             }
397         }
398     }
399
400     ff_mpc_dequantize_and_synth(c, maxband, data, avctx->channels);
401
402     c->cur_frame++;
403
404     c->last_bits_used = get_bits_count(gb);
405     if(c->cur_frame >= c->frames)
406         c->cur_frame = 0;
407     *data_size =  MPC_FRAME_SIZE * 2 * avctx->channels;
408
409     return c->cur_frame ? c->last_bits_used >> 3 : buf_size;
410 }
411
412 AVCodec ff_mpc8_decoder = {
413     .name           = "mpc8",
414     .type           = AVMEDIA_TYPE_AUDIO,
415     .id             = CODEC_ID_MUSEPACK8,
416     .priv_data_size = sizeof(MPCContext),
417     .init           = mpc8_decode_init,
418     .decode         = mpc8_decode_frame,
419     .long_name = NULL_IF_CONFIG_SMALL("Musepack SV8"),
420 };