Work

KNighter: Transforming Static Analysis with LLM-Synthesized Checkers

Year: 2025

Type: conference-paper

Abstract: Static analysis is a powerful technique for bug detection in critical systems like operating system kernels. However, designing and implementing static analyzers is challenging, time-consuming, and typically limited to predefined bug patterns. While large language models (LLMs) have shown promise for static analysis, directly applying them to scan large systems remains impractical due to computational constraints and contextual limitations.

Source: ACM SIGOPS Symposium on Operating Systems Principles (SOSP)

DOI: 10.1145/3731569.3764827

Authors: Chenyuan Yang, Zijie Zhao, Zichen Xie, Haoyu Li, Lingming Zhang

Institutions: University of Illinois Urbana-Champaign, Zhejiang University, Shanghai Jiao Tong University

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

OpenAlex ID: W7080529532

FWCI: 8.794

Cites: 3

Cited by: 11

Related to: