6 papers
Combining LLM and Dynamic Analysis for Universal Testing of Static Application Security Testing Tools
Huaien Zhang, Yu Pei, Hao Chen +1
Static application security testing (SAST) tools help detect potential software vulnerabilities, but they themselves contain faults undermining reliability and usability. Automated…
Independent Patch Verification for Coding Agents with a Bidirectional Reconstruct-and-Verify Framework
Chenglin Li, Yisen Xu, Zehao Wang +3
Autonomous coding agents powered by large language models can now generate code patches directly from bug reports, but a fundamental gap remains: once a patch is produced, no mecha…
From Codebases to LLMs: Non-Inclusive Naming in Linux Foundation Repositories
Honghao Tan, Md Nafiu Rahman, Shin Hwei Tan
Since 2020, the Linux Foundation and the multi-organization Inclusive Naming Initiative (INI) have encouraged open-source projects to replace non-inclusive terms such as master/sla…
LLM-Guided Issue Generation from Uncovered Code Segments
Diany Pressato, Honghao Tan, Mariam Elmoazen +1
Developers are increasingly overwhelmed by AI-generated issue reports that lack actionability and reproducibility, eroding trust in automated bug detection tools. In this paper, we…
From Historical Patches to Repair Plans: Outcome-Conditioned Reasoning for Repository-Level Program Repair
Chenglin Li, Yisen Xu, Zehao Wang +3
Repository-level automated program repair (APR) requires long-horizon reasoning over interdependent decisions. However, most LLM-based approaches reconstruct repair reasoning indep…
Understanding and Detecting Annotation-Induced Faults of Static Analyzers
Huaien Zhang, Yu Pei, Shuyun Liang +1
Static analyzers can reason about the properties and behaviors of programs and detect various issues without executing them. Hence, they should extract the necessary information to…