12.3.5 针对程序执行路径逆向构造的验证