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

3 citations · 4 across the 2 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2023★ 3 cited

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

Yu Hao, Weiteng Chen, Ziqiao Zhou +1

Static analysis, the process of examining code without executing it, is crucial for identifying software issues. Yet, static analysis is hampered by its complexity and the need for…