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

AI 大模型

代码大模型 / AI 编程

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

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

1. 程序分析与验证 1 篇

2606.23512 2026-08-10 cs.SE 版本更新 57%

Source-Free Detection and Impact Analysis of Compiler Optimization Problems in Mobile Applications

移动应用中编译器优化问题的无源检测与影响分析

Han Hu, Xiaoheng Xie, Bo Sun, Jian Gu, Gang Fan, Li Li

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

AI总结 提出无源框架OptDetect,直接从二进制文件检测编译器优化问题,无需源码或构建元数据,准确率达93.0%,发现30.5%的库使用低优化级别,修复后CPU指令减少10-63%。

详情

展开后加载摘要…

URL PDF HTML 收藏