@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},

    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.},
}

{"_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","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.","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\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}\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":{},"metadata":{"authorlinks":{}}},"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}