Do code LLMs do static analysis? (EMSE, 2026)