luisgulo/testdisk
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

PhotoRec: try to find ID3 header appended to mp3

Browse source
This commit is contained in:
Christophe Grenier 2020-09-30 17:30:18 +02:00
parent 9a51cb47de
commit 8f3380a7e1
1 changed files with 11 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
src/file_mp3.c
View file

@ -268,6 +268,7 @@ static unsigned int search_MMT(const unsigned char *buffer, const unsigned int i
@ requires \valid_read(buffer+(0..buffer_size-1));
@ requires \valid(file_recovery);
@ requires file_recovery->data_check==&data_check_mp3;
@ requires \separated(buffer + (..), file_recovery);
@ requires file_recovery->file_size == 0 || file_recovery->calculated_file_size >= file_recovery->file_size - 16;
@ ensures \result == DC_CONTINUE || \result == DC_STOP;
@ ensures \result == DC_CONTINUE ==> (file_recovery->calculated_file_size >= file_recovery->file_size + buffer_size/2 - 16);
@ -375,6 +376,16 @@ static data_check_t data_check_mp3(const unsigned char *buffer, const unsigned i
file_recovery->calculated_file_size+=128;
/*@ assert file_recovery->calculated_file_size > 0; */
}
else if(buffer[i]=='I' && buffer[i+1]=='D' && buffer[i+2]=='3' && (buffer[i+3]==2 || buffer[i+3]==3 || buffer[i+3]==4) && buffer[i+4]==0)
{
unsigned int potential_frame_offset=0;
if(buffer[i+3]==4 && (buffer[i+5]&0x10)==0x10)
potential_frame_offset = 10;
potential_frame_offset+=((buffer[i+6]&0x7f)<<21) + ((buffer[i+7]&0x7f)<<14)
+ ((buffer[i+8]&0x7f)<<7) + (buffer[i+9]&0x7f)+ 10;
file_recovery->calculated_file_size+=potential_frame_offset;
/*@ assert file_recovery->calculated_file_size > 0; */
}
else
{
const unsigned int MMT_size=search_MMT(buffer,i,buffer_size);