先看结论
支持度undeclared
置信度medium
严重度major
能力矩阵暂未声明该特征，按未覆盖处理并降低置信度，建议 PoC 复核
替代
需按命中位置逐条评估改写
库侧 / 应用侧
库侧
可行：重构控制流为循环 + EXIT/CONTINUE/嵌套块异常，消除 GOTO
应用侧
可行：过程逻辑整体上移应用层时一并消除 GOTO
验证建议：逐分支对照原跳转路径回归——控制流重构属逻辑改写，用例须覆盖全部 GOTO 目标标签