PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates

Yuan-an Xiao, Weixuan Wang, Dong Liu, Junwei Zhou, Shengyu Cheng, Yingfei Xiong^*

ICSE'26: 48th IEEE/ACM International Conference on Software Engineering · May 2026

Read paper View BibTeX

BibTeX

@inproceedings{ICSE26a,
  author = {Yuan-an Xiao and Weixuan Wang and Dong Liu and Junwei Zhou and Shengyu Cheng and Yingfei Xiong},
  title = {PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates},
  year = {2026},
  month = {5},
  booktitle = {ICSE'26: 48th IEEE/ACM International Conference on Software Engineering},
  site_corr = {6}
}