Input validation analysis and testing