C语言怎样判断乘法越界,c语言算术运算符越界问题解决方案
大量的安全漏洞是由于计算机算术运算的微妙细节引起的, 具体的C语言, 诸如符号数和无符号数之间转换, 算术运算的越界都会导致不可预知的错误和安全漏洞, 具体的案例数不胜数.
作为一个系统程序员, 有必要对这些细节有深入的了解. 本篇参考csapp, 主要介绍如何判断算术运算的越界问题.
(虽然本篇的代码经过大量的测试, 但本人仍然无法保证代码的正确性, 希望大家纠错).
讲解的原则是"摆定理, 不证明, 写代码". 具体的证明过程在csapp中有详细的讲解, 也不是太难. 主要使用关键定理来写代码. Go~
问题一: 无符号数的加法越界问题
[定理]
[理解]
这个定理比较容易, 也比较能让人接受. 不解释啦.
复制代码 代码如下:
/* Determine whether arguments can be added without overflow */
int uadd_ok(unsigned int x, unsigned int y)
{
return !(x+y < x);
}
问题二: 无符号数的减法越界问题
[定理]
[理解]
1. 计算机中没有减法, x-y = x+(-y), 这里的-y就是上述的y的加法逆元. 不管是有符号还是无符号, 都是转换为加法运算. 只是加法逆元的定义不同.
3. C语言保证 -x = ~x+1; 可以验证这种方式与上面公式等价.
4. s=x-y = x+(-y). 那么 不会溢出 等价于 y不为0 或者 !uadd_ok(x, -y).
复制代码 代码如下:
/* Determine whether argumnts can be substracted without overflow */
int usub_ok(unsigned int x, unsigned int y)
{
return !y || !uadd_ok(x, -y);
}
问题三: 无符号数的乘法越界问题
[定理]
[理解]
等价条件可以相互推导即可.
复制代码 代码如下:
/* Determine whether arguments can be multiplied without overflow */
int umul_ok(unsigned int x, unsigned int y)
{
unsigned int p = x * y;
return !x || p/x==y;
}
问题四: 有符号数的加法越界问题
[定理]
对于两个有符号数x, y. 越界的等价条件是x,y为负数, x+y为正数或者x,y为正数, x+y为负数.
[理解]
这个定理比较容易.
复制代码 代码如下:
/* Determine whether arguments can be added without overflow */
int tadd_ok(int x, int y)
{
return !(x<0&&y<0&&x+y>0 || x>0&&y>0&&x+y<0);
}
问题五: 有符号数的减法越界问题
[定理]
[理解]
同无符号的减法一样, 只是加法逆元的定义不同, 但是位模式是一样的. C语言可以保证-x=~x+1. 同样也分两种情况讨论.见代码.
复制代码 代码如下:
/* Determine whether arguments can be subtracted without overflow */
int tsub_ok(int x, int y)
{
#if 0
if (y == INT_MIN)
return x<0;
else
return tadd_ok(x, -y);
#endif
return y==INT_MIN&&x<0 || y!=INT_MIN&&tadd_ok(x, -y);
}
问题六: 有符号数的乘法越界问题
[定理]
完全同无符号的乘法一样.
复制代码 代码如下:
/* Determine whether arguments can be multiplied without overflow. */
int tmul_ok(int x, int y)
{
#if 0
int p = x * y;
return !x || p/x==y;
#endif
return umul_ok(x, y); /* 直接调用 */
}
C语言怎样判断乘法越界,c语言算术运算符越界问题解决方案相关推荐
- C语言条件判断 if / else - C语言零基础入门教程
目录 一.C 语言条件判断 if 1.if 语法 2.if 实战 二.C 语言条件判断 if / else 1.if / else 语法 2.if / else 实战 三.猜你喜欢 零基础 C/C++ ...
- C语言怎么判断字符YN,c语言中的宏_详解(转)
1. 简单宏定义 简单的宏定义有如下格式: [#define指令(简单的宏)] #define 标识符替换列表 替换列表是一系列的C语言记号,包括标识符.关键字.数.字符常量.字符串字面量.运算符和标 ...
- 数字字母下划线C语言,【判断题】C语言中的标识符只能由字母、数字和下划线三种字符组成,而且第一个字符只能是字母和下划线。...
[判断题]C语言中的标识符只能由字母.数字和下划线三种字符组成,而且第一个字符只能是字母和下划线. 更多相关问题 计算机病毒按其寄生方式划分通常可分为().A.系统引导型病毒B.文件型病毒C. 在委托 ...
- c语言代码99乘法表,C语言输出九九乘法表代码及解析
原标题:C语言输出九九乘法表代码及解析 九九乘法表共9行9列,重点考察for循环的掌握情况. 下面给出了输出完整乘法表.右上.右下.左上.左下乘法表的代码. [代码一]输出完整的三角形: #inclu ...
- c语言编程判断谁说谎,c语言训练题:关于张三李四王五说谎的问题(此处用javascript实现)...
(第一篇博文) 今天在一个交流群里见他们无聊,然后找到之前收藏的一些c语言题目放出去想让他们做,结果反倒是自己不会做,于是花了很多时间去想. 原题:张三说李四在说谎,李四说王五在说谎,王五说张三和李四 ...
- c语言里的乘法函数,C语言中的高精度乘法
大一新生初谈C语言中的高精度乘法 大一新生初谈C语言中的高精度乘法 1为什么需要高精度乘法及其实质 2高精度乘法原理 3高精度乘法的实现 a 运算前的准备 b一位位地运算 c处理进位 d输出结果 4整 ...
- c语言怎么判断素数return1,C语言实验——判断素数(循环结构)
C语言实验--判断素数(循环结构) Time Limit: 1000 ms Memory Limit: 65536 KiB Submit Statistic Problem Description 从 ...
- c语言如何判断输入字母个数,C语言 输入一个字符,判断该字符是数字、字母、空格还是其他字符。...
三个空分别是: 1.ch >= 'a'&&ch<='z' || a>='A'&&ch<='Z' 2. ch >= '0' &&am ...
- C语言怎样判断乘法越界,如何判断C语言算术运算的越界问题
大量的安全漏洞是由于计算机算术运算的微妙细节引起的, 具体的C语言, 诸如符号数和无符号数之间转换, 算术运算的越界都会导致不可预知的错误和安全漏洞, 具体的案例数不胜数. 作为一个系统程序员, 有必 ...
最新文章
- R语言使用magick包的image_rotate函数、image_flip函数、image_flop函数对图像进行缩放旋转、镜像、翻转(Rotate or mirror the image)
- 启动一个线程是用run()还是start()?
- wegame饥荒一直连接中_怪诞画风下的异世界生存,一款让你吃到撑的游戏——《饥荒》...
- 微软ping程序源代码完整版(附详细的注释)
- php 判断美国zip code
- java org.jsoup does not exist_java使用Jsoup连接网站超时的解决方法
- 手把手教你如何做门店盈亏平衡分析图表,内附模板可直接套用
- 论文 计算机网络技术的功能,计算机网络技术在有线电视网络中的作用论文
- iOS开发之使用Runtime给Model类赋值
- a ppt of CRF
- 如何使用 Spring Boot 开发邮件系统
- miui12怎么自定义开机动画_MIUI12体验:媲美iOS的细腻和流畅
- intern string java_java-String中intern()的详解
- Dzz Desktop1.2 Demo
- unicode 的geek解释
- JSP作业提交管理系统(JSP作业管理系统)JSP学生作业管理JSP教师作业批改业提交管理系统
- Java Ucase_JSP页面中的变量和方法声明(Declaration)、表达式(Expression)和Java程序片(Scriptlet)统称为JSP标记。...
- nslookup命令反解ip_桌面运维常用命令
- 玩转Android之Activity详细剖析
- echarts设置主副标题位置 分开设置
热门文章
- vue视频播放组件vue-mini-player
- Codeforces Round #439 (Div. 2) C.The Intriguing Obsession(组合数、记忆化搜索)
- 星座运势预测,python爬虫
- android studio创建md,如何在Android Studio中设置*md文件打开方式
- Png文件可横向拉伸html布局,png透明格式 以cad2010操作为例:
- 批发进销存软件哪个好用?求测评
- CAD颜色索转RGB(方法一)
- 针对宝宝肠胃保护,五大国际医生组织推荐使用爱乐乐益生菌
- Android 4.0.4-在build.prop中添加属性
- python实现kmeans算法对图片的聚类分割