Stefano Calzavara

Latest

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