Programmable UI-Automation Framework for Dynamic App Analysis