Leveraging machine learning to find security vulnerabilities