Software engineering techniques for statically analyzing mobile apps: research trends, characteristics, and potential for industrial adoption