4.1 程序执行依赖性分析