Software Searches for Security Flaws