Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health. - Ákos Hajdu; Roman Lee; Gavin Weng; Nilesh Agrawal; Jérémy Dubreil (SOAP@PLDI, 2025)