TY  - RPRT
TI  - Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis
AU  - Xueying Du
AU  - Kai Yu
AU  - Chong Wang
AU  - Yi Zou
AU  - Wentai Deng
AU  - Zuoyu Ou
AU  - Xin Peng
AU  - Lingming Zhang
AU  - Yiling Lou
PY  - 2025
UR  - https://arxiv.org/abs/2506.10322
ID  - 2506.10322
ER  -