Cover Image

KNighter: Transforming Static Analysis with LLM-Synthesized Checkers

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Yang, Chenyuan, Zhao, Zijie, Xie, Zichen, Li, Haoyu, Zhang, Lingming
Format: Preprint
Published: 2025
Subjects:
Software Engineering
Artificial Intelligence
Cryptography and Security
Operating Systems
Online Access:
Acceder al recurso
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Description not available.

Similar Items