E\&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification
Published in , 2024
Authors: Yu Hao, Weiteng Chen, Ziqiao Zhou, Weidong Cui
Year: 2024
Recommended citation: Yu Hao, Weiteng Chen, Ziqiao Zhou, Weidong Cui. "E\&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification." (2024).
Download Paper