阅读程序分析结果(第6章)