Haonan LiSystem Security · LLMs

Projects

Research series, talks, demos, and project notes.

The Hitchhiker's Guide to Program Analysis

A three-part research series on practical bug detection for the Linux kernel and related systems, spanning LLM-integrated static analysis, taint-style bug report refinement, and LLM-assisted reasoning for systems software.

Part I: Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
OOPSLA 2024. arXiv title: The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models.
Part II: Towards More Accurate Static Analysis for Taint-style Bug Detection in Linux Kernel
Accepted at ASE 2025. arXiv title: The Hitchhiker's Guide to Program Analysis, Part II: Deep Thoughts by LLMs.
Part III: The Hitchhiker's Guide to Program Analysis, Part III: Mostly Harmless LLMs
arXiv preprint; currently under submission.
Research series · 2024-2026