fix some cases that didn't return outofmem error properly and would crash instead

This commit is contained in:
Sean Barrett 2015-09-03 07:11:02 -07:00
parent a009673856
commit 0e24ec5feb
2 changed files with 49 additions and 12 deletions

View File

@ -3739,6 +3739,7 @@ static int start_decoder(vorb *f)
f->setup_temp_memory_required = c->entries; f->setup_temp_memory_required = c->entries;
c->codeword_lengths = (uint8 *) setup_malloc(f, c->entries); c->codeword_lengths = (uint8 *) setup_malloc(f, c->entries);
if (c->codeword_lengths == NULL) return error(f, VORBIS_outofmem);
memcpy(c->codeword_lengths, lengths, c->entries); memcpy(c->codeword_lengths, lengths, c->entries);
setup_temp_free(f, lengths, c->entries); // note this is only safe if there have been no intervening temp mallocs! setup_temp_free(f, lengths, c->entries); // note this is only safe if there have been no intervening temp mallocs!
lengths = c->codeword_lengths; lengths = c->codeword_lengths;
@ -3786,10 +3787,13 @@ static int start_decoder(vorb *f)
if (c->sorted_entries) { if (c->sorted_entries) {
// allocate an extra slot for sentinels // allocate an extra slot for sentinels
c->sorted_codewords = (uint32 *) setup_malloc(f, sizeof(*c->sorted_codewords) * (c->sorted_entries+1)); c->sorted_codewords = (uint32 *) setup_malloc(f, sizeof(*c->sorted_codewords) * (c->sorted_entries+1));
if (c->sorted_codewords == NULL) return error(f, VORBIS_outofmem);
// allocate an extra slot at the front so that c->sorted_values[-1] is defined // allocate an extra slot at the front so that c->sorted_values[-1] is defined
// so that we can catch that case without an extra if // so that we can catch that case without an extra if
c->sorted_values = ( int *) setup_malloc(f, sizeof(*c->sorted_values ) * (c->sorted_entries+1)); c->sorted_values = ( int *) setup_malloc(f, sizeof(*c->sorted_values ) * (c->sorted_entries+1));
if (c->sorted_values) { ++c->sorted_values; c->sorted_values[-1] = -1; } if (c->sorted_values == NULL) return error(f, VORBIS_outofmem);
++c->sorted_values;
c->sorted_values[-1] = -1;
compute_sorted_huffman(c, lengths, values); compute_sorted_huffman(c, lengths, values);
} }
@ -3859,6 +3863,7 @@ static int start_decoder(vorb *f)
#endif #endif
{ {
c->multiplicands = (codetype *) setup_malloc(f, sizeof(c->multiplicands[0]) * c->lookup_values); c->multiplicands = (codetype *) setup_malloc(f, sizeof(c->multiplicands[0]) * c->lookup_values);
if (c->multiplicands == NULL) { setup_temp_free(f, mults,sizeof(mults[0])*c->lookup_values); return error(f, VORBIS_outofmem); }
#ifndef STB_VORBIS_CODEBOOK_FLOATS #ifndef STB_VORBIS_CODEBOOK_FLOATS
memcpy(c->multiplicands, mults, sizeof(c->multiplicands[0]) * c->lookup_values); memcpy(c->multiplicands, mults, sizeof(c->multiplicands[0]) * c->lookup_values);
#else #else
@ -3892,6 +3897,7 @@ static int start_decoder(vorb *f)
// Floors // Floors
f->floor_count = get_bits(f, 6)+1; f->floor_count = get_bits(f, 6)+1;
f->floor_config = (Floor *) setup_malloc(f, f->floor_count * sizeof(*f->floor_config)); f->floor_config = (Floor *) setup_malloc(f, f->floor_count * sizeof(*f->floor_config));
if (f->floor_config == NULL) return error(f, VORBIS_outofmem);
for (i=0; i < f->floor_count; ++i) { for (i=0; i < f->floor_count; ++i) {
f->floor_types[i] = get_bits(f, 16); f->floor_types[i] = get_bits(f, 16);
if (f->floor_types[i] > 1) return error(f, VORBIS_invalid_setup); if (f->floor_types[i] > 1) return error(f, VORBIS_invalid_setup);
@ -3963,7 +3969,9 @@ static int start_decoder(vorb *f)
// Residue // Residue
f->residue_count = get_bits(f, 6)+1; f->residue_count = get_bits(f, 6)+1;
f->residue_config = (Residue *) setup_malloc(f, f->residue_count * sizeof(*f->residue_config)); f->residue_config = (Residue *) setup_malloc(f, f->residue_count * sizeof(f->residue_config[0]));
if (f->residue_config == NULL) return error(f, VORBIS_outofmem);
memset(f->residue_config, 0, f->residue_count * sizeof(f->residue_config[0]));
for (i=0; i < f->residue_count; ++i) { for (i=0; i < f->residue_count; ++i) {
uint8 residue_cascade[64]; uint8 residue_cascade[64];
Residue *r = f->residue_config+i; Residue *r = f->residue_config+i;
@ -3982,6 +3990,7 @@ static int start_decoder(vorb *f)
residue_cascade[j] = high_bits*8 + low_bits; residue_cascade[j] = high_bits*8 + low_bits;
} }
r->residue_books = (short (*)[8]) setup_malloc(f, sizeof(r->residue_books[0]) * r->classifications); r->residue_books = (short (*)[8]) setup_malloc(f, sizeof(r->residue_books[0]) * r->classifications);
if (r->residue_books == NULL) return error(f, VORBIS_outofmem);
for (j=0; j < r->classifications; ++j) { for (j=0; j < r->classifications; ++j) {
for (k=0; k < 8; ++k) { for (k=0; k < 8; ++k) {
if (residue_cascade[j] & (1 << k)) { if (residue_cascade[j] & (1 << k)) {
@ -4001,6 +4010,7 @@ static int start_decoder(vorb *f)
int classwords = f->codebooks[r->classbook].dimensions; int classwords = f->codebooks[r->classbook].dimensions;
int temp = j; int temp = j;
r->classdata[j] = (uint8 *) setup_malloc(f, sizeof(r->classdata[j][0]) * classwords); r->classdata[j] = (uint8 *) setup_malloc(f, sizeof(r->classdata[j][0]) * classwords);
if (r->classdata[j] == NULL) return error(f, VORBIS_outofmem);
for (k=classwords-1; k >= 0; --k) { for (k=classwords-1; k >= 0; --k) {
r->classdata[j][k] = temp % r->classifications; r->classdata[j][k] = temp % r->classifications;
temp /= r->classifications; temp /= r->classifications;
@ -4010,11 +4020,14 @@ static int start_decoder(vorb *f)
f->mapping_count = get_bits(f,6)+1; f->mapping_count = get_bits(f,6)+1;
f->mapping = (Mapping *) setup_malloc(f, f->mapping_count * sizeof(*f->mapping)); f->mapping = (Mapping *) setup_malloc(f, f->mapping_count * sizeof(*f->mapping));
if (f->mapping == NULL) return error(f, VORBIS_outofmem);
memset(f->mapping, 0, f->mapping_count * sizeof(*f->mapping));
for (i=0; i < f->mapping_count; ++i) { for (i=0; i < f->mapping_count; ++i) {
Mapping *m = f->mapping + i; Mapping *m = f->mapping + i;
int mapping_type = get_bits(f,16); int mapping_type = get_bits(f,16);
if (mapping_type != 0) return error(f, VORBIS_invalid_setup); if (mapping_type != 0) return error(f, VORBIS_invalid_setup);
m->chan = (MappingChannel *) setup_malloc(f, f->channels * sizeof(*m->chan)); m->chan = (MappingChannel *) setup_malloc(f, f->channels * sizeof(*m->chan));
if (m->chan == NULL) return error(f, VORBIS_outofmem);
if (get_bits(f,1)) if (get_bits(f,1))
m->submaps = get_bits(f,4)+1; m->submaps = get_bits(f,4)+1;
else else
@ -4075,8 +4088,10 @@ static int start_decoder(vorb *f)
f->channel_buffers[i] = (float *) setup_malloc(f, sizeof(float) * f->blocksize_1); f->channel_buffers[i] = (float *) setup_malloc(f, sizeof(float) * f->blocksize_1);
f->previous_window[i] = (float *) setup_malloc(f, sizeof(float) * f->blocksize_1/2); f->previous_window[i] = (float *) setup_malloc(f, sizeof(float) * f->blocksize_1/2);
f->finalY[i] = (int16 *) setup_malloc(f, sizeof(int16) * longest_floorlist); f->finalY[i] = (int16 *) setup_malloc(f, sizeof(int16) * longest_floorlist);
if (f->channel_buffers[i] == NULL || f->previous_window[i] == NULL || f->finalY[i] == NULL) return error(f, VORBIS_outofmem);
#ifdef STB_VORBIS_NO_DEFER_FLOOR #ifdef STB_VORBIS_NO_DEFER_FLOOR
f->floor_buffers[i] = (float *) setup_malloc(f, sizeof(float) * f->blocksize_1/2); f->floor_buffers[i] = (float *) setup_malloc(f, sizeof(float) * f->blocksize_1/2);
if (f->floor_buffers[i] == NULL) return error(f, VORBIS_outofmem);
#endif #endif
} }
@ -4134,14 +4149,16 @@ static int start_decoder(vorb *f)
static void vorbis_deinit(stb_vorbis *p) static void vorbis_deinit(stb_vorbis *p)
{ {
int i,j; int i,j;
for (i=0; i < p->residue_count; ++i) { if (p->residue_config) {
Residue *r = p->residue_config+i; for (i=0; i < p->residue_count; ++i) {
if (r->classdata) { Residue *r = p->residue_config+i;
for (j=0; j < p->codebooks[r->classbook].entries; ++j) if (r->classdata) {
setup_free(p, r->classdata[j]); for (j=0; j < p->codebooks[r->classbook].entries; ++j)
setup_free(p, r->classdata); setup_free(p, r->classdata[j]);
setup_free(p, r->classdata);
}
setup_free(p, r->residue_books);
} }
setup_free(p, r->residue_books);
} }
if (p->codebooks) { if (p->codebooks) {
@ -4158,9 +4175,11 @@ static void vorbis_deinit(stb_vorbis *p)
} }
setup_free(p, p->floor_config); setup_free(p, p->floor_config);
setup_free(p, p->residue_config); setup_free(p, p->residue_config);
for (i=0; i < p->mapping_count; ++i) if (p->mapping) {
setup_free(p, p->mapping[i].chan); for (i=0; i < p->mapping_count; ++i)
setup_free(p, p->mapping); setup_free(p, p->mapping[i].chan);
setup_free(p, p->mapping);
}
for (i=0; i < p->channels; ++i) { for (i=0; i < p->channels; ++i) {
setup_free(p, p->channel_buffers[i]); setup_free(p, p->channel_buffers[i]);
setup_free(p, p->previous_window[i]); setup_free(p, p->previous_window[i]);

View File

@ -57,12 +57,30 @@ int main(int argc, char **argv)
int num_chan, samprate; int num_chan, samprate;
int i, j, test, phase; int i, j, test, phase;
short *output; short *output;
if (argc == 1) { if (argc == 1) {
fprintf(stderr, "Usage: vorbseek {vorbisfile} [{vorbisfile]*]\n"); fprintf(stderr, "Usage: vorbseek {vorbisfile} [{vorbisfile]*]\n");
fprintf(stderr, "Tests various seek offsets to make sure they're sample exact.\n"); fprintf(stderr, "Tests various seek offsets to make sure they're sample exact.\n");
return 0; return 0;
} }
#if 0
{
// check that outofmem occurs correctly
stb_vorbis_alloc va;
va.alloc_buffer = malloc(1024*1024);
for (i=0; i < 1024*1024; i += 10) {
int error=0;
stb_vorbis *v;
va.alloc_buffer_length_in_bytes = i;
v = stb_vorbis_open_filename(argv[1], &error, &va);
if (v != NULL)
break;
printf("Error %d at %d\n", error, i);
}
}
#endif
for (j=1; j < argc; ++j) { for (j=1; j < argc; ++j) {
unsigned int successes=0, attempts = 0; unsigned int successes=0, attempts = 0;
unsigned int num_samples = stb_vorbis_decode_filename(argv[j], &num_chan, &samprate, &output); unsigned int num_samples = stb_vorbis_decode_filename(argv[j], &num_chan, &samprate, &output);