11 citations · 22 across the 6 of their papers we have counts for
7 papers
Neuro-Symbolic Indirect-Call Analysis under Opaque Pointers
Kaixuan Li, Bozhi Wu, Jian Zhang +3
Resolving indirect calls is central to call-graph construction for C. Scalable type-based analyses such as MLTA use type information in LLVM IR to associate indirect calls with fun…
Beyond Textual Repository Exploration: Dual-Modal Structural Reasoning for Agentic Issue Resolution
Jiayi Zhang, Kai Huang, Yang Liu +1
Recent advances in agentic program repair have significantly improved issue resolution by enabling iterative repository exploration. However, existing approaches predominantly rely…
Repair Ingredients Are All You Need: Improving Large Language Model-Based Program Repair via Repair Ingredients Search
Jiayi Zhang, Kai Huang, Jian Zhang +2
Automated Program Repair (APR) techniques aim to automatically fix buggy programs. Among these, Large Language Model-based (LLM-based) approaches have shown great promise. Recent a…
PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software
Kaixuan Li, Jian Zhang, Sen Chen +3
Open-source software (OSS) vulnerabilities are increasingly prevalent, emphasizing the importance of security patches. However, in widely used security platforms like NVD, a substa…
Evaluating Large Language Models for Line-Level Vulnerability Localization
Jian Zhang, Chong Wang, Anran Li +4
Recently, Automated Vulnerability Localization (AVL) has attracted growing attention, aiming to facilitate diagnosis by pinpointing the specific lines of code responsible for vulne…
BadEdit: Backdooring large language models by model editing
Yanzhou Li, Tianlin Li, Kangjie Chen +5
Mainstream backdoor attack methods typically demand substantial tuning data for poisoning, limiting their practicality and potentially degrading the overall performance when applie…
DeepFWI: Identifying Bug-Sensitive Warnings with Multi-Modal Code-Warning Semantics
Han Liu, Jian Zhang, Cen Zhang +7
Static analysis tools have evolved over time to assist in detecting bugs. However, the excessive false warnings can impede developers' productivity and confidence in the tools. Pre…