TY  - RPRT
TI  - E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification
AU  - Yu Hao
AU  - Weiteng Chen
AU  - Ziqiao Zhou
AU  - Weidong Cui
PY  - 2023
UR  - https://arxiv.org/abs/2312.08477
ID  - 2312.08477
ER  -