LLM-Assisted Static Analysis for Detecting Security Vulnerabilities - Li, Ziyang (arXiv.org)