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

比眉伴天荒 2022-04-18 05:40 203阅读 0赞

# XDR库中的安全漏洞 #

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2FubGlhbjUyMw_size_16_color_FFFFFF_t_70]  
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^\{32\} 232。  
![在这里插入图片描述][20181109093758493.png]  
按照原文描述，malloc函数只会分配4096个字节的空间用来复制，但由于ele\_cnt还是很大，所以在4096个字节都已经复制后，后面的那么多字节还会进行复制，但后面的字节明显都不是malloc函数分配的空间，所以就会在后面的复制发生错误。

# 这段代码有什么改进？ #

uint64_t asize = ele_cnt * (uint64_t) ele_size;
        void *result = malloc(asize);

假设会溢出，那么虽然到了asize这步还不会溢出，因为在等式右边已经先把两个乘子强制类型转换为`uint64_t`了。  
但是到了malloc函数时，由于此函数的原型设计，还是会被截断，传入malloc函数时发生溢出。

# 如何修改 #

uint64_t asize = ele_cnt * (uint64_t) ele_size;
          unsigned int asize2 = ele_cnt * ele_size;
          if (asize == asize2) { //执行分配 }
          else {  //抛出异常}

检测溢出，这里用截断来检测。也可以用除法来检测。见上一篇博客。

参考链接：  
\[1\] [https://github.com/haiiiiiyun/book\_exercises/blob/master/csapp-v3/chap2/2.37-2.41.txt][https_github.com_haiiiiiyun_book_exercises_blob_master_csapp-v3_chap2_2.37-2.41.txt]

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2FubGlhbjUyMw_size_16_color_FFFFFF_t_70]: /images/20220418/21db35a2318a44bbbc9b3c30967cbc9d.png
[20181109093758493.png]: /images/20220418/ac9534f0f57f496a8679258a4260eb6a.png
[https_github.com_haiiiiiyun_book_exercises_blob_master_csapp-v3_chap2_2.37-2.41.txt]: https://github.com/haiiiiiyun/book_exercises/blob/master/csapp-v3/chap2/2.37-2.41.txt