10.2.2 程序分析