5 papers
Principles and Practices of Large-Scale Code Analysis at Ant Group: A Data- and Logic-Oriented Approach
Xiaoheng Xie, Gang Fan, Xiaojun Lin +21
Large-scale software development requires dynamic and multifaceted static code analysis that extends beyond the capabilities of traditional tools. Existing tools like CodeQL lack c…
NES: An Instruction-Free, Low-Latency Next Edit Suggestion Framework Powered by Learned Historical Editing Trajectories
Xinfang Chen, Siyang Xiao, Xianying Zhu +6
Code editing is a frequent yet cognitively demanding task in software development. Existing AI-powered tools often disrupt developer flow by requiring explicit natural language ins…
Boosting Pointer Analysis With LLM-Enhanced Allocation Function Detection
Baijun Cheng, Kailong Wang, Ling Shi +5
Pointer analysis is foundational for many static analysis tasks, yet its effectiveness is often hindered by imprecise modeling of heap allocations, particularly in C/C++ programs w…
Accelerating Automatic Program Repair with Dual Retrieval-Augmented Fine-Tuning and Patch Generation on Large Language Models
Hanyang Guo, Xiaoheng Xie, Hong-Ning Dai +4
Automated Program Repair (APR) is essential for ensuring software reliability and quality while enhancing efficiency and reducing developers' workload. Although rule-based and lear…
HardRace: A Dynamic Data Race Monitor for Production Use
Xudong Sun, Zhuo Chen, Jingyang Shi +5
Data races are critical issues in multithreaded program, leading to unpredictable, catastrophic and difficult-to-diagnose problems. Despite the extensive in-house testing, data rac…