10.1.2 程序分析