Aditya Thakur

Interleaving Static Analysis and LLM Prompting

2024

This paper presents a new approach for using Large Language Models (LLMs) to improve static program analysis. Specifically, during program analysis, we interleave calls to the static analyzer and queries to the LLM: the prompt …