Reproduce “PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates” on OpenResearch
Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.
Universal app for Apple silicon and Intel. Requires macOS 11 or later.
About this paper
Yuan-An Xiao, Weixuan Wang, Dong Liu, Junwei Zhou, Shengyu Cheng, Yingfei Xiong
PredicateFix uses predicates from static-analysis rules to retrieve relevant clean-code examples and provide them to large language models for code repair. On 117 CodeQL vulnerabilities, Claude-3.5-Sonnet’s manually verified correct repairs rose from 56 to 81; gains across six models ranged from 27.1% to 61.7%. GoInsight results also improved, though not every individual rule did.
Summary by alphaXiv.
Tip: change arxiv.org to autoarxiv.org in any arXiv abstract link to open the paper here.