dart和C语言计算CRC32结果不同

问题的产生

近期做了一个ota升级的项目，最后的固件进行了CRC32校验，我使用了app（android）验证无问题，给到我们的app开发，因为我们的app是使用了flutter开发的最后一直校验不通过。最后是谁也不让谁，两个代码是一样的，被逼着写上了dart。

C语言实现

由于我使用的是国产某32BIt蓝牙MCU，调试接口并不完善下载也较为困难，所有搭建了C的环境在电脑上，代码如下

#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>

const int crc_table[256] = {
    0x00000000,
    0x77073096,
    0xee0e612c,
    0x990951ba,
    0x076dc419,
    0x706af48f,
    0xe963a535,
    0x9e6495a3,
    0x0edb8832,
    0x79dcb8a4,
    0xe0d5e91e,
    0x97d2d988,
    0x09b64c2b,
    0x7eb17cbd,
    0xe7b82d07,
    0x90bf1d91,
    0x1db71064,
    0x6ab020f2,
    0xf3b97148,
    0x84be41de,
    0x1adad47d,
    0x6ddde4eb,
    0xf4d4b551,
    0x83d385c7,
    0x136c9856,
    0x646ba8c0,
    0xfd62f97a,
    0x8a65c9ec,
    0x14015c4f,
    0x63066cd9,
    0xfa0f3d63,
    0x8d080df5,
    0x3b6e20c8,
    0x4c69105e,
    0xd56041e4,
    0xa2677172,
    0x3c03e4d1,
    0x4b04d447,
    0xd20d85fd,
    0xa50ab56b,
    0x35b5a8fa,
    0x42b2986c,
    0xdbbbc9d6,
    0xacbcf940,
    0x32d86ce3,
    0x45df5c75,
    0xdcd60dcf,
    0xabd13d59,
    0x26d930ac,
    0x51de003a,
    0xc8d75180,
    0xbfd06116,
    0x21b4f4b5,
    0x56b3c423,
    0xcfba9599,
    0xb8bda50f,
    0x2802b89e,
    0x5f058808,
    0xc60cd9b2,
    0xb10be924,
    0x2f6f7c87,
    0x58684c11,
    0xc1611dab,
    0xb6662d3d,
    0x76dc4190,
    0x01db7106,
    0x98d220bc,
    0xefd5102a,
    0x71b18589,
    0x06b6b51f,
    0x9fbfe4a5,
    0xe8b8d433,
    0x7807c9a2,
    0x0f00f934,
    0x9609a88e,
    0xe10e9818,
    0x7f6a0dbb,
    0x086d3d2d,
    0x91646c97,
    0xe6635c01,
    0x6b6b51f4,
    0x1c6c6162,
    0x856530d8,
    0xf262004e,
    0x6c0695ed,
    0x1b01a57b,
    0x8208f4c1,
    0xf50fc457,
    0x65b0d9c6,
    0x12b7e950,
    0x8bbeb8ea,
    0xfcb9887c,
    0x62dd1ddf,
    0x15da2d49,
    0x8cd37cf3,
    0xfbd44c65,
    0x4db26158,
    0x3ab551ce,
    0xa3bc0074,
    0xd4bb30e2,
    0x4adfa541,
    0x3dd895d7,
    0xa4d1c46d,
    0xd3d6f4fb,
    0x4369e96a,
    0x346ed9fc,
    0xad678846,
    0xda60b8d0,
    0x44042d73,
    0x33031de5,
    0xaa0a4c5f,
    0xdd0d7cc9,
    0x5005713c,
    0x270241aa,
    0xbe0b1010,
    0xc90c2086,
    0x5768b525,
    0x206f85b3,
    0xb966d409,
    0xce61e49f,
    0x5edef90e,
    0x29d9c998,
    0xb0d09822,
    0xc7d7a8b4,
    0x59b33d17,
    0x2eb40d81,
    0xb7bd5c3b,
    0xc0ba6cad,
    0xedb88320,
    0x9abfb3b6,
    0x03b6e20c,
    0x74b1d29a,
    0xead54739,
    0x9dd277af,
    0x04db2615,
    0x73dc1683,
    0xe3630b12,
    0x94643b84,
    0x0d6d6a3e,
    0x7a6a5aa8,
    0xe40ecf0b,
    0x9309ff9d,
    0x0a00ae27,
    0x7d079eb1,
    0xf00f9344,
    0x8708a3d2,
    0x1e01f268,
    0x6906c2fe,
    0xf762575d,
    0x806567cb,
    0x196c3671,
    0x6e6b06e7,
    0xfed41b76,
    0x89d32be0,
    0x10da7a5a,
    0x67dd4acc,
    0xf9b9df6f,
    0x8ebeeff9,
    0x17b7be43,
    0x60b08ed5,
    0xd6d6a3e8,
    0xa1d1937e,
    0x38d8c2c4,
    0x4fdff252,
    0xd1bb67f1,
    0xa6bc5767,
    0x3fb506dd,
    0x48b2364b,
    0xd80d2bda,
    0xaf0a1b4c,
    0x36034af6,
    0x41047a60,
    0xdf60efc3,
    0xa867df55,
    0x316e8eef,
    0x4669be79,
    0xcb61b38c,
    0xbc66831a,
    0x256fd2a0,
    0x5268e236,
    0xcc0c7795,
    0xbb0b4703,
    0x220216b9,
    0x5505262f,
    0xc5ba3bbe,
    0xb2bd0b28,
    0x2bb45a92,
    0x5cb36a04,
    0xc2d7ffa7,
    0xb5d0cf31,
    0x2cd99e8b,
    0x5bdeae1d,
    0x9b64c2b0,
    0xec63f226,
    0x756aa39c,
    0x026d930a,
    0x9c0906a9,
    0xeb0e363f,
    0x72076785,
    0x05005713,
    0x95bf4a82,
    0xe2b87a14,
    0x7bb12bae,
    0x0cb61b38,
    0x92d28e9b,
    0xe5d5be0d,
    0x7cdcefb7,
    0x0bdbdf21,
    0x86d3d2d4,
    0xf1d4e242,
    0x68ddb3f8,
    0x1fda836e,
    0x81be16cd,
    0xf6b9265b,
    0x6fb077e1,
    0x18b74777,
    0x88085ae6,
    0xff0f6a70,
    0x66063bca,
    0x11010b5c,
    0x8f659eff,
    0xf862ae69,
    0x616bffd3,
    0x166ccf45,
    0xa00ae278,
    0xd70dd2ee,
    0x4e048354,
    0x3903b3c2,
    0xa7672661,
    0xd06016f7,
    0x4969474d,
    0x3e6e77db,
    0xaed16a4a,
    0xd9d65adc,
    0x40df0b66,
    0x37d83bf0,
    0xa9bcae53,
    0xdebb9ec5,
    0x47b2cf7f,
    0x30b5ffe9,
    0xbdbdf21c,
    0xcabac28a,
    0x53b39330,
    0x24b4a3a6,
    0xbad03605,
    0xcdd70693,
    0x54de5729,
    0x23d967bf,
    0xb3667a2e,
    0xc4614ab8,
    0x5d681b02,
    0x2a6f2b94,
    0xb40bbe37,
    0xc30c8ea1,
    0x5a05df1b,
    0x2d02ef8d,
};

