An Automated Approach for Identifying Potential Vulnerabilities in Software