llm for static analysis