ResearchTrend.AI
KNighter: Transforming Static Analysis with LLM-Synthesized Checkers

KNighter: Transforming Static Analysis with LLM-Synthesized Checkers

Chenyuan Yang
Zijie Zhao
Zichen Xie
Haoyu Li
Lingming Zhang
ArXivPDFHTML

Papers citing "KNighter: Transforming Static Analysis with LLM-Synthesized Checkers"

Title
No papers