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.

Slides

Role: Research series
Status: 2023-2026
Year: 2026

Parts

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

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.

Talks

Toward Principled LLM Assistance for Static Analysis

After the Hitchhiker’s Guide · SPLASH/ISSTA 2026 Doctoral Symposium · October 4, 2026

A talk revisiting the research series, from LLM-based warning refinement in LLift and BugLens to making LLM assumptions explicit for program analysis to check.

Slides · Program