12.3.3 程序执行路径的逆向构造