Neural software vulnerability analysis using rich intermediate graph representations of programs.