代码安全 | 第二十五期：数组声明为public final static缺陷

本期主题为数组声明为public final static缺陷漏洞的相关介绍。

一、什么是数组声明为public final static缺陷?

程序声明一个public final static的数组，这不足以防止修改数组的内容。

二、数组声明为public final static缺陷构成条件有哪些?

因为数组是可变对象，所以最终约束要求数组对象本身只分配一次，但不保证数组元素的值。由于数组是public的，因此恶意程序可以更改存储在数组中的值。因此，在大多数情况下，声明为public final static的数组是一个错误。

三、数组声明为public final static缺陷会造成哪些后果?

程序数据会被修改，可能产生不利影响。

四、数组声明为public final static缺陷的防范和修补方法有哪些?

大部分情况下，数组声明应为private。

五、数组声明为public final static缺陷样例：

 

用Wukong软件检测上述程序代码，则可以发现代码中存在着“数组声明为public final static缺陷” 导致的代码缺陷，如下图：

 

数组声明为public final static缺陷在CWE中被编号为CWE-582:Array Declared Public, Final, and Static