大型语言模型辅助程序分析的当代综述