APA (7th ed.) Citation

Yang, C., Zhao, Z., Xie, Z., Li, H., & Zhang, L. (2025). KNighter: Transforming Static Analysis with LLM-Synthesized Checkers.

Chicago Style (17th ed.) Citation

Yang, Chenyuan, Zijie Zhao, Zichen Xie, Haoyu Li, and Lingming Zhang. KNighter: Transforming Static Analysis with LLM-Synthesized Checkers. 2025.

MLA (9th ed.) Citation

Yang, Chenyuan, et al. KNighter: Transforming Static Analysis with LLM-Synthesized Checkers. 2025.