StateFormer: fine-grained type recovery from binaries using generative state modeling.
Kexin PeiJonas GuanMatthew BroughtonZhongtian ChenSongchen YaoDavid Williams-KingVikas UmmadisettyJunfeng YangBaishakhi RaySuman JanaPublished in: ESEC/SIGSOFT FSE (2021)