需要进行现实检查：我对 VB6 Blowfish bug 的分析是否正确？

Question

最近我有理由比较 Blowfish 算法。我正在比较 DI Management 库和 PHP 的 mcrypt。我无法以任何方式让他们同意。

这让我开始了一场有趣的追逐。根据 Bruce Schneier 网站上的此帖子，早期版本中存在符号扩展错误Blowfish 代码的一部分，并且 DI 管理代码似乎实现了错误报告前代码。

错误报告中的简介部分指出，

bfinit(char *key,int keybytes)
{
    unsigned long data;
    ...
    j=0;
    ...
        data=0;
        for(k=0;k<4;k++){
            data=(data<<8)|key[j];/* choke*/
            j+=1;
            if(j==keybytes)
                j=0;
        }
        ...
}

每当最高有效位出现时，它就会阻塞 key[j] 的值为“1”。例如，如果 key[j]=0x80， key[j]，一个有符号的字符，符号扩展为0xffffff80 在与数据进行“或”运算之前。

basBlowfish.bas 中的 blf_Initialise 函数中的等效代码是

   wData = &H0
    For k = 0 To 3
        wData = uw_ShiftLeftBy8(wData) Or aKey(j)
        j = j + 1
        If j >= nKeyBytes Then j = 0

错误报告建议对 C 代码进行以下修复：

data<<=8;
data|=(unsigned long)key[j]&0xff;

我在 VB6 中实现了该代码

wData = uw_ShiftLeftBy8(wData)
wData = wData Or ( aKey(j) And &HFF )

，事实上，我已经编写了它，以便两种方法都使用，然后放入断言来检查值是否相同，即：

wData = uw_ShiftLeftBy8(wData)
wData = wData Or (aKey(j) And &HFF)
wDCheck = uw_ShiftLeftBy8(wData) Or aKey(j)
Debug.Assert wData = wDCheck

当 aKey(j) 包含 255 时，出现断言错误。

我对这种情况的解读正确吗？是否发生了符号扩展错误，或者我是否看到了不存在的错误？

奇怪的是，无论是否进行此更改，DI 管理代码附带的测试似乎都能正常工作（这可能意味着我对两种算法之间等效性的搜索可能取决于其他因素。）

Answer 1

如果我没看错（当然现在不能保证），那么你确实有一个错误。甚至可能是两个。请记住，在 C 中，类型转换的优先级高于按位运算。 C 代码将signed char 转换为unsigned long，然后用0xFF 进行&ing。写得详细一点：

data = (data << 8) | ( ((unsigned long)key[j]) & 0xFF );

不过，你贴出的VB代码相当于：

wData = (wData << 8) | (unsigned long)(aKey[j] & 0xFF);

你好，签名扩展。

另外，你是想写这个吗？

wDCheck = uw_ShiftLeftBy8(wDCheck) Or aKey(j)

否则，您将使用 wData 的新值设置 wDCheck。