26.1 程序分析