中科天齐倾情打造《悟空云课堂》旨在科普软件安全相关知识，助力企业有效防范软件安全漏洞，提升网络安全防护能力。本期主题为表达式永假/永真缺陷缺陷漏洞的相关介绍。
一、什么是表达式永假/永真缺陷?
如果布尔表达式不改变程序逻辑，则完全没有必要，并且可以将其删除。如果执行逻辑与程序员的意图不匹配，这就是一个错误，布尔表达式应该被修复。
二、表达式永假/永真缺陷的构成条件有哪些?
该软件包含一个始终为假或为真的表达式。
三、表达式永假/永真缺陷的构成会造成哪些后果?
无效代码可能会在代码维护期间引起问题，并可能引入漏洞。
四、表达式永假/永真缺陷的防范和修补方法有哪些?
布尔表达式应该有改变其值的操作。
使用静态分析工具发现这种情况。
五、表达式永假/永真缺陷样例：
用Wukong软件检测上述程序代码，则可以发现代码中存在着“表达式永假/永真” 导致的代码缺陷，如下图：
表达式永假/永真缺陷在CWE中被编号为CWE-570:Expression is Always False
软件安全 网络安全的最后一道防线
中科天齐公司是在中科院计算技术研究所的大力推动下
以中科院计算所国际领先的自主研究成果
“软件代码漏洞检测修复平台(Wukong悟空)”
为基础组建的高新技术企业
