本期主题为Switch中省略了break语句导致的代码缺陷的相关介绍。
01什么是Switch中省略了break语句导致的代码缺陷?
break语句通常用在循环语句和switch语句中。当break用于switch语句中时,可使程序跳出switch而执行switch以后的语句;如果没有break语句,则会从满足条件的地方(即与switch(表达式)括号中表达式匹配的case)开始执行,直到switch结构结束。
如果程序在switch或类似构造中省略了break语句,则会导致多个条件相关联的代码被执行。当程序员只打算执行与一个条件相关的代码时,这可能会引起问题,可能导致关键代码在不该执行的情况下执行。
02Switch中省略了break语句导致的代码缺陷构成条件有哪些?
1、switch语句的catch块中没有break指令。
03Switch中省略了break语句导致的代码缺陷会造成哪些后果?
关键字:改变执行逻辑
可能导致执行意外的辑和其他意外的应用程序行为。
04Switch中省略了break语句导致的缺陷防范和修补方法有哪些?
1、省略一个break语句会导致用户无法区分是忘记编写break语句还是开发人员故意为之。如果确认是故意使两种情况以上使用同一种处理逻辑,确保逻辑正确。
2、使用if语句替代该功能,这更安全。
05Switch中缺少default导致的漏洞样例:
用静态代码检测工具检测上述程序代码,可以发现代码中存在着switch中省略了break语句的缺陷,如下图:
switch中省略了break语句在CWE中被编号为CWE-484: Omitted Break Statement in Switch
本文作者:中科天齐软件安全
本文为安全脉搏专栏作者发布,转载请注明:https://www.secpulse.com/archives/175441.html