E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification
Date:
Presents E&V, a novel approach that prompts LLMs to perform static analysis via pseudo-code execution and verification.
Venue: Symposium on the Science of Security (SoS 2024)
Location: Online