Identifying software vulnerabilities quickly and efficiently