Jarvis aims to keep us safe by spotting vulnerabilities in code that could be used to manipulate the real world. People are understandably worried about security vulnerabilities in software, and ...