A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications

Institutions 1

Università Ca' Foscari Venezia

Macro area
Mathematics and Science

Category
Publication

From January 01, 2017 to January 01, 2017