About This Project

This page corresponds to our first paper, Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach. The arXiv version of this paper appeared under the title The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models. (Part I)

This work has since developed into a broader series, The Hitchhiker's Guide to Program Analysis, where we study how large language models can help make static analysis more practical and accurate for real-world bug detection.