Security analysis and automated auditing tools, fuzzy testers that helped us discover major vulnerabilities