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.

Role: Research series
Status: 2024-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.