Automatic Uncovering of Hidden Behaviors from Input Validation in Mobile Apps