先看结论
支持度undeclared
置信度medium
严重度major
能力矩阵暂未声明该特征，按未覆盖处理并降低置信度，建议 PoC 复核
改写
需按命中位置逐条评估改写
库侧 / 应用侧
库侧
可行：改目标端数组类型；LIMIT/EXTEND 集合方法逐个映射，上限约束改显式检查
应用侧
可行：越界校验上移应用层
验证建议：越界写入用例：原 VARRAY(n) 报错行为需有等价校验承接