TY  - RPRT
TI  - KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
AU  - Chenyuan Yang
AU  - Zijie Zhao
AU  - Zichen Xie
AU  - Haoyu Li
AU  - Lingming Zhang
PY  - 2025
DO  - 10.1145/3731569.3764827
UR  - https://arxiv.org/abs/2503.09002
ID  - 2503.09002
ER  -