Uncovering the Critical Vulnerability in XZ Utils with Finite State