Android applications have pervaded the digital landscape, making static analysis an indispensable tool for vetting app security. While existing static models offer valuable insights, they are fraught with a high degree of unsoundness. This keynote discusses our recent work aimed at enhancing the soundness of static analysis in the Android ecosystem. We not only explore innovative solutions to current limitations but also propose future research directions to address open challenges in this domain.

Jordan Samhi is a Postdoctoral Researcher working in Software Security and Software Engineering at CISPA in Germany in the Software research group. His research is about automating software security with static code analysis. More particularly, he has a strong interest to improve the comprehensiveness of software analysis towards ensuring the security and reliability of software systems. Currently, he is focusing on Android systems.