[Preprint] KNighter: Transforming Static Analysis with LLM-Synthesized Checkers Published: December 31, 2102Share on Twitter Facebook LinkedIn Previous Next