Function header_check_pdf

src/file_pdf.c:472–497

@ @ requires buffer_size >= 512; @ requires separation: \separated(&file_hint_pdf, buffer+(..), file_recovery, file_recovery_new); @ requires valid_header_check_param(buffer, buffer_size, safe_header_only, file_recovery, file_recovery_new); @ ensures valid_header_check_result(\result, file_recovery_new); @ assigns *file_recovery_new; @*/

  @ assigns  *file_recovery_new;
  @*/
static int header_check_pdf(const unsigned char *buffer, const unsigned int buffer_size, const unsigned int safe_header_only, const file_recovery_t *file_recovery, file_recovery_t *file_recovery_new)
{
  uint64_t file_size;
  if(!isprint(buffer[6]))
    return 0;
  file_size=read_pdf_file(buffer);
  if(file_size > PHOTOREC_MAX_FILE_SIZE)
    return 0;
  reset_file_recovery(file_recovery_new);
  if(td_memmem(buffer, buffer_size, "<</Illustrator ", 15) != NULL)
    file_recovery_new->extension="ai";
  else
  {
    file_recovery_new->extension=file_hint_pdf.extension;
    file_recovery_new->file_rename=&file_rename_pdf;
  }
  if(file_size == 0)
  {
    file_recovery_new->file_check=&file_check_pdf;
    return 1;
  }
  file_recovery_new->calculated_file_size=file_size;
  file_recovery_new->data_check=&data_check_size;
  file_recovery_new->file_check=&file_check_pdf_and_size;
  return 1;
}

static void register_header_check_pdf(file_stat_t *file_stat)
{