6 papers
The Illusion of Safety: Multi-Tier Verification of AI vs. Human C++ Code
Saif Mahmud, Fadul Sikder, Yuede Ji +3
As large language models (LLMs) are increasingly deployed for systems programming, their ability to generate secure C++ code, where a single memory-safety failure creates an exploi…
Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs?
Qingyuan Liang, Zhao Zhang, Zeyu Sun +9
Grammar serves as a cornerstone in programming languages and software engineering, providing frameworks to define the syntactic space and program structure. Existing research demon…
Resolving Indirect Calls in Binary Code via Cross-Reference Augmented Graph Neural Networks
Haotian Zhang, Kun Liu, Cristian Garces +3
Binary code analysis is essential in scenarios where source code is unavailable, with extensive applications across various security domains. However, accurately resolving indirect…
OASIS: Order-Augmented Strategy for Improved Code Search
Zuchen Gao, Zizheng Zhan, Xianming Li +6
Code embeddings capture the semantic representations of code and are crucial for various code-related large language model (LLM) applications, such as code search. Previous trainin…
How Far Can We Go with Practical Function-Level Program Repair?
Jiahong Xiang, Xiaoyang Xu, Fanchu Kong +4
Recently, multiple Automated Program Repair (APR) techniques based on Large Language Models (LLMs) have been proposed to enhance the repair performance. While these techniques main…
Prompt-based Code Completion via Multi-Retrieval Augmented Generation
Hanzhuo Tan, Qi Luo, Ling Jiang +4
Automated code completion, aiming at generating subsequent tokens from unfinished code, has been significantly benefited from recent progress in pre-trained Large Language Models (…