3 ms·KNighter: Transforming Static Analysis with LLM-Synthesized Checkers1 points by nickpsecurity 1y ago