Hallucination-Resilient LLM-Driven Sound and Tunable Static Analysis: A Case of Higher-Order Control-Flow Analysis

Guannan Wei, Zhuo Zhang, Caterina Urban

Published: 09 Oct 2025, Last Modified: 17 Mar 2026CrossrefEveryoneRevisionsCC BY-SA 4.0
Loading