A set of analysis tools for android UI