Statically Detecting Buffer Overflow in Cross-language Android Applications Written in Java and C/C++. - Kishanthan Thangarajah; Noble Saji Mathews; Michael Pu; Meiyappan Nagappan; Yousra Aafer; Sridhar Chimalakonda (CoRR, 2023)