Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach

1. OOPSLA 24

   Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian

   ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 24.

   pdf Tool paper

Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian. "Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach." ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 24. (2024).