Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health. Hajdu, Á., Lee, R., Weng, G., Agrawal, N., & Dubreil, J. In Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, pages 15–21, 2025. ACM. (Best presentation award)
Pdf
Link
Slides
Video doi abstract bibtex 1 download We report on an industrial use case of static callgraph reachability analysis to improve WhatsApp Android app health. We collaborated with engineers dedicated to app health to annotate/specify source code. We leveraged the Infer static analyzer to prevent regressions during code changes and to periodically find pre-existing issues on the latest revision. Within three months, the analysis prevented almost a hundred regressions to be introduced and resulted in fixes for a handful of pre-existing issues, including examples with end-user measurable impact.
@inproceedings{soap2025,
author = {Hajdu, \'Akos and Lee, Roman and Weng, Gavin and Agrawal, Nilesh and Dubreil, J\'er\'emy},
title = {Compositional Static Callgraph Reachability Analysis for {W}hats{A}pp {A}ndroid App Health},
year = {2025},
publisher = {ACM},
booktitle = {Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis},
doi = {10.1145/3735544.3735583},
pages = {15--21},
url_pdf = {https://hajduakos.github.io/publications/soap2025.pdf},
url_link = {https://dl.acm.org/doi/10.1145/3735544.3735583},
url_slides = {https://hajduakos.github.io/publications/slides/soap2025.pdf},
url_video = {https://www.youtube.com/live/JmvPLSBWxAw?si=4iqjUvXmpi2KqJde&t=2171},
type = {Workshop},
abstract = {We report on an industrial use case of static callgraph reachability analysis to improve WhatsApp Android app health. We collaborated with engineers dedicated to app health to annotate/specify source code. We leveraged the Infer static analyzer to prevent regressions during code changes and to periodically find pre-existing issues on the latest revision. Within three months, the analysis prevented almost a hundred regressions to be introduced and resulted in fixes for a handful of pre-existing issues, including examples with end-user measurable impact.},
note = {(Best presentation award)},
}
Downloads: 1
{"_id":"Ys2tAhJRBHJTt6bhd","bibbaseid":"hajdu-lee-weng-agrawal-dubreil-compositionalstaticcallgraphreachabilityanalysisforwhatsappandroidapphealth-2025","author_short":["Hajdu, Á.","Lee, R.","Weng, G.","Agrawal, N.","Dubreil, J."],"bibdata":{"bibtype":"inproceedings","type":"Workshop","author":[{"propositions":[],"lastnames":["Hajdu"],"firstnames":["Ákos"],"suffixes":[]},{"propositions":[],"lastnames":["Lee"],"firstnames":["Roman"],"suffixes":[]},{"propositions":[],"lastnames":["Weng"],"firstnames":["Gavin"],"suffixes":[]},{"propositions":[],"lastnames":["Agrawal"],"firstnames":["Nilesh"],"suffixes":[]},{"propositions":[],"lastnames":["Dubreil"],"firstnames":["Jérémy"],"suffixes":[]}],"title":"Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health","year":"2025","publisher":"ACM","booktitle":"Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis","doi":"10.1145/3735544.3735583","pages":"15–21","url_pdf":"https://hajduakos.github.io/publications/soap2025.pdf","url_link":"https://dl.acm.org/doi/10.1145/3735544.3735583","url_slides":"https://hajduakos.github.io/publications/slides/soap2025.pdf","url_video":"https://www.youtube.com/live/JmvPLSBWxAw?si=4iqjUvXmpi2KqJde&t=2171","abstract":"We report on an industrial use case of static callgraph reachability analysis to improve WhatsApp Android app health. We collaborated with engineers dedicated to app health to annotate/specify source code. We leveraged the Infer static analyzer to prevent regressions during code changes and to periodically find pre-existing issues on the latest revision. Within three months, the analysis prevented almost a hundred regressions to be introduced and resulted in fixes for a handful of pre-existing issues, including examples with end-user measurable impact.","note":"(Best presentation award)","bibtex":"@inproceedings{soap2025,\n author = {Hajdu, \\'Akos and Lee, Roman and Weng, Gavin and Agrawal, Nilesh and Dubreil, J\\'er\\'emy},\n title = {Compositional Static Callgraph Reachability Analysis for {W}hats{A}pp {A}ndroid App Health},\n year = {2025},\n publisher = {ACM},\n booktitle = {Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis},\n doi = {10.1145/3735544.3735583},\n pages = {15--21},\n\n url_pdf = {https://hajduakos.github.io/publications/soap2025.pdf},\n url_link = {https://dl.acm.org/doi/10.1145/3735544.3735583},\n url_slides = {https://hajduakos.github.io/publications/slides/soap2025.pdf},\n url_video = {https://www.youtube.com/live/JmvPLSBWxAw?si=4iqjUvXmpi2KqJde&t=2171},\n\n type = {Workshop},\n\n abstract = {We report on an industrial use case of static callgraph reachability analysis to improve WhatsApp Android app health. We collaborated with engineers dedicated to app health to annotate/specify source code. We leveraged the Infer static analyzer to prevent regressions during code changes and to periodically find pre-existing issues on the latest revision. Within three months, the analysis prevented almost a hundred regressions to be introduced and resulted in fixes for a handful of pre-existing issues, including examples with end-user measurable impact.},\n note = {(Best presentation award)},\n}\n","author_short":["Hajdu, Á.","Lee, R.","Weng, G.","Agrawal, N.","Dubreil, J."],"key":"soap2025","id":"soap2025","bibbaseid":"hajdu-lee-weng-agrawal-dubreil-compositionalstaticcallgraphreachabilityanalysisforwhatsappandroidapphealth-2025","role":"author","urls":{" pdf":"https://hajduakos.github.io/publications/soap2025.pdf"," link":"https://dl.acm.org/doi/10.1145/3735544.3735583"," slides":"https://hajduakos.github.io/publications/slides/soap2025.pdf"," video":"https://www.youtube.com/live/JmvPLSBWxAw?si=4iqjUvXmpi2KqJde&t=2171"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://hajduakos.github.io/publications.bib","dataSources":["WFubm6dru5DutkSZW"],"keywords":[],"search_terms":["compositional","static","callgraph","reachability","analysis","whatsapp","android","app","health","hajdu","lee","weng","agrawal","dubreil"],"title":"Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health","year":2025,"downloads":2}