Static analysis, vulnerability detection, and code auditing skills from a top-tier security research firm.