SA0010：只有一个组件的数组 检测只有一个元素的数组 理由：一个元素的数组 [...] 此变量比通过索引访问变量快得多。 例外：数组的长度通常由常量确定，并且
SA0180：索引范围未覆盖整个数组 检测索引范围不完全覆盖的数组 数组通常在循环中处理，其中循环索引对数组进行索引，以便数组
SA0172：可能尝试访问数组边界之外 检测对数组边界之外的数组索引的可能访问。 通常会超出数组索引的范围 FOR
SA0122：数组索引定义为表达式 检测数组索引声明中表达式的使用 理由：并非所有系统都允许将表达式作为数组
SA0023：复杂的返回值 确定无法使用处理器的简单注册表副本返回的复杂返回值。这包括结构、数组和类型的返回值 STRING （不管已用内存的大小）。 理由
针与整数值相加被认为是对指针的常见操作。这使得可以使用指针来处理可变长度的数组
传播的结果用于各种检查。例如，它检查指针是否不等于 0，或者数组 [...] 量传播可以确定该变量的值范围，并允许访问第 7 行的数组。 分枝
据类型定义 REFERENCE TO , 前缀 a 对于一个数组
