StateFormer: fine-grained type recovery from binaries using generative state modeling. - Kexin Pei; Jonas Guan; Matthew Broughton; Zhongtian Chen; Songchen Yao; David Williams-King; Vikas Ummadisetty; Junfeng Yang; Baishakhi Ray; Suman Jana (ESEC/SIGSOFT FSE, 2021)