Automatic Detection Of Software Security Vulnerabilities In Executable Program Files