StateFormer: fine-grained type recovery from binaries using generative state modeling