5.1.1 控制流检查

文档摘要

5.1.1 控制流检查控制流检查，是验证器核心逻辑的“神经反射弧”——它不处理数据的对错，却决定程序是否拥有安全执行的资格；它不校验字段的格式，却裁定一段代码能否被信任地纳入运行时图谱。在5.1节所锚定的验证器架构中，“5.1.1 控制流检查”绝非静态语法扫描的延伸，而是一场在抽象语法树（AST）与控制流图（CFG）双轨上同步演进的动态推演：它要回答两个根本性命题——这段逻辑会不会陷入无解的自我循环？这段分支路径，是否真的存在一条从入口抵达它的可行执行轨迹？这不是教科书里“检测有向图是否存在环”的习题。这是在真实业务规则引擎、智能合约验证、低代码平台策略编排等场景下，面对嵌套条件、异步回调、异常跳转、宏展开甚至用户自定义跳转指令时，必须给出毫秒级、确定性、可审计答案的工业级挑战。