Function register_header_check_zip

src/file_zip.c:1415–1422

@ @ requires valid_register_header_check(file_stat); @*/

  @ requires valid_register_header_check(file_stat);
  @*/
static void register_header_check_zip(file_stat_t *file_stat)
{
  static const unsigned char zip_header2[8]  = { 'P', 'K', '0', '0', 'P', 'K', 0x03, 0x04}; /* WinZIPv8-compressed files. */
  register_header_check(0, zip_header,sizeof(zip_header), &header_check_zip, file_stat);
#ifndef DISABLED_FOR_FRAMAC
  register_header_check(0, zip_header2,sizeof(zip_header2), &header_check_winzip, file_stat);
#endif
}
#endif

#if defined(MAIN_zip)