Expand links under buck-out

Differential Revision: D3417338

fbshipit-source-id: e2bfcd7

infer/src/backend/config.ml

@@ -176,6 +176,7 @@ let log_analysis_symops_timeout = "S"
 let log_analysis_recursion_timeout = "R"
 let log_analysis_crash = "C"
 
+let buck_generated_folder = "buck-out/gen"
 
 (** Compile time configuration values *)
 

infer/src/backend/config.mli

@@ -67,6 +67,7 @@ val log_analysis_wallclock_timeout : string
 val log_analysis_symops_timeout : string
 val log_analysis_recursion_timeout : string
 val log_analysis_crash : string
+val buck_generated_folder : string
 val max_recursion : int
 val meet_level : int
 val models_dir : string

infer/src/backend/inferprint.ml

@@ -368,6 +368,15 @@ module BugsJson = struct
   let pp_json_open fmt () = F.fprintf fmt "[@?"
   let pp_json_close fmt () = F.fprintf fmt "]\n@?"
 
+  let expand_links_under_buck_out file =
+    if Utils.string_is_prefix Config.buck_generated_folder file then
+      try
+        let file = Unix.readlink file in
+        let source_file = DB.source_file_from_string file in
+        DB.source_file_to_rel_path source_file
+      with Unix.Unix_error _ -> file
+    else file
+
   (** Write bug report in JSON format *)
   let pp_bugs error_filter fmt summary =
     let pp x = F.fprintf fmt x in
@@ -381,6 +390,7 @@ module BugsJson = struct
         let procedure_id = Procname.to_filename (Specs.get_proc_name summary) in
         let file =
           DB.source_file_to_string summary.Specs.attributes.ProcAttributes.loc.Location.file in
+        let file = expand_links_under_buck_out file in
         let json_ml_loc = match ml_loc_opt with
           | Some (file, lnum, cnum, enum)  when Config.reports_include_ml_loc ->
               Some Jsonbug_j.{ file; lnum; cnum; enum; }