LLMSA: A Compositional Neuro-Symbolic Approach to Compilation-free and Customizable Static Analysis - Wang, Chengpeng (arXiv.org)