Miaohua Li

LLMs can find more real-world code vulnerabilities if you give them a better program representation that combines static analysis with semantic inference, and guide their reasoning with vulnerability-specific meta-prompts.