Frame: Grounding LLM Vulnerability Detection with a Sound Separation-Logic Core
lambdasec.github.io