Debloating Software Through Enhanced Static Analysis and Constraint Rules. - Song, Xiaohu; Yu, Hai; Wang, Ying; Zhu, Zhiliang (Software: Practice & Experience, 2025)