Predicting input validation vulnerabilities based on minimal SSA features and machine learning