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

蚂蚁技术AntTech · 公众号 · 程序员科技创业科技自媒体 · 2024-12-23 11:27

主要观点总结

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

关键观点总结

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

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

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

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

关键观点3: CodeFuse-Query系统

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

正文

请到「今天看啥」查看全文

，CodeFuse-Query能够将复杂任务表述为逻辑表达式，充分利用Datalog 的声明式优势。

整体而言，CodeFuse-Query平台分为三个主要部分： 代码数据模型（COREF） 、程序分析DSL（Godel） 和 平台产品化服务 。基本架构如下，自底向上，前三层为不同语言编写的程序代码构建统一数据模型，基于该数据模型，代码分析者可以手动构建程序分析所需要的Datalog规则，或通过Godel高级语言编写程序分析（Godel程序将被自动翻译为Datalog规则），最终通过Datalog引擎提供代码分析服务，完成形式各异的代码分析任务。