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

1. Yu Hao, Weiteng Chen, Ziqiao Zhou, Weidong Cui

   pdf AGI Leap Summit 2024Symposium on the Science of Security 24

Yu Hao, Weiteng Chen, Ziqiao Zhou, Weidong Cui. "E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification." (2023).