diff --git a/infer/src/integration/XMLReport.ml b/infer/src/integration/XMLReport.ml index 716615363..a196e5e6d 100644 --- a/infer/src/integration/XMLReport.ml +++ b/infer/src/integration/XMLReport.ml @@ -26,14 +26,15 @@ let pp_xml_issue f (issue : Jsonbug_t.jsonbug) = in match java_result with None -> ("", "", issue.procedure) | Some result -> result in + let esc = Escape.escape_xml in F.fprintf f {| %s |} - issue.file (max issue.column 0) issue.line (max issue.column 0) (issue.line + 1) java_class_name - method_name java_package issue.bug_type - (Help.abs_url_of_issue_type issue.bug_type) - issue.qualifier + (esc issue.file) (max issue.column 0) issue.line (max issue.column 0) (issue.line + 1) + (esc java_class_name) (esc method_name) (esc java_package) (esc issue.bug_type) + (esc (Help.abs_url_of_issue_type issue.bug_type)) + (esc issue.qualifier) let is_user_visible (issue : Jsonbug_t.jsonbug) =