[Preprint] KNighter: Transforming Static Analysis with LLM-Synthesized Checkers

Published in The 31st Symposium on Operating Systems Principles, 2025