首页
社区
课程
招聘
[分享][分享]Switch中缺少default导致的代码缺陷
发表于: 2021-9-6 10:50 3556

[分享][分享]Switch中缺少default导致的代码缺陷

2021-9-6 10:50
3556

1、什么是Switch中缺少default导致的代码缺陷?

switch用在编程中,如C语言中它经常跟case一起使用,是一个判断选择逻辑结构。其功能就是控制流程流转。switch语句的语法如下(switch,case,break和default是关键字):

1
2
3
4
5
6
7
8
9
switch ( 变量表达式 )
{
case 常量1 :语句;break;
case 常量2 :语句;break;
case 常量3 :语句;break;
...
case 常量n:语句;break;
default :语句;break;
}

当变量表达式所表达的量与其中一个case语句中的常量相符时,就执行此case语句后面的语句,并依次下去执行后面所有case语句中的语句,遇到break则中断并跳出当前case分支执行语句。如果常量表达式的量与所有case语句的常量值都不相符,则执行default语句中的语句。

 

那代码在switch语句中没有default语句,这可能会导致复杂的逻辑问题并由此产生安全隐患。此缺陷代表了软件开发中的常见问题,其中并非所有可能的变量值都由给定过程考虑或处理。因此,根据不良信息做出进一步的决策,并导致级联故障。这种级联故障可能会导致许多安全问题,并构成系统中的重大故障。

2、Switch中缺少default导致的代码缺陷构成条件有哪些?

①switch语句没有default情况。

3、Switch中缺少default导致的代码缺陷会造成哪些后果?

关键字:改变程序执行逻辑;

 

①当switch中的逻辑进行数据检查等,攻击者可以注入不执行任何case分支的数据,则攻击者可以绕过安全检查,或导致程序处理逻辑上错误。

4、Switch中缺少default导致的缺陷防范和修补方法有哪些?

①switch语句中应该添加default标签;

 

②在一些情况下,default应该作为检查无效输入的情况,而不应该作为一个表示假定的选项。

5、Switch中缺少default导致的漏洞样例:

 

用悟空静态代码检测分析上述程序代码,则可以发现代码中存在着case语句中没有default 语句的缺陷,如下图:

 

 

switch中缺少default在CWE中被编号为CWE-478: Missing Default Case inSwitch Statement


[注意]传递专业知识、拓宽行业人脉——看雪讲师团队等你加入!

收藏
免费 0
支持
分享
最新回复 (0)
游客
登录 | 注册 方可回帖
返回
//