-
-
[分享][分享]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
[注意]传递专业知识、拓宽行业人脉——看雪讲师团队等你加入!
赞赏
看原图
赞赏
雪币:
留言: