12.3.4 逆向构造执行路径的控制执行