悟空云课堂丨代码安全第三十四期：空的同步块缺陷漏洞

中科天齐倾情打造《悟空云课堂》旨在科普软件安全相关知识，助力企业有效防范软件安全漏洞，提升网络安全防护能力。本期主题为空的同步块缺陷漏洞的相关介绍。

一、什么是空的同步块缺陷?

空的同步块实际上并不能完成任何同步，并且可能是有问题的代码段。空的同步块可能是因为在不删除同步块的情况下，注释掉了同步块中不再需要的代码导致的。

二、空的同步块缺陷的构成条件有哪些?

该程序包含一个空的同步块。

三、空的同步块缺陷会造成哪些后果?

空的同步块将会等待，直到没有人正在使用指定的同步器。虽然这可能是所需行为的一部分，但由于您没有通过将后续代码放在同步块中来保护后续代码，所以无法阻止其他人修改您在运行后续代码时所等待的内容。

四、空的同步块缺陷的防范和修补方法有哪些?

当您遇到空的同步语句或其中代码已被注释掉的同步语句时，请尝试确定最初的意图以及是否仍然需要同步块。

五、空的同步块缺陷样例：

用静态代码检测分析上述程序代码，则可以发现代码中存在着“空的同步块” 导致的代码缺陷，如下图：

空的同步块缺陷在CWE中被编号为CWE-585:EmptySynchronized Block