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.
Title: E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification Venue: Symposium on the Science of Security (SoS 2024) Location: Online