Vulnerability Detection on Mobile Applications Using State Machine Inference