Flow logic based information flow analysis of Android applications

Automatic generation of dimensions for data warehouses