TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs. - Hung-Mao Chen; Xu He; Shu Wang; Xiaokuan Zhang; Kun Sun (CoRR, 2025)