Yanzhong Wang, Ruigang Liang, Yilin Li, Peiwei Hu, Kai Chen, Bolun Zhang: TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries. SP 2025: 1-18