Semantic-Enhanced Static Vulnerability Detection in Baseband Firmware. - Yiming Liu; Cen Zhang; Feng Li 045; Yeting Li; Jianhua Zhou; Jian Wang 067; Lanlan Zhan; Yang Liu 003; Wei Huo (ICSE, 2024)