Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
Isolating Compiler Bugs through Compilation Steps Analysis
Yujie Liu, Mingxuan Zhu, Shengyu Cheng +1
Compilers are essential to software systems, and their bugs can propagate to dependent software. Ensuring compiler correctness is critical. However, isolating compiler bugs remains…
cs.SE2025
PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
Yuan-An Xiao, Weixuan Wang, Dong Liu +3
Fixing static analysis alerts in source code with Large Language Models (LLMs) is becoming increasingly popular. However, LLMs often hallucinate and perform poorly for complex and…