Neuro-symbolic Static Analysis with LLM-generated Vulnerability Patterns

Penghui Li, Songchen Yao, Josef Sarfati Korich +4

In this work, we present MoCQ, a neuro-symbolic static analysis framework that leverages large language models (LLMs) to automatically generate vulnerability detection patterns. Th…