E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification.

Yu Hao 0006 Weiteng Chen Ziqiao Zhou Weidong Cui E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification. 2023 abs/2312.08477 CoRR https://doi.org/10.48550/arXiv.2312.08477 db/journals/corr/corr2312.html#abs-2312-08477