蚂蚁集团与南京大学合作论文被软件工程领域旗舰顶会 ICSE 2025 接收

主要观点总结

本文主要介绍了2025年IEEE/ACM国际软件工程会议的内容，包括会议的时间、地点以及被收录的论文情况。文章还介绍了蚂蚁集团程序分析团队与南京大学合作的关于数据驱动且跨语言程序分析的论文，该论文提出采用数据驱动方式，使用Datalog表示方法统一表征基于不同程序语言所编写的软件服务。此外，文章还介绍了CodeFuse-Query系统的设计理念、技术特点和在生产环境中解决的具体问题。

关键观点总结

关键观点1: IEEE/ACM国际软件工程会议（ICSE）

介绍会议的时间、地点以及被收录的论文情况。

关键观点2: 数据驱动且跨语言程序分析的论文

蚂蚁集团程序分析团队与南京大学合作的论文提出采用数据驱动方式，使用Datalog技术实现跨语言程序分析，解决软件故障的主要原因之一——代码变更影响分析的问题。

关键观点3: CodeFuse-Query系统

该系统通过融合领域优化系统设计和逻辑导向计算设计，支持每天扫描超过 100亿行代码，并执行 300多种不同任务。它解决了多语言支持、增量数据模型生成、简化程序分析任务定义等问题，并在蚂蚁集团多个场景中得到应用。

文章预览

2025 IEEE/ACM国际软件工程会议（ICSE）将于 2025年4月27日至5月3日 在 加拿大渥太华 举办。这一软件工程领域的旗舰顶会涵盖了 软件工程、人工智能、编程语言、数理逻辑 和 软件安全 等多个研究方向。ICSE 2025官方数据显示，本届投稿共收到 662 篇投稿，其中仅有 66 篇被接收，论文收录率低于 10% 。 蚂蚁集团程序分析团队与南京大学 合作的、关于 数据驱动且跨语言程序分析的论文 被ICSE 2025收录。 该论文从支付宝APP的一次宕机事故出发，提出了基于Datalog的数据驱动、跨语言程序分析技术。该事故是由于支付宝相关的各种微服务间的代码修改不一致导致的。具体而言，由于在服务端代码修改后，APP前端未能针对该修改进行充分的测试及更新，导致前后端不一致，进而导致APP崩溃。在微服务架构中，不同微服务可能采用不同编程语言编写，包括 Java、XML ………………………………