KNighter: Transforming Static Analysis with LLM-Synthesized Checkers.

Chenyuan Yang, Zijie Zhao, Zichen Xie, Haoyu Li, Lingming Zhang

Browse the full SOSP paper archive.