uint32_t Crc32CalByByte(int crc, uint8_t *ptr, int len)
{
    int i = 0;
    while (len-- != 0)
    {
        uint32_t high = crc / 256;
        printf("hight %08x\n",high);
        crc <<= 8;
        crc ^= crc_table[(high ^ ptr[i]) & 0xff];
        crc &= 0xFFFFFFFF;
        i++;
        printf("crc %d  = %08x\n", i, crc);
    }
    return crc & 0xFFFFFFFF;
}

int FileSize(char *filename)
{
    int fileSize;
    FILE *fp = fopen(filename, "rb");
    fseek(fp, 0L, SEEK_END);
    fileSize = ftell(fp);
    return fileSize;
}

#define FILE_NAME "xxx.bin"
int main()
{
    int crc = 0;
    long fileSize = 0;
    long i;

    FILE *fp = NULL;
    char ch;

    fileSize = FileSize(FILE_NAME);

    fp = fopen(FILE_NAME, "rb");

    printf("file size %d\n", fileSize);

    if (fp == NULL)
    {
        printf("can't open file !\n");
    }

    uint8_t *fileBytes = (uint8_t *)malloc(fileSize);

    fread(fileBytes, sizeof(uint8_t), fileSize, fp);
    crc = Crc32CalByByte(0, fileBytes + 256, 512);

    free(fileBytes);
    printf("\n crc = %x\n", crc);

    return 0;
}

输出结果和在目标机的结果一致

dart实现

dart同样是在x86-64的windows主机上实现的代码是完全一致

int Crc32CalByByte(int crc, var ptr, int len) {
  int i = 0;
  int high = 0;
  while (len-- != 0) {
    high = crc ~/ 256;
    // print("high ${high.toRadixString(16)}");
    crc <<= 8;
    crc ^= crc_table[(high ^ ptr[i]) & 0xff];
    crc &= 0xFFFFFFFF;
    i++;
    // print("crc $i  = ${crc.toRadixString(16)}");
  }
  return crc & 0xFFFFFFFF;
}

void app_otas_crc_cal(int len, var fileBytes) {
  int firmware_length = 0;
  int crc_data = 0;
  int temp = 0;

  firmware_length = len;

  List copy = List.filled(firmware_length - 256, 0);
  List.copyRange(copy, 0, fileBytes, 256);
  crc_data = Crc32CalByByte(temp, copy, copy.length);
  print(crc_data.toRadixString(16));
}

main() {
  var file =
      "xxx.bin";
  var bytes = File(file).readAsBytesSync();
  print("${bytes.length.toRadixString(16)}");
  app_otas_crc_cal(bytes.length, bytes);
}

码表是和C语言一致的,也是直接翻译的结果但是运行结果却是
相差甚远，但是却和dart的crc某个git库对上了。瞬间蒙了难道这个还能不一样

问题解决或者疑问

作为嵌入式开发者，自然比较倾向于C的结果正确，通过对程序中的hight值进行一对一对比过程中发现了问题，这个high在某些情况下两个语言的计算结果不一样。C语言的结果在高位补了ff并+1了，联想到这里得到一个想法就是int位数的问题，32bit数发生的正负数转换，因为dart是默认64bit的所有还是正数（编码格式未变）当时也是猜的没有啥理论硬根据，毕竟不是dart专业的人员

    high = crc ~/ 256;
    if (crc > 0x7fffffff) {
      // print("crc ${crc.toRadixString(16)}");
      if (crc % 256 != 0) high = high + 1;
      // high |= 0xff000000;
    }

加了如下代码，结果对上了。算是屏蔽了这问题。但是真心不能理解，dart的crc32库和c的对不上。