Picture for Zichen Xie

Zichen Xie

KNighter: Transforming Static Analysis with LLM-Synthesized Checkers

Add code
Mar 12, 2025
Viaarxiv icon