程序分析的近义词