6.6.2 程序分析