Mingliang Liu, Baojian Hua: Rusty: Effectively Detecting Multilingual Rust Memory Bugs with Interprocedural Static Analysis. TrustCom 2025: 769-780