先看结论
支持度partial
置信度medium
严重度minor
PL 提供 GOTO；细节待核
不支持
需按命中位置逐条评估改写
库侧 / 应用侧
库侧
可行：重构控制流为循环 + EXIT/CONTINUE/嵌套块异常，消除 GOTO
应用侧
可行：过程逻辑整体上移应用层时一并消除 GOTO
验证建议：逐分支对照原跳转路径回归——控制流重构属逻辑改写，用例须覆盖全部 GOTO 目标标签