《深入理解计算机系统》 练习题2.37答案

XDR库中的安全漏洞 1）size_t是unsigned int型的。 2）malloc的函数原型是void *malloc(unsigned int size)。 如果第9行代码里，ele_cnt * ele_size的乘积结果超过了unsigned int的范围（[0, 2 32 − 1 2^{32}-1 232−1]），就会发生正溢出，乘积结果就会被截断，结果为 乘积 mod 2 32 2^

>>阅读原文<<