"Hey, we've figured out how to detect security vulnerabilities! We just need to solve the Halting Problem!"