arXivDaily arXiv每日学术速递 周一至周五更新

AI 大模型

代码大模型 / AI 编程

代码生成、软件工程智能体、程序修复、测试生成和开发者工具。

2026-07-28 至 2026-07-28 共收录 1 信号源:cs.SE, cs.CL, cs.AI, cs.LG, cs.PL

1. 程序分析与验证 1 篇

2512.12507 2026-07-28 cs.SE 版本更新 61%

ATLAS: Multi-View Code Representation Tool for C and C++ Source Programs

ATLAS: C和C++源代码的多视图代码表示工具

Jaid Monwar Chowdhury, Ahmad Farhan Shahriar Chowdhury, Humayra Binte Monwar, Mahmuda Naznin

专题命中 程序分析与验证 :repository(abstract,comments);分类 cs.SE

AI总结 提出ATLAS工具,无需完整构建即可为C/C++生成对齐的AST、CFG和DFG,支持部分输入,输出JSON/DOT/PNG,在TheAlgorithms语料上CFG正确率达96.80%(C)和91.67%(C++)。

Comments 5 pages, 4 figures, 2 tables; Video demonstration: https://youtu.be/50DvEbenp14; Tool repository: https://github.com/jaid-monwar/ATLAS-multi-view-code-representation-tool.git

详情

展开后加载摘要…

URL PDF HTML 收藏